Expressing Counterexamples Formally | Logic I

Press the right key for the next slide (or swipe left)

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides

Expressing Counterexamples Formally

Give a counterexample to this argument:

Informally:

Formally:

\hspace{3mm} Domain: \{a, b\}

\hspace{3mm} R: \{<a,a>, <a,b>, <b,b>\}

Here’s a quick look at how to enter the counterexample in zoxiy. If you want more detail, please see the user guide (which is linked to on the home page of zoxiy).