p q q p x y y x !p (alt.) p x x x y p refl p x y - - PowerPoint PPT Presentation

▶

Oct 09, 2023 524 likes •635 views

x z p q q p x y y x !p (alt.) p x x x y p refl p x y refl p x unit-l y p p x p p p !p x inv-r x !p p y p !p p y inv-l y p !p x !p ? assoc w q r r p q x z p q y hcomp hfill

SLIDE 1

q p x x y z p ∙ q

SLIDE 2

p x x x y !p (alt.)

SLIDE 3

p x x y y p ∙ refl

SLIDE 4

refl ∙ p p y x x p p p

unit-l

SLIDE 5

p !p p ∙ !p p x y x

inv-r

SLIDE 6

!p p !p ∙ p !p y x y

inv-l

SLIDE 7

q ∙ r

p q r p ∙ q x y z w

assoc

SLIDE 8

hfill hcomp

SLIDE 9

boom w a l l boom w a l l wall wall boom