Logic proof list, page 3

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

Logical NOR (Peirce's arrow) A ↓ B  

NOT AND (Sheffer stroke) A | B  

Equivalence A ↔ B  

Implication A → B  

Exclusive OR (XOR) (A ⊻ B)  

NOT ( ~ A)  

GGGGGG8888888867647456745   FALSE

Disjunction  

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

Conjunction A ∧ B  

Disjunction A ∨ B  

why   TRUE

Pi больше 3 и Pi меньше 4   TRUE

Парадокс лжеца: я лжец и я лгу   FALSE

test clone   FALSE