Приложение 2. Постулаты связи отношения логического следования и общезначимых формул импликативного вида

Постулаты связи отношения логического следования и общезначимых формул импликативного вида.

1. Будем считать, что А ╞ В, если и только если ╞ (А → В).

2. Будем считать, что из А ╞ В, если и только если

╞ (() → В).

А ╞ В

знак отношения логического следования между А (посылкой) и В (заключением).

╞ (А → В)

знак общезначимости формулы А → В.

например, из (В ↔ С), ~ С) ╞ ~ В,

если и только если ╞ (((В ↔ С) ^ ~ С) → ~ В).