Készítse el az ¬q [(pΛq) V ~ p] ajánlat igazságtábláját?

Készítse el az ¬q [(pΛq) V ~ p] ajánlat igazságtábláját?
Anonim

Válasz:

Lásd lentebb.

Magyarázat:

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

Logikai operátorok:# "nem p:" nem p, ~ p; "és:" ^^; vagy: vv #

Logikai táblázatok, negáció:

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

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

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

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

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

Logikai táblázatok és & vagy:

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

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

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

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

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

Logikai táblázatok, ha akkor:

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

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

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

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

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

Logikai javaslat 1. rész:

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

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

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

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

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

Adott logikai javaslat 2. rész:

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

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

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

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

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