Logik Übungsblatt 5
Name: Alexander Weichart
Matrikelnummer: 2170749
A
Aus p ∨ ¬ q, q folgt logisch gültig p
p | q | p ∨ ¬q | q | p |
---|---|---|---|---|
w | w | f w | w | w |
w | f | w w | f | w |
w | n | n w | n | w |
f | w | f f | w | f |
f | f | w w | f | f |
f | n | n n | n | f |
n | w | f n | w | n |
n | f | w w | f | n |
n | n | n n | n | n |
-> Ungültig, da für p = f und q = n eine falsche Konklusion aus zwei Prämissen folgt, die beide neutral sind
B
Aus p ∨ q, ~ q folgt logisch gültig p
p | q | p ∨ q | ~q | p |
---|---|---|---|---|
w | w | w | f | w |
w | f | w | w | w |
w | n | w | w | w |
f | w | w | f | f |
f | f | f | w | f |
f | n | n | w | f |
n | w | w | f | n |
n | f | n | w | n |
n | n | n | w | n |
-> Ungültig, da für p = f und q = n eine falsche Konklusion aus zwei Prämissen folgt, die jeweils neutral (p ∨ q) und wahr (~q) sind
C
Aus p → q, ¬ q folgt logisch gültig ¬ p
p | q | p → q | ¬q | ¬p |
---|---|---|---|---|
w | w | w | f | f |
w | f | f | w | f |
w | n | <