Mathematical Logic

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

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

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

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

False Sometimes true True Undefined