प्रस्ताविक तर्क और उपपत्तियाँ
- सत्यमान सारणी की पंक्तियाँ
- 2ⁿ
- निहितार्थ
- p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
- निषिद्ध निहितार्थ
- ¬(p → q) ≡ p ∧ ¬q
- द्विनिहितार्थ
- p ↔ q ≡ (p → q) ∧ (q → p)
- डी मॉर्गन
- ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
- वितरण नियम
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- निषिद्ध परिमाणक
- ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
- मोडस पोनेंस, मोडस टोलेंस
- p → q, p ⊢ q; p → q, ¬q ⊢ ¬p
विधि
- अलग-अलग चरों को गिनें: सत्यमान सारणी में 2ⁿ पंक्तियाँ होती हैं, जो सभी के 1 होने से शुरू होती हैं।
- हर उप-सूत्र को अपना अलग स्तंभ दें और स्तंभों को भीतर से बाहर की ओर भरें।
- हर संयोजक का नियम लगाएँ: → केवल 1 → 0 के लिए 0 होता है, ↔ तब 1 होता है जब दोनों पक्ष समान हों।
- तुल्यता के लिए अंतिम स्तंभों की पंक्ति-दर-पंक्ति तुलना करें; किसी तर्क के लिए केवल उन्हीं पंक्तियों को देखें जिनमें हर आधार-वाक्य 1 हो।
- परिमाणक वाले कथन का निषेध करने के लिए ¬ को भीतर ले जाएँ, ∀ और ∃ आपस में बदलें, और भीतरी सूत्र का निषेध करें।