Ατερμων βροχος - παιχνιδια λογικης

[Thmmy.gr portal]

  Thmmy.gr portal
   Forum
   Downloads
   Ενεργ. Λογαριασμού
   Επικοινωνία
  
  Χρήσιμα links
   Σελίδα τμήματος
   Βιβλιοθήκη Τμήματος
   Elearning
   Φοιτητικά fora
   Πρόγραμμα Λέσχης
   Πρακτική Άσκηση
   Ηλεκτρονική Εξυπηρέτηση Φοιτητών
   Διανομή Συγγραμμάτων
   Ψηφιακό Καταθετήριο Διπλωματικών
   Πληροφορίες Καθηγητών
   Instagram @thmmy.gr
   mTHMMY
  
  Φοιτητικές Ομάδες
   ACM
   Aristurtle
   ART
   ASAT
   BEAM
   BEST Thessaloniki
   EESTEC LC Thessaloniki
   EΜΒ Auth
   IAESTE Thessaloniki
   IEEE φοιτητικό παράρτημα ΑΠΘ
   SpaceDot
   VROOM
   Panther
  

THMMY.gr Web

Helios_MultiScribbles2SMF Default ThemeSMFone_Blue

[Ανεβάζετε τα θέματα των εξετάσεων στον τομέα Downloads]

Είσαι πρωτοετής;... Καλώς ήρθες! Μπορείς να βρεις πληροφορίες εδώ. Βοήθεια για τους καινούργιους μέσω χάρτη.

Κατεβάστε εδώ το Android Application για εύκολη πρόσβαση στο forum.

Ανεβάζετε τα θέματα των εξετάσεων στον τομέα Downloads με προσοχή στα ονόματα των αρχείων!

[Πληροφορίες Καθηγητών]

Πληροφορίες Καθηγητών

[Nessa NetMonster]

Αυτό δεν είναι παράδοξο, ο Επιμενίδης έλεγε ψέματα.

[!!DUO!!(Αγγίζοντας την τελειότητα..)]

Είναι ατέρμων βρόχος

Αφού λέει ψέματα τον ξαναρωτάνε και λέει πάλι ψέματα και τον ξαναρωτούν και ξαναλέει ψέματα κοκ...

[BOBoMASTORAS]

Αυτό δεν είναι παράδοξο, ο Επιμενίδης έλεγε ψέματα.

έτσι όπως είναι διατυπωμένο είναι διότι αν θεωρήσουμε ότι η πρόταση είναι σωστή τότε η πρόταση πρέπει να είναι λάθος

Επίσης αν θεωρήσουμε ότι είναι λάθος τότε ισχύει η άρνηση της που είναι: οι οι κρητικοί δεν είναι ψεύτες οπότε η πρόταση πρέπει να είναι σωστή.

[Nessa NetMonster]

Επίσης αν θεωρήσουμε ότι είναι λάθος τότε ισχύει η άρνηση της που είναι: οι οι κρητικοί δεν είναι ψεύτες οπότε η πρόταση πρέπει να είναι σωστή.

Εδώ είναι το λάθος σου: Οι κρητικοί δεν είναι όλοι ψεύτες. Αυτό δε σημαίνει ότι δε μπορεί ένας κρητικός (ο Επιμενίδης) να είναι ψεύτης.

[Καλλισθένης]

Εδώ είναι το λάθος σου: Οι κρητικοί δεν είναι όλοι ψεύτες. Αυτό δε σημαίνει ότι δε μπορεί ένας κρητικός (ο Επιμενίδης) να είναι ψεύτης.

Πάντως Nessa έχεις πολύ περίεργο τρόπο σκέψης...   


Κ.Ι.Σ.

[meltemi]

Σωστά σκέφτηκε.

Όμως ο Επιμενείδης είπε πως όλοι οι κρητικοί είναι ψεύτες.

[NetBuster]

Επίσης αν θεωρήσουμε ότι είναι λάθος τότε ισχύει η άρνηση της που είναι: οι οι κρητικοί δεν είναι ψεύτες οπότε η πρόταση πρέπει να είναι σωστή.

Εδώ είναι το λάθος σου: Οι κρητικοί δεν είναι όλοι ψεύτες. Αυτό δε σημαίνει ότι δε μπορεί ένας κρητικός (ο Επιμενίδης) να είναι ψεύτης.

Καλα δε θα αρχισουν και καμια V for Vendetta αν απλα υποθεσεις πως η προταση του Επιμενιδη ισχυει ως εχει, δλδ για καθε Κρητικο.

[Nessa NetMonster]

Ρε παιδιά είναι απλό: Η άρνηση του "όλοι οι Κρητικοί είναι ψεύτες" είναι η "μερικοί Κρητικοί δεν είναι ψεύτες". Το "κανένας κρητικός δεν είναι ψεύτης" είναι η άρνηση του "μερικοί κρητικοί είναι ψεύτες".

Περάστε καμιά φορά από το μάθημα της συμβολικής λογικής

[Καλλισθένης]

...βλέπεις ως "στοχαστές" - τρομάρα μας - ηλεκτρολόγοι σκεφτόμαστε ως εξής:
   ___
  { S } = Ø


Άρα, ή όλοι, ή κανείς 

 


Κ.Ι.Σ.

[aliakmwn]

edit: Εκανα ενα λαθος στη μεταφραση......... Η προταση δεν ειναι "ολοι οι κρητικοι ειναι ψευτες" αλλα "οι κρητικοι λενε παντα ψεματα".
Δεν αλλαζει το νοημα της αναλυσης, διοτι και παλι, η αρνηση θα ειναι "οι κρητικοι δεν λενε παντα ψεματα".


Το ρητο του Επιμενιδη ειναι ενα παραδοξο, αλλα δεν ειναι ατερμων βροχος. (Δεν ταυτιζονται αυτα τα δυο)

Η Nessa εχει δικιο.

"Κρητες, αει ψευσται" ειπε ο Επιμενιδης.

Το αντιθετο του "ολοι" δεν ειναι το "κανενας", αλλα το "οχι ολοι". Απλη θεωρια συνολων, εφ' οσον το συνολο "ολοι" δεν περιλαμβανει μονο εναν.


Σκεφτειτε λιγο μαθηματικα:
Για να αποδειξεις πως ενα συνολο δεν φερει μια χαρακτηριστικη ιδιοτητα, αρκει να φερεις ενα και μοναδικο αντιπαραδειγμα.

"Ολοι οι πραγματικοι αριθμοι ειναι ταυτοχρονα και ρητοι".
Η παραπανω προταση ειναι λαθος.
Λαθος ομως, δεν σημαινει πως κανενας δεν ειναι ρητος. Σημαινει πως εστω και ενας, δεν ειναι ρητος.

Μη σκεφτεστε τοσο boolean

[meltemi]

Μη σκεφτεστε τοσο boolean

 


Mr Kεχαγιάς rules


 

[BOBoMASTORAS]

Ρε παιδιά είναι απλό: Η άρνηση του "όλοι οι Κρητικοί είναι ψεύτες" είναι η "μερικοί Κρητικοί δεν είναι ψεύτες". Το "κανένας κρητικός δεν είναι ψεύτης" είναι η άρνηση του "μερικοί κρητικοί είναι ψεύτες".

Περάστε καμιά φορά από το μάθημα της συμβολικής λογικής

Η άρνηση του μερικοί κρητικοί είναι ψέυτες τι βγάζει?

Πάντως όχι:
όλοι οι κρητικοί είναι ψεύτες
οπότε..... ως γνωστόν η άρνηση της αρνησης της πρότασης πρέπει να βγάζει την ίδια την πρόταση

[Καμένος]

Κατά τη γνώμη μου το αντίθετο του "όλοι οι Κρήτες είναι ψεύτες" είναι το "όλοι οι Κρήτες ΔΕΝ είναι ψεύτες" άρα μπορεί να είναι μερικοί.
Όπως το αντίθετο του όλα δεν είναι το τίποτα αλλά το κάτι..

[aliakmwn]

Η απαντηση σε ολους τους... αντιπροβληματισμους μας ( ) συνοψιζεται στο παραδοξο του Russell και στη λυση που εχει βρεθει γι' αυτο.

Το λαθος ολων μας ειναι οτι δεν το λαβαμε υπ' οψιν.


Ή, για να το διατυπωσουμε πιο σωστα: Ο Russell βρηκε ενα μαθηματικο μοντελο για την περιγραφη αυτων των παραδοξων. Η επιλυση του παραδοξου του Russell (η οποια αν θυμαμαι καλα εισηγαγε και την εννοια του "επιπεδου" στα συνολα) αποτελει θεμελιο για την αντιμετωπιση τετοιων λογικων παραδοξων.


Να θυμισω πως απο την αρχη αναφερομουν σε ατερμονες βροχους και οχι σε παραδοξα

[aliakmwn]

edit: Εκανα ενα λαθος στη μεταφραση......... Η προταση δεν ειναι "ολοι οι κρητικοι ειναι ψευτες" αλλα "οι κρητικοι λενε παντα ψεματα".
Δεν αλλαζει το νοημα της αναλυσης, διοτι και παλι, η αρνηση θα ειναι "οι κρητικοι δεν λενε παντα ψεματα".

Κατά τη γνώμη μου το αντίθετο του "όλοι οι Κρήτες είναι ψεύτες" είναι το "όλοι οι Κρήτες ΔΕΝ είναι ψεύτες" άρα μπορεί να είναι μερικοί.
Όπως το αντίθετο του όλα δεν είναι το τίποτα αλλά το κάτι..

Πολυ σωστα!

Η λογικη αρνηση σε μια προταση, επιδρα στο ρημα.
Αρνηση του "εγω ειμαι" ειναι το "εγω ΔΕΝ ειμαι", και οχι το "οχι εγω, ειναι*" = "καποιος αλλος ειναι"

(το ειναι*, ειναι το απαρεμφατο του "ειμαι")

Ολοι οι κρητικοι ειναι ψευτες.
Το ρημα "ειμαι" αποδιδει το χαρακτηρισμο του κατηγορουμενου "ψευτες" στο υποκειμενο-συνολο "ολοι οι κρητικοι".
Λογικη αρνηση σημαινει πως η προταση δεν ισχυει. Η αρνηση tο μονο που κανει ειναι να αναιρει την καταφαση.
Αρνηση: Ολοι οι κρητικοι δεν ειναι ψευτες.
Το ισοδυναμο αυτου ειναι το "υπαρχει ενας τουλαχιστον κρητικος, ο οποιος δεν ειναι ψευτης"

Κι αυτο γιατι, το υποκειμενο της προτασης ειναι το συνολο "ολοι οι κρητικοι", και οχι ενα μονο στοιχειο, π.χ. "ο ταδε κρητικος" - τοτε θα ειχαμε αναγκαστικα boolean λογικη.

Αυτο που μας μπερδευει ειναι το οτι........ οταν στο γυμνασιο οι φιλολογοι μάς μαθαιναν συντακτικο, εμεις λεγαμε "τι μαλακιες ειναι αυτες που καθεται τωρα και μας λεει"


Σας ξαναπαραπεμπω στο παραδειγμα:

"Ολοι οι πραγματικοι αριθμοι ειναι ταυτοχρονα και ρητοι".
Η παραπανω προταση ειναι λαθος.
Λαθος ομως, δεν σημαινει πως κανενας δεν ειναι ρητος. Σημαινει πως εστω και ενας, δεν ειναι ρητος.