p 
q
e) ((
p q) 
p) 
q
h)
p q p
j) p
q r
k) (
p q r) q p
o) p
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. |
