Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
2017
Homework 1 due 30 Jan. 2017
Remember to...
put your name and UNI at the top!
show your work and explain your reasoning, for that is the stuff partial credit is made of!
1. 1.2 # 10 [4pts]
A set of statements is consistent if it does not contain a contradiction. Translate these statements into propo-
sitional logic and determine if they are consistent:
Whenever the system software is being upgraded, users cannot access the file system. If users can access the
file system, then they can save new files. If users cannot save new files, then the system software is not being
upgraded.
2. 1.3 # 44 [6pts]
A collection of logical operators is functionally complete if every compound proposition is logically equivalent
to a compound proposition involving only these logical operators.
Show that and form a functionally complete collection of logical operators. You may not use truth tables.
(Hint: Use De Morgans laws to show that p q is logically equivalent to (p q).)
3. 1.4 # 60 [8pts]
Let P (x), Q(x), and R(x) be the statements x is a clear explanation, x is satisfactory, and x is an excuse,
respectively. Suppose that the domain for x consists of all English text. Express each of these statements using
quantifiers, logical connectives, and P (x), Q(x), and R(x).
Use the rules of inference to show that (c) follows from (a) and (b). State which rules you use.
4. 1.5 # 38 [5pts]
Express these propositions using predicate logic and quantifiers. State what your predicates and the domains
of your variables are.