Logic proof list, page 3

Error: simple A ∧ B ∧ C  

Rain and walk   TRUE

Если бы Берия был жив Хрущев бы не стал руководителем   TRUE

Rain and walk   TRUE

Disjunction A ∨ B  

simple ~ ((A → B) ∧ (B → A))  

check (A → C) ↓ B ∧ C → B   TRUE

Table 2^10   FALSE

Table 2^4   FALSE

Я оплатил интернет - значит имею право смотреть все фильмы без оплаты Ж)   TRUE

All rappers are mortal, poetry is immortal   FALSE

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

flag ukraine   TRUE

Equival (A → B) ↔ ( ~ A ∨ B)   TRUE

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

NOT OR (Peirce's arrow) A ↓ B  

NOT AND (Sheffer stroke) A | B  

Equivalence A ↔ B  

Implication A → B  

Exclusive OR (XOR) (A ⊻ B)