sats<sup>3</sup>
⇧[2]
påstå
↑
PRIM
sats (nn)
[korpus]
⇩
7
PRIM
lärosats
Euklides
åsnebryggan
eller
disjunktion
logisk
teorem
matematik
fundamentalsats
matematisk
lemma
2
samordning
konjunktion
2
↓
1
logik
predikatlogik