Сложные суждения. Сложные суждения – это суждения, состоящие из двух и более простых суждений, соединённых логическими постоянными (союзами)

Сложные суждения – это суждения, состоящие из двух и более простых суждений, соединённых логическими постоянными (союзами).

Логические константы (союзы) определяют виды сложных суждений и обозначаются специальными символами:

- конъюнкция "и" (Ù) образует соединительное суждение (а Ù b);

- дизъюнкция "или" (v) образует разделительное суждение (а v b);

- строгая дизъюнкция "либо" (Ú) образует исключающе-разделительное суждение (а Ú b);

- импликация "если..., то" (®) образует условное суждение (а® b);

- эквиваленция "тогда и только тогда, когда" (º) образует равнозначное суждение (а º b);

- отрицание "неверно, что" образует отрицательное сложное суждение ( ā ) или ( a).

Логические союзы могут соединять любое количество суждений; истинность сложного суждения при этом будет зависеть только от вида констант и истинности простых составляющих его суждений и не будет зависеть от содержания (смысла), количества и качества этих суждений. Истинность и ложность сложных суждений устанавливается при помощи так называемых "таблиц истинности", в которых последовательно фиксируется истинность сложного итогового высказывания по мере присоединения элементарных составляющих. В современных условиях вычисление истинности сложных высказываний производится машинным способом.

Соединительное суждение аÙ b (конъюнкция)

Правило: конъюнкция истинна тогда и только тогда, когда истинны все входящие в неё простые суждения (конъюнкты).

Дата добавления: 2014-09-26; просмотров: 447; Нарушение авторских прав

Мы поможем в написании ваших работ!