Rules of inference
Mathematical logic · Mathematics
Study notes
Q: 'If it rains, the ground is wet. The ground is not wet.' What follows? p → q (rain → wet), ¬q (not wet). Modus tollens: ¬q, p→q ⊢ ¬p. Therefore: it did not rain!
One notebook for every subject — open it anywhere.
Mathematical logic · Mathematics
Q: 'If it rains, the ground is wet. The ground is not wet.' What follows? p → q (rain → wet), ¬q (not wet). Modus tollens: ¬q, p→q ⊢ ¬p. Therefore: it did not rain!