ทำตารางความจริงของข้อเสนอ¬q [(pΛq) V ~ p] หรือไม่

ทำตารางความจริงของข้อเสนอ¬q [(pΛq) V ~ p] หรือไม่
Anonim

ตอบ:

ดูด้านล่าง

คำอธิบาย:

ได้รับ: #not p -> (p ^^ q) vv ~ p #

ผู้ประกอบการตรรกะ:# "ไม่ p:" ไม่ p, ~ p; "และ:" ^^; หรือ: VV #

ตารางลอจิก, การปฏิเสธ:

#ul (| "" p | "" q | "" ~ p | "" ~ q |) #

# "" T | "" T | "" F | "" F | #

# "" T | "" F | "" F | "" T | #

# "" F | "" T | "" T | "" F | #

# "" F | "" F | "" T | "" T | #

ตารางลอจิกและ & หรือ:

#ul (| "" p | "" q | "" ^ ^ q "" | "" qvvq "" |) #

# | "" T | "" T | "" T "" | "" T "" | #

# | "" T | "" F | "" F "" | "" T "" | #

# | "" F | "" T | "" F "" | "" T "" | #

# | "" F | "" F | "" F "" | "" F "" | #

ตารางลอจิกถ้าแล้ว:

#ul (| "" p | "" q | "" p-> q "" |) #

# | "" T | "" T | "" T "" | #

# | "" T | "" F | "" F "" | #

# | "" F | "" T | "" T "" | #

# | "" F | "" F | "" T "" | #

ข้อเสนอลอจิกที่ได้รับตอนที่ 1:

#ul (| "" p ^^ q "" | "" ~ p "" | "" (p ^^ q) vv ~ p |) #

# | "" T "" | "" F "" | "" T "" | #

# | "" F "" | "" F "" | "" F "" | #

# | "" F "" | "" T "" | "" T "" | #

# | "" F "" | "" T "" | "" T "" | #

ข้อเสนอลอจิกที่ได้รับตอนที่ 2:

#ul (| "" ~ q "" | "" (p ^^ q) vv ~ p | "" q ~ -> (p ^^ q) vv ~ p |) #

# | "" F "" | "" T "" | "" T "" | #

# | "" T "" | "" F "" | "" F "" | #

# | "" F "" | "" T "" | "" T "" | #

# | "" T "" | "" T "" | "" T "" | #