Disjunction Over One Variable

12 Aug Disjunction Over One Variable

P or -P

-(P or -P)

(P or -P) or -(P or -P)

-((P or -P) or -(P or -P))

(P or -P) or -(P or -P) or -((P or -P) or -(P or -P))

Sam/ Micah