Две формулы с параметрами эквивалентны, если они одновременно:

Формулы А и В эквивалентны, если формула:

Формулы А и В эквивалентны, если формула:

Формулы А и В эквивалентны, если они обе:

Формулы A и B эквивалентны тогда и только тогда, когда тавтологией является формула:

Если отрицание замкнутой формулы общезначимо, то она:

Если прототип формулы - тавтология, то бескванторная формула:

Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим:

Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:

Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:

Если А, В, С - формулы, то: