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

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

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

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

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

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