100 Proof: Logic for Leisure

Saturday, February 22, 2014

S78

Madden's derivation:

Jaeger's derivation...I'm the Newton to Jim's Leibniz.

Posted by Andrew Jaeger at 7:25 AM

Email This BlogThis!Share to X Share to Facebook Share to Pinterest

No comments:

About This Blog:

If you'd like to post any of your derivations, please let me (Jaeger) know and I'd be happy add you as an author. This blog is currently devoted to derivations in propositional logic and 1st order predicate calculus; however, derivations in axiomatic set theory and various modal logics (or any other formal language) will most certainly not be turned away. Moreover, work in classical Aristotelian Logic will also find a hearty welcome herein. Leave questions about proofs in comments.

Search This Blog

Contributors

Andrew Jaeger
Unknown

Blog Archive

▼ 2014 (12)
- ▼ Feb (12)
  - T4, T5, T6
  - S85
  - S84
  - S80
  - S35
  - S78
  - S34
  - Lemmon, pp. 41 (j)
  - S68
  - S75
  - S73
  - S72

Followers

Simple theme. Powered by Blogger.

Saturday, February 22, 2014

S78

No comments:

Post a Comment