Diễn Đàn MathScopeDiễn Đàn MathScope
  Diễn Đàn MathScope
Ghi Danh Hỏi/Ðáp Thành Viên Social Groups Lịch Ðánh Dấu Ðã Ðọc

Go Back   Diễn Đàn MathScope > Đại Học Và Sau Đại Học/College Playground > Logic, Tập Hợp, Toán Rời Rạc

News & Announcements

Ngoài một số quy định đã được nêu trong phần Quy định của Ghi Danh , mọi người tranh thủ bỏ ra 5 phút để đọc thêm một số Quy định sau để khỏi bị treo nick ở MathScope nhé !

* Nội quy MathScope.Org

* Một số quy định chung !

* Quy định về việc viết bài trong diễn đàn MathScope

* Nếu bạn muốn gia nhập đội ngũ BQT thì vui lòng tham gia tại đây

* Những câu hỏi thường gặp

* Về việc viết bài trong Box Đại học và Sau đại học


Trả lời Gởi Ðề Tài Mới
 
Ðiều Chỉnh Xếp Bài
Old 12-01-2011, 09:33 PM   #1
seit
+Thành Viên+
 
Tham gia ngày: Jan 2011
Bài gởi: 5
Thanks: 2
Thanked 0 Times in 0 Posts
Chứng minh tương đương lôgic

Chứng minh rằng:
a, $\urcorner(p \leftrightarrow q) $ và $\urcorner p \leftrightarrow q $ là tương đương lôgic.
b, $(p \leftrightarrow q) \wedge (p \leftrightarrow r) $ và $p \leftrightarrow (q \wedge r) $ là tương đương lôgic.

Giúp em với. phần này em không hiểu nên không làm được bài.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 

thay đổi nội dung bởi: novae, 12-01-2011 lúc 10:50 PM Lý do: LaTeX
seit is offline   Trả Lời Với Trích Dẫn
Old 17-01-2011, 11:31 AM   #2
namdung
Administrator

 
Tham gia ngày: Feb 2009
Đến từ: Tp Hồ Chí Minh
Bài gởi: 1,343
Thanks: 209
Thanked 4,066 Times in 778 Posts
Gửi tin nhắn qua Yahoo chát tới namdung
Hai mệnh đề được gọi là tương đương logic nếu chúng có cùng bảng chân trị. Do đó em có thể giải bằng cách lập bảng chân trị.

Có 1 cách khác là sử dụng các luật logic. Các luật cơ bản là:

1) Giao hoán
2) Kết hợp
3) Phân phối
4) Luật De Morgan

Ngoài ra, còn 1 số luật liên quan đến các phép kéo theo và tương đương như p --> q = ^p V q.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
namdung is offline   Trả Lời Với Trích Dẫn
Trả lời Gởi Ðề Tài Mới

Bookmarks

Ðiều Chỉnh
Xếp Bài

Quuyền Hạn Của Bạn
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is Mở
Smilies đang Mở
[IMG] đang Mở
HTML đang Tắt

Chuyển đến


Múi giờ GMT. Hiện tại là 01:08 PM.


Powered by: vBulletin Copyright ©2000-2024, Jelsoft Enterprises Ltd.
Inactive Reminders By mathscope.org
[page compression: 40.37 k/44.09 k (8.44%)]