3.5.Равносильности.Математическая логика и теория алгоритмов.

Формула называется выполнимой, если существует интерпретация, в которой эта формула истинна. Формула называется опровержимой, если существует интерпретация, в которой эта формула ложна. Формула A называется тавтологией (или тождественно истин- ной), если формула истинна во всех интерпретациях, в этом случае мы будем использовать обозначение àA. Формула называется противоречием (или тождественно лож- ной), если формула ложна во всех интерпретациях. Весь материал взят: https://stepik.org/lesson/187320/step...