Logic proof list, page 2

2Equivalence A ↔ B TRUE

NOT AND (Sheffer stroke) A | B

A ↓ B = ~ (A ∨ B) TRUE

Disjunction A ∨ B

A ↓ B = ~ (A ∨ B) TRUE

A → B; C → D ∴ (A ∧ C) → (B ∧ D) TRUE

Error: simple A ∧ B ∧ C

Rain and walk TRUE

Disjunction A ∨ B

simple from logic-interpreter

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

Table 2^10 FALSE

Table 2^4 FALSE

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