Seventies Television
Where dreams become late night TV shows
Friday, December 11, 2009
Indiscreet Mathematics
C(x) & M(x)
M(x) -> S(x)
... S(x)
1. C(x) & M(x) : premise
2. M(x) -> S(x) : premise
3. M(x) : Simplification, 1.
4. S(x) : Modus Ponens, 2., 3.
Newer Post
Older Post
Home