Teiginių logika ir įrodymai
- Teisingumo lentelės eilutės
- 2ⁿ
- Implikacija
- p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
- Implikacijos neigimas
- ¬(p → q) ≡ p ∧ ¬q
- Ekvivalencija
- p ↔ q ≡ (p → q) ∧ (q → p)
- De Morgano dėsniai
- ¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
- Distributyvumo dėsniai
- p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
- Kvantorių neigimas
- ¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
- Modus ponens, modus tollens
- p → q, p ⊢ q; p → q, ¬q ⊢ ¬p
Metodas
- Suskaičiuokite skirtingus kintamuosius: teisingumo lentelėje yra 2ⁿ eilučių, o pirmoji eilutė – visi kintamieji lygūs 1.
- Kiekvienai posakio daliai skirkite savo stulpelį ir užpildykite stulpelius iš vidaus į išorę.
- Taikykite kiekvienos jungties taisyklę: → yra 0 tik tada, kai 1 → 0, o ↔ yra 1, kai abi pusės sutampa.
- Tikrindami ekvivalentumą, palyginkite galutinius stulpelius eilutė po eilutės; tikrindami argumentą, žiūrėkite tik į eilutes, kuriose visos prielaidos lygios 1.
- Norėdami paneigti kvantorių turintį teiginį, perkelkite ¬ į vidų, sukeiskite ∀ ir ∃ vietomis ir paneikite vidinę formulę.