Solution:यदि p तो q, p नहीं, इसलिए q
यह एक अवैध युक्ति है।
प्रतीकात्मक रूप में,
p ⊃ q
~p
∴ q
‘p’ यहाँ कारण है और q कार्य। यदि कारण नहीं होगा तो कार्य घटित नहीं होगा। अतः यह युक्ति अवैध है।
(a) इसी प्रकार, p या q, p नहीं इसलिए q का सांकेतिक प्रतीक
p v q
~q
∴ p
वैकल्पिक न्यायवाक्य है, जो वैध है।
(c) यदि p तो q, q नहीं
इसलिए p नहीं, का सांकेतिक तर्कवाक्य
p ⊃ q
~q
∴ ~p
जो शर्तक अनुमान है।
यह तर्कवाक्य वैध है।
(d) यदि p तो q, p इसलिए q का प्रतीकात्मक रूप है—
p ⊃ q
p
∴ q
यह पूर्ववत अनुमान है जो एक वैध युक्ति है।