1. Följande teckenföljder är välbildade satser i satslogiken (förutsatt att p, q och r är satser):
b) p
q
e) ((p
q)
p)
q
h) p
q
p
j) p
q
r
k) (p
q
r)
q
p
o) p
Följande teckenföljder är inte välbildade satser:
a) ![]() ![]() |
|
c) p ![]() ![]() |
|
d) p ![]() ![]() ![]() |
|
f) ![]() ![]() ![]() ![]() |
[Teckenföljden måste kompleteras med parentestecken för att vara entydig.] |
g) ![]() ![]() ![]() |
[Teckenföljden måste kompleteras med parentestecken för att vara entydig.] |
i) p ![]() ![]() |
[Teckenföljden måste kompleteras med parentestecken för att vara entydig.] |
l) p ![]() ![]() ![]() |
[Teckenföljden innehåller ett metalogiskt tecken (![]() |
m) ![]() ![]() |
[Teckenföljden innehåller ett metalogiskt tecken (![]() |
n) (![]() ![]() ![]() ![]() ![]() |
[Teckenföljden innehåller ett udda perentestecken.] |
2. De färglagda parentesparen kan avskaffas (då satserna är fristående satser):
a) | (![]() ![]() ![]() ![]() ![]() ![]() |
Satsen är en konjunktion. |
b) | ((![]() ![]() ![]() ![]() ![]() ![]() |
Satsen är en implikation. |
c) | ((r ![]() ![]() ![]() ![]() ![]() ![]() r ![]() ![]() ![]() ![]() ![]() ![]() |
Satsen är en (kedje)konjunktion. |
d) | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Satsen är en (kedje)disjunktion. |
e) | ((![]() ![]() ![]() ![]() ![]() ( ![]() ![]() ![]() ![]() ![]() |
Satsen är en implikation. |
f) | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Satsen är en negation. |