• ImplyingImplications@lemmy.ca
    link
    fedilink
    arrow-up
    87
    arrow-down
    1
    ·
    4 months 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)]