Napravite tablicu istine propozicije ¬q [(pΛq) V ~ p]?

Napravite tablicu istine propozicije ¬q [(pΛq) V ~ p]?
Anonim

Odgovor:

Pogledaj ispod.

Obrazloženje:

S obzirom na: # ne p -> (p ^^ q) vv ~ p #

Logički operatori:# "nije p:" nije p, ~ p; "i:" ^^; ili: VV #

Logičke tablice, negacija:

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

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

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

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

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

Logičke tablice i & ili:

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

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

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

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

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

Logičke tablice, ako su tada:

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

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

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

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

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

S obzirom na logičku tvrdnju, dio 1:

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

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

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

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

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

S obzirom na logičku tvrdnju, dio 2:

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

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

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

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

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