Sisters in FOPL

Sisters(Mary, Sue) ? Sisters(Sue, Sally)

?(x,y)[Sisters(x,y) ? Sisters(y,x)]

?(x,z)[x ? z

? (?(y)[sisters(x,y) ? sisters(y,z)]

? Sisters(x,z))]

Previous slide

Next slide

Back to first slide

View graphic version