New posts in Logic

Be the First 1 (leave only the first Truthy)

Convert a logical expression to conjunctive normal form

Count trailing truths

How secure are my locks?

Alex is sometimes right

Are Pigs able to fly?

How do I write this symbol in latex? (disjoint sharp operator)

Is there a (fork) symbol for probabilistic causality? Logic

How do I display verification of propositional logic in this way?

How to detect LuaLaTex inside my .tex file and exclude bits and pieces conditionally