Mathematical Logic

P is true OR Q is true P is false and Q is true Both P and Q are false Both P and Q are true

At least one cat is not black No cats are black Some cats are black All cats are not black

Both P and Q are true Q is true Both P and Q are false P is true

P equals Q P and Q are both true Q implies P P implies Q

Sometimes true True False Undefined