Truth Tables and Logic Exercises
Translated by
ScribdTranslationsTruth Tables and Logic Exercises
Translated by
ScribdTranslationsINFERENCE EXERCISES
1. Create the truth table for the following expressions and determine if it is a tautology or contingency.
or contradiction
not (p and q) if and only if (not p or not q)
(not (p and not p)) implies [(p and not q) or (p and not r)]
c. (pVq) ↔ (q → p)
d. [p ∧ ¬(q ∨ r)] ↔ [(p ∧ q) → (¬p ∧ r)]
e. [¬p → (¬qVr)] ↔ [¬(p → q)V ¬(p →¬r)]
2. Let p, q, r be the propositions, whose truth values are T, F, and F respectively. Find the value.
Indeed, from the following propositions:
a.¬(r∧q)→[¬(¬p∧q)V(p∧¬r)]
b. [pΛ ¬(¬qVr)] → [(p →¬q)V(p → r)]
c. (pV ¬r)V(q ↔ p)
d. [¬p∧(¬q∨r)] ↔ [(p∧¬q)∨(p∧¬r)]
e. [¬p → (qVr)]→[¬(p → q)V(p → r)]
The universal set is E = {1, 2, 3, 4, 5, 6, 7, 8, 9, b, f} and the sets
A = {1, 3, 4, 5} B = {2, 3, 5, 6} C = {4, 5, 6, 7} D = {b, f}.
Find:
a. Su diagrama de Venn
b. A - (B C)
c. (A B)–C
d. [(A C) D] B
e. (A B) (B C)
4. Determine the validity or invalidity of the following deductive reasoning:
a) 1. p ∧q -p
2. p 2. r ∧ s
3. p→ s 3. p↔ q
4. -p or q 4. -q ∨ s
5. -(p ∧ r) 5. q→ -p
6. s→ -r __________
__________ ∴p
∴ -r
-(p ∨q)∧s (r ∧ s) ∨ p
2. p or s 2. -p or q
3. p→ q 3. p→ q
4. r and s 4. (q ∧ s)→ r
5. p _________
___________ ∴r
∴p
f) 1. r ∨ s g) 1. - →q -r
2. p→ r 2. p ∧ s
3. s ∧ q 3. r
4. - q→ -r 4. t→ q
5. r ________
6. q→ t ∴q
____________
∴t
-p→ -q i) 1. p ∨ q
2. r and s 2. r ∧ s
3. p→ r 3. r and q
4. q ∨ r 4. q→ p
___________ 5. q
∴r ______________
∴ q↔ s
[Link] U = {2, 4, 6, 8, 10, 12, 14, 16, 18, 20} be the universal set, and let A = { x belongs to U / x is a multiple of 3 }
}, B = { x ∈ U / x is a multiple of 4 }. Check the laws of Morgan with A and B.
Morgan's laws:
➢ A '∩B' = (A∪B)'
➢ A '∪B' = (A∩B)'
[Link] the validity of the following exercise:
If it keeps raining, then the river will rise. If it keeps raining. If it keeps raining and the river rises,
then the bridge will be carried away by the waters. If the rain continues, it will cause the bridge
dragged by the waters, then one single path will not be enough for the whole city. Or else
A single road is enough for the whole city, or the engineers have made a mistake.
Thus, the engineers have made a mistake. Using the following symbolic language:
It keeps raining
The river rises
the bridge is swept away by the waters
One single road is enough for the whole city
E: the engineers have made a mistake