|
|
|||||||
| สมัครสมาชิก | คู่มือการใช้ | รายชื่อสมาชิก | ปฏิทิน | ข้อความวันนี้ | ค้นหา |
  |
|
|
เครื่องมือของหัวข้อ | ค้นหาในหัวข้อนี้ |
|
#1
21 มิถุนายน 2009, 20:32
|
|||
|
|||
ถามโจทย์ตรรกศาสตร์ครับ
จงแสดงว่ารูปแบบประพจน์ $[\sim (\sim p \rightarrow (q \bigwedge r)) \bigwedge (\sim r \rightarrow q)] \rightarrow (p \bigvee r)$ สมมูลกับ $q \rightarrow (\sim p \rightarrow r)$
(โดยการใช้กฎพีชคณิตของตรรกศาสตร์) แสดงวิธีทำด้วยนะครับ 
|
|
#8
06 กรกฎาคม 2009, 14:03
|
|||
|
|||
|
ลองแทนค่าไปเรื่อยๆ
เดี๋ยวได้คำตอบเองแหละ ลองดูดิ
|
|
#9
06 กรกฎาคม 2009, 14:31
|
||||
|
||||
อ้างอิง:
 [(~(~p→(q⋀r))⋀(~r→q)]→(p⋁r) สมมูลกับ q→(~p→r) ช่วยเติมด้วยครับ 
__________________
  จด จด จด
|
|
#10
06 กรกฎาคม 2009, 17:47
|
||||
|
||||
|
มันส่งไปนานแล้ว แต่เห็นยังไม่มีคนมาเฉลย เลยมาเฉลยให้ = =
$[\sim (\sim p \rightarrow (q \wedge r)) \wedge (\sim r \rightarrow q)] \rightarrow (p \vee r)$ $\equiv p \vee (q \wedge r) \vee ( \sim r \wedge \sim q) \vee p \vee r $ $\equiv (q \wedge r) \vee ( \sim r \wedge \sim q) \vee p \vee r $ $\equiv (q \wedge r) \vee [( \sim r \vee r)\wedge (\sim q \vee r)] \vee p $ $\equiv (q \wedge r) \vee [T\wedge (\sim q \vee r)] \vee p $ $\equiv (q \wedge r) \vee (\sim q \vee r) \vee p $ $\equiv [(q\vee \sim q \vee r) \wedge (r \vee \sim q \vee r)] \vee p $ $\equiv [(T \vee r) \wedge (\sim q \vee r)] \vee p $ $\equiv T \wedge (\sim q \vee r)] \vee p $ $\equiv (\sim q \vee r) \vee p $ $\equiv \sim q \vee (p \vee r) $ $\equiv q \rightarrow ( \sim p \rightarrow r) $
|
|
#11
06 กรกฎาคม 2009, 22:33
|
||||
|
||||
|
ขอบคุณครับ
ขอถามอีกอย่างนะครับ คือ สมมติมี ตัวแปร p q r s มา แล้วมีประพจน์ (p^q) v (r^s) อย่างงี้อ่ะครับ แล้วเราสามารถกำหนดให้ (p^q) เป็น A แล้วแจกแจงเข้าไปกระทำระหว่าง s กับ r ได้หรือเปล่าครับ อย่าง (Avr) ^ (Avs) (p^qvr) ^ (p^qvs) อย่างนี้อ่ะครับจะได้หรือเปล่า ?
__________________
|
|
#12
06 กรกฎาคม 2009, 23:06
|
|||
|
|||
|
อ้างอิง:
|
| |
|
|
