Mi (∃x) (x), ha x eleme U={a1;. ;an}?

"(∀x)(x) = U"

Szerintem ez igaz.

"(∀x)(nem x) = üreshalmaz"

A "nem x"-et minek definiálnád?

"Mi (∃x) (x), ha x eleme U={a1;. ;an}?"

Szerintem ez nem egyértelmű (legalább kételemű U esetén). Szerintem erről annyit tudunk mondani, hogy az U egy nem üres részhalmaza. (Szerintem maga az U is jó, az üreshalmaz pedig természetesen nem.)

Ha van egy konkrét formula a ∃x után, akkor persze egyértelmű lesz az a lista. De általánosságban csak annyit mondhatunk el, amit leírtam fentebb.

Ennek ugye van egy speciális esete:

∃!x (egyértelműen létezik)

Ebben az esetben mindig U egyetlen egy eleméből álló lista lesz a keresett listád.