PHI 1101 Lecture : PHI1101_Friday__January_31st__practice_with_argument_forms

• School: University of Ottawa
• Department: Philosophy
• Course: PHI 1101
• Professor: All

Document Summary

#2: e -> (a ->b, a e, a (2simp, e (2 simp, a ->b (1, 4mp, b (3, 5 mp, m->c, c->b, ~b, m->b (1,2 hs, ~m (3, 4 mt) #2b: m->c, c->b, ~b, ~c (2, 3 mt, ~m (1, 4 mt) #3: s->p, p->l, s, p (1, 3 mp, l (2, 4 mp) #4: ~g->(svf, ~s ~g, ~s (2simp, ~g (2simp, svf (1, 4 mp, f (3, 5 ds) #5: k->w, w->h, ~h, ~w (2, 3 mt, ~k (1, 4 mt) #6: p v ~m, p->k, ~m->d, ~k, ~p (2, 4 mt, ~m (1, 5 ds, d (3, 6 mp) #8: ~p->~q, q, p->s, p (1, 2 mt, s (3, 4 mp) #10: p->q, ~q v r, ~r, ~q (2, 3 ds, ~p (1, 4 mt) #11: p->(q v r, ~q p, p (2simp, q v r (1, 3 mp, ~q (2 simp, r (4, 5 ds) (think of simplification)