Lập bảng chân lý của mệnh đề ¬q [(pΛq) V ~ p]?

Lập bảng chân lý của mệnh đề ¬q [(pΛq) V ~ p]?
Anonim

Câu trả lời:

Xem bên dưới.

Giải trình:

Được: # không p -> (p ^^ q) vv ~ p #

Toán tử logic:# "không p:" không p, ~ p; "và:" ^^; hoặc: vv #

Bảng logic, phủ định:

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

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

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

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

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

Bảng logic và & hoặc:

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

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

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

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

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

Bảng logic, nếu sau đó:

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

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

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

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

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

Đưa ra đề xuất Logic phần 1:

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

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

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

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

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

Đưa ra đề xuất Logic phần 2:

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

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

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

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

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