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