In logic it’s clear

?x ? (OnEscalator(x)?

?y ?(PairOfShoes(y)? IsWearing(x,y))

?x ? ((OnEscalator(x)? IsDog(x)) ? IsCarried(x)

Previous slide

Next slide

Back to first slide

View graphic version