Question

Теорема о связи логического следования и импликации

Вот вопрос из билета экзамена, попался который не учил. Нужно написать теорему и все из нее вытекающее

Answer 1

Ответ:

импликация и есть логическое следование:

результат будет ложным тогда и только тогда,

когда из истинного основания (А) следует ложное следствие (В).

посылка А является условием, достаточным для выполнения следствия В:

следствие В является условием, необходимым для истинности посылки А