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