Zoxiy Instructors’ Guide

Zoxiy is a web application for teaching university level first-order formal logic.

This guide aims to show you the key things instructors do.

At the end of each section there is a 1-2 minute video demonstration.

You can download this guide as a pdf if you prefer.

If you don’t already have a zoxiy account, you might email [email protected] to request one.