Assgn1 PDF
Assgn1 PDF
Assgn1 PDF
1. For each of the following statements use a truth table to determine whether it is a tautology,
a contradiction, or a contingency.
2. For each of the following logical equivalences state whether it is valid or invalid. If invalid then
give a counterexample (e.g., based on a truth table). If valid then give an algebraic proof using
logical equivalences from Tables 6, 7, and 8 from Section 1.3 of textbook.
(a) p (q r) q (p r)
(b) (p r) (q r) ((p q) r)
(c) (p q) (p r) (p (q r))
(d) ((p q) (p r)) (q r)
3. Write down the negations of each of the following statements in their simplest form (i.e., do
not simply state It is not the case that...). Below, x denotes a real number, x R.
4. Write the following statements in predicate form, using logical operators , , , and quantifiers
, . Below Z+ denotes all positive integers {1, 2, 3, . . .}.
(a) The square of a positive integer is always bigger than the integer.
(b) There is no integer solution to the equation x = x + 1.
(c) The absolute value of an integer is not necessarily positive.
(d) The absolute value of the sum of two integers does not exceed the sum of the absolute
values of those integers.
1
5. Let P and Q be predicates on the set S, where S has two elements, say, S = {a, b}. Then
the statement xP (x) can also be written in full detail as P (a) P (b). Rewrite each of the
statements below in a similar fashion, using P , Q, and logical operators, but without using
quantifiers.
6. Let the domain for x be the set of all students in this class and the domain for y be the set of
all countries in the world. Let P (x, y) student x has visited country and Q(x, y) student x has
a friend in country Express each of the following using logical operations and quantifiers, and
the propositional functions P (x, y) and Q(x, y).
7. For each part in the previous question, form the negation of the statement so that all negation
symbols occur immediately in front of predicates. For example:
8. Negate the following statements and transform the negation so that negation symbols imme-
diately precede predicates. (See example in Question 7.)