Tõeste väidete ekvivalentsus ja disjunktiivne süllogism

Tõeste väidete ekvivalentsus ja disjunktiivne süllogism

Karmo Talts

 

Vaatame milline bikonditsionaal järeldub P ja Q-st. See on "P parajasti siis, kui Q".
Vaatame nüüd selle tähendust P-st sissetoodud disjunktsiooni jaoks. P-st ja P või Q-st järeldub, et P ja P või Q on ekvivalentsed.
Sõnastame nüüd piirangu disjunktiivsele süllogismile. Kui on nii, et P või Q ja P või Q pole ekvivalentsed ja pole nii, et P, siis Q.