Skip to content

Quantifiers, equality, functions! Proofs in predicate logic.

Notifications You must be signed in to change notification settings

UofSC-Fall-2022-Math-300-H01/homework6

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Homework 6

Answer the questions in main.tex. You don't have to use Latex but your solutions must be in the form of pdf. More particularly, when you submit, there is check that a file named solutions.pdf exists in your submission.

About

Quantifiers, equality, functions! Proofs in predicate logic.

Topics

Resources

Stars

Watchers

Forks