Opus Flies and Doesn’t

: all(x)(Flies(x)=>Feathered(x)).

: all(x)(~Flies(x) => Swims(x)).

: Flies(Opus).

: ~Flies(Opus).

A contradiction was detected within context DEFAULT-DEFAULTCT.

...

~FLIES(OPUS)

Previous slide

Next slide

Back to first slide

View graphic version