Xin chào, NGUYEN NGOC ANH.

Khi bạn gửi biểu mẫu này, chủ sở hữu sẽ thấy tên
và địa chỉ email của bạn.
5.Assume a, b, and c are true, and x, y, and z are false. Determine whether each of the
following is true or false: ~ (y --> z)
(10 Điểm)
True
False
6.Put the following statements in symbolic form: (in which j stands for "John is left-
handed" and s stands for "Sally is right-handed"): "John is left-handed, but Sally is
right-handed."
(10 Điểm)
7.Determine the validity of the following argument forms using truth tables: Premise
1: p Premise 2: q Conclusion: p v q
(10 Điểm)
Valid
Invalid
Let’s analyze the argument using truth tables:

1. p represents the first premise.

2. q represents the second premise.
3. The conclusion is p v q (which means “p or q”).

Here’s the truth table:

Bảng

p q pvq

T T T

T F T

F T T

F F F

Since the conclusion is true in all cases where the premises are true, the argument form
is valid.
8.Assume a, b, and c are true, and x, y, and z are false. Determine whether each of the
following is true or false: a & c
(10 Điểm)
True
False
9.Assume a, b, and c are true, and x, y, and z are false. Determine whether each of the
following is true or false: (a & x) v (~b v z)
(10 Điểm)
True
False
10.Determine the validity of the following argument forms using truth tables: Premise
1: ~(p & q) Premise 2: q Conclusion: ~p
(10 Điểm)
Valid
Invalid

1. Premise 1: ~(p & q)

2. Premise 2: q
3. Conclusion: ~p

Here’s the truth table:

Bảng

Pre Pre
mise mise Conclu Vali
p q 1 2 sion dity

Tr Tr
ue ue False True False Valid

Tr Fal
ue se True False False Valid

Fal Tr
se ue True True True Valid

Fal Fal
se se True False True Valid

The argument is valid because in all cases where the premises are true, the conclusion is also
true.

11.Assume a, b, and c are true, and x, y, and z are false. Determine whether each of
the following is true or false: ~c v ~ y
(10 Điểm)
True
False
1. Expression: ~c v ~y
o Given: a, b, and c are true; x, y, and z are false.
o We have ~c (negation of c) and ~y (negation of y).
o Since both ~c and ~y are true, their disjunction (~c v ~y) is also true.
 Therefore, the first expression is True.

12.Assume a, b, and c are true, and x, y, and z are false. Determine whether each of
the following is true or false: (z --> a) v ~ (b v x)
(10 Điểm)
True
False
1. Expression: (z --> a) v ~(b v x)
o Given: a, b, and c are true; x, y, and z are false.
o Let’s break down the expression:
 (z --> a): This is an implication. Since z is false and a is true, the
implication is true.
 ~(b v x): This is the negation of the disjunction (b v x). Since both b and x
are false, their disjunction is false, and its negation is true.
 The overall expression [(z --> a) v ~(b v x)] is true.

Therefore, the second expression is also True.

13.Put the following statements in symbolic form: (in which v stands for "Vegetables
should be cooked" and f stands for "Fruits should be cooked") "It’s not the case that
vegetables should be cooked and fruits should not."
(10 Điểm)
14.Put the following statements in symbolic form: (in which c stands for "The
computer is under warranted" and p stands for "The printer is under warranted") "The
computer is under warranted but the printer is not."
(10 Điểm)