ΠΛΗ20 - ΜΑΘΗΜΑ 3.3 - Η ΓΛΩΣΣΑ ΤΗΣ ΘΕΩΡΙΑΣ ΣΥΝΟΛΩΝ - ΘΕΩΡΙΑ 2 από 2

1) Η γλώσσα της Θεωρίας Συνόλων
1.1) Εισαγωγή
2) Υπενθυμίσεις από ΜΑΘ0.1
2.1) Δυναμοσύνολο
2.2) Σχέση Υποσυνόλου
2.3) Σχέση Γνησίου Υποσυνόλου
3) Ασκήσεις
3.1) Στοιχειώδεις προτάσεις με ποσοδείκτες
3.2) Μετάφραση στα ελληνικά
3.3) Περαιτέρω ασκήσεις
Ασκήσεις

[saramis]

Μπερδεύει λίγο το Q(x, y). Καταλαβαίνουμε εκ των υστέρων όμως ότι είναι το P(x, y) στην άσκηση 3. Και να θέλουμε δηλαδή να έχουμε στοχοπροσήλωση, μας σαμποτάρει ο δάσκαλος....

[panbouboulis]

νομίζω στο 3 της άσκησης 2 υπάρχει ένα λάθος. Δεν θα έπρεπε να είναι για κάθε y P(y, z) -> z=x ???

[giannispolitis]

καλησπέρα στην άσκηση 2 στο 1 η παρακάτω λύση θεωρείται ισοδύναμη ή λάθος ¬∀x [¬R(x, c)]