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