Ah, of course. Thanks.
Note also you could easily see your initial comment to be wrong just by computing the truth tables! Equivalence in classical propositional logic is pretty easy—you don’t need to think about proofs, just write down the truth tables!
Ah, of course. Thanks.
Note also you could easily see your initial comment to be wrong just by computing the truth tables! Equivalence in classical propositional logic is pretty easy—you don’t need to think about proofs, just write down the truth tables!