उत तर:
न च द ख ।
स पष ट करण:
द य ह आ: # नह p -> (p ^ ^ q) vv ~ 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 "" "F |" "F" "|" "F" "# |
तर क त ल क ओ, यद तब:
#ul (! "" p | "" q | "" p-> q "" |) #
# | "" ट । "" ट | "" ट "" |
# | "" 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 द य गय:
#ul (| "" ~ ~ q "" | "(p ^ ^ q) vv ~ p |" "~ q -> (p ^ ^ q) vv ~ p |) #
# | "" F "" | "" T "" | "" T "" |
# | "" T "" | "" F "" | "" F "" |
# | "" F "" | "" T "" | "" T "" |
# | "" ट "" | "" ट "" | "" ट "" |