Конъюнктивные суждения

Конъюнктивное суждение - суждение, которое является истинным тогда и только тогда, когда истинны все входящие в него суждения. Образуется посредством логического союза конъюнкции, выра-жающегося грамматическими союзами «и», «да», «но», «однако». Например, «Светит, да не греет». Символически обозначается следующим образом: pAq, где р, q - переменные, обозначающие простые суждения, л - символическое выражение логического союза конъюнкции. Определению конъюнкции соответствует таблица истинности: р я рля и и И и Л Л Л и Л Л Л Л .