Skip to content

Instantly share code, notes, and snippets.

@Transfusion

Transfusion/pg63_43_AE1MFC_bryan_kok

Created October 14, 2014 14:05
Show Gist options
  • Save Transfusion/1abfffb4c22f69f9beef to your computer and use it in GitHub Desktop.
Save Transfusion/1abfffb4c22f69f9beef to your computer and use it in GitHub Desktop.
Download ZIP
pg63_43_AE1MFC_bryan_kok
Raw
pg63_43_AE1MFC_bryan_kok
proof
# Comments like these represent my informal thoughts...
1 ~p => r & ~s Hypothesis % ok
2 t => s Hypothesis % ok
3 u => ~p Hypothesis % ok
4 ~w Hypothesis % ok
5 u | w Hypothesis % ok
# From lines d and e, u | w and ~w implies u.
6 [ u Assumption % ok
7 u ] Hyp 6 % ok
8 [ w Assumption % ok
9 F ImpE 4,8 % ok
10 u ] FalseE 9 % ok
11 u OrE 6-7,8-10,5 % ok
# Two implications using lines c and a.
12 ~p ImpE 3,11 % ok
13 r & ~s ImpE 1,12 % ok
# Using modus tollens on line b.
14 ~s AndER 13 % ok
15 [ t Assumption % ok
16 s ImpE 2,15 % ok
17 F ] ImpE 14,16 % ok
18 ~t ImpI 15-17 % ok
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment