Tips for oversettelse til predikatlogikk
Peter Suber ved Earlham College har utarbeidet detaljerte oversettelsestips fra engelsk.? Tilpasset norsk kan vi lage tabellen:
| Alle A'er er B'er | ?x (A(x) → B(x)) |
| Enhver A er (en) B | ?x (A(x) → B(x)) |
| Ingen A'er er B'er | ?x (A(x) → ? B(x)) |
| Ingen A er (en) B | ?x (A(x) → ? B(x)) |
| Det fins en A som er (en) B | ?x (A(x) ∧ B(x)) |
| Noen A'er er B'er | ?x (A(x) ∧ B(x)) |
| Noen A'er er ikke B'er | ?x (A(x) ∧ ? B(x)) |
| Bare A'er er B'er | = Alle B'er er A'er |
| Ikke alle A'er er B'er | = Noen A'er er ikke B'er |