Итерации A и B элементарно эквивалентны тогда и только тогда, когда в соответствующей игре Эренфойхта:
Тавтологией является формула (A,B - формулы):
Тавтологией является формула (A, B - формулы):
Тавтологией является формула (A,B - формулы):
Тавтологией является формула (A,B - формулы):
Тавтологией является формула (A,B - формулы):
Если выводима формула А(с/х), где А - формула, х - переменная, с - константа не входящая в А, то тогда:
Формулы А и В эквивалентны, если формула:
Формулы А и В эквивалентны, если формула:
Для любой формулы А, формула А → А есть: