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) p q | |
c) p q | |
d) p q | |
f) p q p q | [Teckenföljden måste kompleteras med parentestecken för att vara entydig.] |
g) p q p | [Teckenföljden måste kompleteras med parentestecken för att vara entydig.] |
i) p q r | [Teckenföljden måste kompleteras med parentestecken för att vara entydig.] |
l) p q q p | [Teckenföljden innehåller ett metalogiskt tecken ().] |
m) p p | [Teckenföljden innehåller ett metalogiskt tecken ().] |
n) (p q r) q) p | [Teckenföljden innehåller ett udda perentestecken.] |
2. De färglagda parentesparen kan avskaffas (då satserna är fristående satser):
a) | (p (q
p))
p (q p) |
Satsen är en konjunktion. |
b) | (((p))
(p))
p p |
Satsen är en implikation. |
c) | ((r
q)
p)
((p)
(q
r))
r q p (p q r) |
Satsen är en (kedje)konjunktion. |
d) | ((p q
)
r)
(q r)
(p q r) q r |
Satsen är en (kedje)disjunktion. |
e) | ((p
q)
p)
(q
p)
(p q) p q p |
Satsen är en implikation. |
f) | (((p q)
p)
(q
p))
((p q) p q p) |
Satsen är en negation. |