Reasoning by Eliminationin SNePSLOG 2

: Member({Chris, Leslie, Pat, Stevie}).

: nexists(2,_,4)(x) ({Member(x)}: {Woman(x)}).

: all(x)(Member(x) => andor(1,1){Man(x), Woman(x)}).

Previous slide

Next slide

Back to first slide

View graphic version