Gawin ang talahanayan ng katotohanan ng panukala ¬q [(pΛq) V ~ p]?

Gawin ang talahanayan ng katotohanan ng panukala ¬q [(pΛq) V ~ p]?
Anonim

Sagot:

Tingnan sa ibaba.

Paliwanag:

Ibinigay: #not p -> (p ^^ q) vv ~ p #

Mga operator ng lohika:# "hindi p:" hindi p, ~ p; "at:" ^^; o: vv #

Mga Lohika ng Lohika, pagpapawalang bisa:

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

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

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

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

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

Lohika ng Lohika, at & o:

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

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

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

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

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

Mga Lohika ng Lohika, kung gayon:

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

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

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

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

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

Given Lohika panukala bahagi 1:

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

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

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

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

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

Given Lohika panukala bahagi 2:

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

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

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

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

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