Mình chưa biết nhiều về cái này lắm, nhưng trong đề bài có dòng t -> u tức là sao? t -> u là 1 hay là 0?

Đề cho đó là giả thiết á bạn (tiền đề) để chứng minh cái suy luận xem đó đúng hoặc sai

Mình sử dụng:
Kéo theo, Phân phối, Giao hoán, Phản, Đơn giản.

Bài làm:
c. (2) <=> (p ^ -s) v t <=> (p v t) ^ (-s v t) <=> (-s v t) <=> s -> t. Kết luận sai.
d.
-(s v u) <=> -s ^ -u
t -> u <=> -u -> -t <=> -t
(2) <=> -(s v t) -> -r <=> (-s ^ -t) -> -r <=> -r
(3) <=> -r -> -(-p v q) <=> -(-p v q) <=> p ^ -q <=> p. Kết luận đúng.
e. tương tự d.
f. Theo mình nghĩ: chuyển về dạng:
p v q
-p ^ q -> r

-r -> p

Khi đó:
(1) <=> q v p <=> -q -> p
(2) <=> q -> r <=> -r -> -q <=> -r -> p. Kết luận đúng

Hi hao vi.
Bạn chỉ cần xem lại các biển đổi tương đương là được.

Mệnh đề toán học

Trong lôgic toán, một phân ngành lôgic học, cơ sở của mọi ngành toán học, mệnh đề, hay gọi đầy đủ là mệnh đề lôgic là một khái niệm nguyên thủy, không định nghĩa. Thuộc tính cơ bản của một mệnh đề là giá trị chân lý của nó, được quy định như sau: Ký hiệu: Chẳng hạn, để ký hiệu a là mệnh đề "Paris là thủ đô của nước Pháp" ta sẽ viết:

(p v t) ^ (-s v t) <=> (-s v t)
Ngay khúc này sao suy ra được như thế luôn bạn @Nguyen_Trong

Mệnh đề đó đúng thì cả hai mệnh đề con (được kết bằng &) phải đúng, và ngược lại.

như anh @rogp10 đã cmt, mình chỉ nói thêm: dựa vào Quy tắc Đơn giản.