명제 ¬q [(pΛq) V ~ p]의 진리표를 만드시겠습니까?

대답:

아래를 참조하십시오.

설명:

주어진: #not p -> (p ^^ q) vv ~ p #

논리 연산자:# "not p:"not 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 | ""p ^^ 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:

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

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

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

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

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