Импликация

Импликативными называются сложные высказывания, образованные из простых при помощи логического союза “если…, то…”. В импликативном высказывании “если р, то q ” первый член (р) называется антецедентом, а второй консеквентном. Импликация имеет разные обозначения . Мы будем пользоваться первым знаком. Таблица истинности для импликации:

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

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

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