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 |