Redigerer Predikatlogikk (avsnitt)

=== Unære funksjoner ===
I de følgende eksemplene står setningsfunksjonen {{nowrap|''E''(''x'')}} for {{nowrap|«''x'' er}} en elefant», mens {{nowrap|''R''(''x'')}} står for {{nowrap|«''x'' er rosa».}}

{| class="wikitable"
! Formel
! Lesemåte av formelen
! Betydning
! Forklaring
|-
| <math>\forall x \big \lbrack E(x) \land R(x) \big \rbrack</math>
| For alle ''x'' gjelder at ''x'' er en elefant og at ''x'' er rosa.
! Alt er rosa elefanter.
| Det fins ikke noe annet i universet enn rosa elefanter.
|-
| <math>\forall x \big \lbrack E(x) \lor R(x) \big \rbrack</math>
| For alle ''x'' gjelder at ''x'' er en elefant eller at ''x'' er rosa.
! Alt er rosa eller elefant.
| Det kan finnes rosa sokker og grå elefanter, men ikke grønne sykler.
|-
| <math>\exists x \big \lbrack E(x) \land R(x) \big \rbrack</math>
| Det fins en ''x'' slik at ''x'' er en elefant og at ''x'' er rosa.
! Det fins en rosa elefant.
| Men det kan finnes mye annet også.
|-
| <math>\neg \exists x \big \lbrack E(x) \land R(x) \big \rbrack</math>
| Det fins ikke noen ''x'' slik at ''x'' er en elefant og at ''x'' er rosa.
! {{nowrap|Rosa elefanter fins ikke.}}
| Men det kan finnes mye annet.
|-
| <math>\forall x \big \lbrack E(x) \to R(x) \big \rbrack</math>
| For alle ''x'' gjelder at hvis ''x'' er en elefant, så er ''x'' rosa.
! Alle elefanter er rosa.
| Det kan finnes rosa sokker og grønne sykler, men ikke grå elefanter.
|-
| <math>\forall x \big \lbrack R(x) \to E(x) \big \rbrack</math>
| For alle ''x'' gjelder at hvis ''x'' er rosa, så er ''x'' en elefant.
! Bare elefanter er rosa.
| Det kan finnes grå elefanter og grønne sykler, men ikke rosa sokker.
|}