dmackinnon1

# be nice with this simple example: 
# only positive integers pls.
def fact(x):
    if x == 1:
        return x
    else:
        return x*fact(x-1)

a = 4

dmackinnon1

\input logicdocument

\heading
Week 1 Problem Set
Your Name
Introduction to Formal Logic
\endheading

Translate the following English sentences into the language of first-order logic.