Даны две логические формулы:<br />(1)<br />(А ⟶ (В⟶А) и (2) A & B&¬А<br />Логическая<br />формула (1), истинна во всех интерпретациях, логическая формула (2) – ложна во<br />всех интерпретациях.<br />Как правильно называются эти формулы? доказуемая и опровержимая формулы, непротиворечивая и противоречивая формулы, общезначимая и не общезначимая формулы, тавтология и противоречие