Logic proof list, page 3

NOT AND (Sheffer stroke) A | B  

Equivalence A ↔ B  

Implication A → B  

Exclusive OR (XOR) (A ⊻ B)  

GGGGGG8888888867647456745   FALSE

Disjunction  

A ↓ B; B ↓ C; inference ~ C ∧ ~ A   TRUE

Conjunction A ∧ B  

Disjunction A ∨ B  

why   TRUE

test clone   FALSE

test   FALSE

a   TRUE

~ p ∨ q ; r ∨ ~ q ; p ; s ∴ r ∨ s   TRUE

p → q; ~ r → ~ q; ~ r ∴ ~ p   TRUE

check2   TRUE

p ; p → q ; q → r ∴ p ∧ (q ∧ r)   TRUE

Сэм уплатит налог за машину или Сэм утратит свою машину и будет ходить на работу пешком   TRUE

Бажина - Не работает подстановка @id - use another inference ID as a variable   FALSE

Замена импликации на отрицание и дизъюнкцию   TRUE