<<
>>

Импликативные (условные) суждения

Импликация - сложное суждение, принимающее логическое значение ложности тогда и только тогда, когда предшествующее суждение (антецедент) истинно, а последующее (консеквент) ложно.

В есте-ственном языке импликация выражается союзом «если..., то» в смысле «наверно, что р и не-q». Например, «Если число делится на 9, то оно делится и на 3». Символически импликация записывается р —» q (если р, то q). Логическое значение представлено в таблице истинности: р q p4>q и и И и л Л л и И л л и Анализ свойств импликации показывает, что истинность антецедента является достаточным условием истинности консеквента, но не наоборот.

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

Необходимым для явления считается такое условие, без которого оно (явление) не имеет место.

<< | >>
Источник: Черняк Н.А.. Логика: Учебное пособие. - Омск: Омск. гос. ун-т,2004. -84 с.. 2004

Еще по теме Импликативные (условные) суждения: