Aν εχω οτι p<-->q οπου p,q ειναι προτασεις και δεχτω οτι ειναι η συνολικη προταση(p<-->q) ειναι αληθης τοτε ειτε p,q και τα δυο αληθη ειτε και τα δυο ψευδη;
Ακριβώς. Για να το 'αποδείξεις' :
(p-->q) είναι True αν και μόνο αν
----------------------------
Είτε p,q είναι T
είτε το p είναι F (και τό q ότι ναναι.)
Οπότε επειδή το (p<-->q) είναι στην ουσία (p-->q)
και (q-->p) το αποτέλεσμα έπεται.
Για το πραγματικό πρόβλημα, άπο όσο κατάλαβα αυτό που λες στο τέλος είναι μια απόδειξη αυτού.
Έπειδή κάικα και έγραφα τόση ώρα το ίδιο πράγμα υπεραναλύτικα ..πάρτο το ίδιο επιχείρημα και έτσι
Αν θεωρήσεις ότι ισχύει το ακόλουθο :
Α ανηκει στο Α <-->το Α δεν ειναι αθεμελιωτο. (1)
Τότε, θα δείξουμε την συνεπαγωγή : (*) Α δεν ανηκει στο Α=> το Α ειναι αθεμελιωτο.
{Για να το δείξουμε αύτο πρέπει να αποδείξουμε ότι αν για το Α ισχύει η εξής πρόταση "Α δεν ανηκει στο Α", τότε " το Α ειναι αθεμελιωτο"}
Τα συστατικά που θα χρειστείς να το δείξεις {δεδομένου του (1)} είναι η διπλή συνεπαγωγή του (1)
και το γεγονός ότι είτε
το Α είναι αθεμελίωτο είτε
το Α δεν είναι αθεμελίωτο
------------------------------------------------------------------------------
Ξέρεις απο (1) ότι : (2) Α δεν ειναι αθεμελιωτο => Α ανηκει στο Α
Επίσης υποθέτεις το αριστερό σκέλος του (*) για το Α. Επειδή το Α είναι είτε αθεμελιώτο είτε όχι, αρκεί να υποθέσουμε ότι το αριστερο σκελός του (*) συνεπάγεται ότι το Α
δεν είναι αθεμελίωτο και να φτάσουμε σε άτοπο.
Υποθέτοντας αυτό {δηλαδή ότι
το Α δεν είναι αθεμελίωτο} απο το (2) έχουμε ότι : (3) 'Α ανήκει Α'.
Τελικά 'Α ανήκει Α' απο τον παραπάνω συλλογισμό και 'Α δεν ανήκει Α'. ΑΤΟΠΟ.
Άρα, δεδομένου του (1),
αν το Α δεν ανηκει στο Α
τοτε το Α ειναι αθεμελιωτο (αφού μόλις δείξαμε ότι είναι ΑΤΟΠΟ να μην είναι αθεμελιώτο), δηλαδη με άλλα λόγια δεδομένου του (1) => Α δεν ανηκει στο Α=> το Α ειναι αθεμελιωτο.
-------------------------------------------------------------------------------
-------------------------------------------------------------------------------
Δεν έχει τίποτα το περίεργο ή δύσκολο αυτό το επιχείρημα, απλά τα βάζεις όλα κάτω και ακολουθείς του απλούς λογικους κανόνες. Θέλει απλά εξασκήση και μετά θα προκύπτει φυσικά όλο αυτό νομίζω... άμα επιμείνεις λίγο, επείδη καλά τα λες θα αρχίσουν όλα να ξεκαθαρίζουνννννν