Professional Documents
Culture Documents
Assaf Kfoury
ϕ ::= p | (¬ϕ) | (ϕ ∧ ϕ) | (ϕ ∨ ϕ) | (ϕ → ϕ)
ϕ ::= p | (¬ϕ) | (ϕ ∧ ϕ) | (ϕ ∨ ϕ) | (ϕ → ϕ)
ϕ ::= p | (¬ϕ) | (ϕ ∧ ψ) | (ϕ ∨ ψ) | (ϕ → ψ)
ϕ ::= p | (¬ϕ) | (ϕ ∧ ϕ) | (ϕ ∨ ϕ) | (ϕ → ϕ)
ϕ ::= p | (¬ϕ) | (ϕ ∧ ψ) | (ϕ ∨ ψ) | (ϕ → ψ)
ϕ ::= p | ¬ϕ | ϕ ∧ ψ | ϕ ∨ ψ | ϕ → ψ
I A fully-parenthesized wff:
¬((¬P) ∨ (Q ∧ (¬P)))
→ ¬((¬P) → (Q ∨ (¬R)))
I A fully-parenthesized wff:
¬((¬P) ∨ (Q ∧ (¬P)))
→ ¬((¬P) → (Q ∨ (¬R)))
¬ ¬P ∨ Q ∧ ¬P
→ ¬ ¬P → Q ∨ ¬R
I A fully-parenthesized wff:
¬((¬P) ∨ (Q ∧ (¬P)))
→ ¬((¬P) → (Q ∨ (¬R)))
¬ ¬P ∨ Q ∧ ¬P
→ ¬ ¬P → Q ∨ ¬R
¬ (¬ P ∨ (Q ∧ ¬ P))
→ ¬ (¬ P → (Q ∨ ¬ R))
¬ ¬P ∨ Q ∧ ¬P
→ ¬ ¬P → Q ∨ ¬R ¬ ∧ ¬ ∨
¬ (¬ P ∨ (Q ∧ ¬ P))
P R
→ ¬ (¬ P → (Q ∨ ¬ R))
Parse trees are very nice,
but more difficult to store.
Assaf Kfoury, CS 511, Fall 2019, Handout 02 page 10 of 11
( THIS PAGE INTENTIONALLY LEFT BLANK )