click below
click below
Normal Size Small Size show me how
Discrete exam
| Question | Answer |
|---|---|
| Modus Ponens : (not two way) | P ---> Q , given P infer Q |
| Modus Tollens: (not two way) | P ---> Q , given not Q, infer not P |
| Simpification : (not two way) | P and Q, infer P |
| Addition : (not two way) | from P , infer P or Q |
| Double negation (two way) : | P = (not P) Not |
| De Morgan's Laws (two way) : | not (P and Q) turns into Not P or Not Q |
| Implication (two way) : | P ---> Q )) equation to Not P or Q |
| Conjuction : (not two way) | given line 1: P given line 4: Q P and Q |