Конверсия. Инверсия. Контрапозиция

Пусть дана связь условием р → q, тогда конверсией для р → q называется q → р; инверсией для р → q называется р → q; контрапозицией для р → q называется q → р.

р	q	I p→q	II q→p	II р→ q	I q→ p
T	T	T	T	T	T
T	F	F	T	T	F
F	Т	Т	F	F	Т
F	F	Т	Т	T	T

Полученная таблица позволяет сделать важные выводы:

(I) связь условием для высказывания и его контрапозиция логически эквивалентны

р →q ≡ q → p.

(II) высказывания, обратное и противоположное условному логически эквивалентны:

q → p ≡ p → q.

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