σύνολα εκφραζόμενα με λογικά σύμβολα

mondo · #1

Έχω το εξής : z=[[x],[x,y]]

και θα ήθελα να το μεταφράσω σε λογική έκφραση χρησιμοποιώντας

όλα τα λογικά σύμβολα μαζί με το $\in$ και το

.
Για το σύνολο [x,y]

νομίζω : $((x\in w\wedge y\in w)\wedge \forall a\in w \rightarrow (a=x\vee a=y))$ , όπου w=[x,y]

Για το [x]: $x \in w' \wedge \forall b \in w' \rightarrow(b=x)$
και στην τελική φόρμουλα σκέφτομαι να συνδέσω τα δύο παραπάνω με $\wedge$
Δεν είμαι σίγουρος αν είναι σωστό οπότε θα ήθελα την άποψη σας.

labrosb · #2

mondo έγραψε:Έχω το εξής : και θα ήθελα να το μεταφράσω σε λογική έκφραση χρησιμοποιώντας όλα τα λογικά σύμβολα μαζί με το $\in$ και το .
Για το σύνολο νομίζω : $((x\in w\wedge y\in w)\wedge \forall a\in w \rightarrow (a=x\vee a=y))$ , όπου
Για το [x]: $x \in w' \wedge \forall b \in w' \rightarrow(b=x)$
και στην τελική φόρμουλα σκέφτομαι να συνδέσω τα δύο παραπάνω με $\wedge$
Δεν είμαι σίγουρος αν είναι σωστό οπότε θα ήθελα την άποψη σας.

$w=[x,y] \Longleftrightarrow\forall z(z\epsilon w\leftrightarrow z=x\vee z=y)$ &

is a set

Patrick Suppes :AXIOMATIC SET THEORY σελίδα 31

Κατά τον Κον Suppes για κάθε ορισμό πρέπει να έχουμε θεώρημα υπάρξεως του ορισμού

σύνολα εκφραζόμενα με λογικά σύμβολα

σύνολα εκφραζόμενα με λογικά σύμβολα

Re: σύνολα εκφραζόμενα με λογικά σύμβολα

Μέλη σε σύνδεση