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

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

p	q
И	И	И
И	Л	Л
Л	И	И
Л	Л	И

Анализ свойств импликации показывает, что истинность антецедента является достаточным условием истинности консеквента, но не наоборот.

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

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

Не нашли, что искали? Воспользуйтесь поиском: