Logic
- Gottlob Frege (1848–1925)
- Bertrand Russell (1872–1970)
- Alfred Tarski (1901–1983)
- Kurt Gödel (1906–1978)
Modus ponens
Like syllogism?
Given: A->B
Given: A
Therefore: B
Modus tollens
A !=> B…
Predicate logic
Created (3 years ago)
Like syllogism?
Given: A->B
Given: A
Therefore: B
A !=> B…