• ImplyingImplications@lemmy.ca
    link
    fedilink
    arrow-up
    1
    ·
    1 month ago

    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)]