Антиимпликация и антирепликация

Завершим обзор логических союзов антиимпликацией и антирепликацией. В их названиях отраженно то, что они являются отрицаем импликации и репликации соответственно. Суть антиимпликации и антирепликации может быть выражена тем или иным способом отрицания условной связи. Действительно, отрицание импликации может быть представлено словесным оборотом “ p, но не- q ” или “ р, а не- q ”, поскольку .

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

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

Антиимпликация истина тогда и только тогда, когда антецедент истинен, а консеквент ложен. Во всех остальных случаях антиимпликация ложна. В естественных языках антиимпликативная ситуация является весьма распространенной. Например, “Обещал, но не сделал”; “Третий раз гневаемся, а репа не растет”.

Антирепликация есть отрицание репликации, она обозначается символом . Ее смысл может быть передан так: “Не-р, а q”, или “Не-р, но q”, поскольку . Антирепликация истинна тогда и только тогда, когда антецедент ложен, а консеквент истинен. Во всех остальных случаях она ложна. Примеры: “Следующая лекция по логике состоится не завтра, а послезавтра, и не в этой аудитории, а в соседней, и не первой парой и третьей”; “Классик не подлежит критике, не подлежит исследованию”.

Дата добавления: 2014-01-04