Propositional Logic and Truth Tables

Logic doesn't actually care what your sentences mean, only if they are true or false.

It is called propositional logic and it basically turns human language into math. We take statements,

label them P and Q, and smash them together with connectors. And is strict because

both sides must be true, while Or is chill and just needs one. But the If-Then

arrow is the real mind bender. If your starting premise is false, logic says the whole

statement is automatically true. It feels like cheating, but this is exactly how computer processors

make decisions.