DISCRETE M1 NOTES.docx

N-NEGATION C-CONJUNCTION D-DISJUNCTION EXOR-EXCLUSIVE OR CS-CONDTIONAL STATEMENT BICS-BICONDITIONAL STATEMENT NEGATION ([¬*p*]{.math.inline}) \- "IT IS NOT THE CASE THAT P" \- "NOT P" \- OPPOSITE TRUTH VALUE OF P CONJUNCTION ([\$p\\ \\hat{}\\ q\$]{.math.inline}) \- "P AND Q" \- ONLY TRUE...

N-NEGATION C-CONJUNCTION D-DISJUNCTION EXOR-EXCLUSIVE OR CS-CONDTIONAL STATEMENT BICS-BICONDITIONAL STATEMENT NEGATION ([¬*p*]{.math.inline}) \- "IT IS NOT THE CASE THAT P" \- "NOT P" \- OPPOSITE TRUTH VALUE OF P CONJUNCTION ([\$p\\ \\hat{}\\ q\$]{.math.inline}) \- "P AND Q" \- ONLY TRUE IF BOTH P AND Q ARE TRUE  DISJUNCTION ([p v q]{.math.inline}) \- "P OR Q" \- ONLY FALSE IF P AND Q ARE BOTH FALSE EXCLUSIVE OR ([*p* ⊕ *q*]{.math.inline}) \- "EITHER P OR Q, BUT NOT BOTH" \- TRUE IF ONE OF P AND Q IS TRUE (TF, FT) \- FALSE IF P AND Q HAVE THE SAME TRUTH VALUES (TT, FF)  CONDITIONAL STATEMENT ([*p* → *q*]{.math.inline}) \- "IF P THEN Q" \- ONLY FALSE IF P IS TRUE AND Q IS FALSE (TF)  BICONDITIONAL STATEMENT ([*p*  ↔ *q*]{.math.inline}) \- "P IF AND ONLY IF Q" \- TRUE IF P AND Q HAVE THE SAME TRUTH VALUES (TT, FF)