?d’: P Person ? #d’ <= Max ? #d’ <= Max ? d’ = ?

?d’: P Person ? #d’ <= Max ? #d’ <= Max ? d’ = ?

? < conjunction is idempotent >

?d’: P Person ? #d’ <= Max ? d’ = ?

? < ? Introduction >

#d’ <= Max ? d’ = ? [? / d’] where the variable d’ is of type P person

? < ? Introduction >

# ? <= Max ? ? = ?

? True

Previous slide

Next slide

Back to first slide

View graphic version