3.4.Тавтологии.Математическая логика и теория алгоритмов.

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