Giải bài tập Toán rời rạc

[mvhix9 (hao vi)]

Hiện giờ mình có một bài tập mà suy nghĩ nhiều cách cũng không giải ra được,mong mấy anh chị/bạn nào đó có thể trợ giúp mình được không ạ?Xin cảm ơn anh chị/bạn nhiều lắm
Đây là cái đề bài(kiểm tra suy luận xem có đúng không),mình bí câu c,d,e và câu cuối

[noname00 (HK boy)]

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?

[mvhix9 (hao vi)]

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

[Nguyen_Trong (Nguyên Trọng)]

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

[Phong_Ky_Vo (Tao Không Ngu.)]

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

[mvhix9 (hao vi)]

(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

[rogp10]

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

[Nguyen_Trong (Nguyên Trọng)]

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