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