First order logi11c

This document provides examples of statements that can be expressed in first-order logic. It gives the examples "One plus two equals three" and "Squares neighboring wumpus are smelly" to illustrate how first-order logic statements contain objects, relations, and properties. The document does not contain any other text beyond these introductory examples.