an entire section rewritten into raw logical statements

Nobody could misunderstand this!

 ~ A  
 A • B  
 A ∨ ~ C 
 C ⊃ (B ∨ A) 
 ~ (~ B ≡ C) 
 (A ∨ ~B) ≡ (C ⊃ A) 
 [A ∨ ~ (C ∨ B)]