Reasoning by Eliminationin SNePSLOG 1

: all(x)(Person(x) => nexists(_,1,_)(y)({Person(y)}: {Mother(y,x)})).

: Person({John, Jane, Mary}).

: Mother(Jane, John).

: Mother(Mary, John)?

~MOTHER(MARY,JOHN)

Previous slide

Next slide

Back to first slide

View graphic version