Η πρόταση είναι: κάθε χ είναι πράσινο, όπου χ ανήκει στο σύνολο με τα καπέλα μου. Η άρνησή της είναι: υπάρχει τουλάχιστον ένα χ που ανήκει στο σύνολο με τα καπέλα μου που δεν είναι πράσινο. Αν το σύνολο με τα καπέλα είναι κενό, η άρνηση είναι ψευδής πάντα, άρα η πρόταση είναι αληθής. Άρα ισχύει το Α.wooded glade έγραψε: ↑30 Ιουν 2022, 00:00Το πρόβλημα είναι το εξής:
Δεχόμαστε ότι οι δύο παρακάτω προτάσεις είναι αληθείς:
1) Ο Πινόκιο λέει πάντα ψέμματα.
2) Ο Πινόκιο λέει ότι "όλα τα καπέλα μου είναι πράσινα".
Από τις δύο αυτές προτάσεις μπορούμε να συμπεράνουμε ότι:
Α) Ο Πινόκιο έχει τουλάχιστον ένα καπέλο ;
Β) Ο Πινόκιο έχει μόνο ένα πράσινο καπέλο ;
Γ) Ο Πινόκιο δεν έχει κανένα καπέλο ;
Δ) Ο Πινόκιο έχει τουλάχιστον ένα πράσινο καπέλο ;
Ε) Ο Πινόκιο δεν έχει πράσινα καπέλα ;
Viral πρόβλημα λογικής
- Καραμελίτσα
- Δημοσιεύσεις: 8906
- Εγγραφή: 17 Σεπ 2020, 17:35
Re: Viral πρόβλημα λογικής
Z
- NoMoreLice
- Δημοσιεύσεις: 926
- Εγγραφή: 02 Απρ 2018, 02:14
Re: Viral πρόβλημα λογικής
Όχι, όχι, όχι, όχι και όχι.
Να δώσει η Μεγαλόχαρη κι η Παναγιά η Κανάλα
να μεγαλώσω γρήγορα σαν τα κορίτσια τ' άλλα
να μεγαλώσω γρήγορα σαν τα κορίτσια τ' άλλα
- NoMoreLice
- Δημοσιεύσεις: 926
- Εγγραφή: 02 Απρ 2018, 02:14
Re: Viral πρόβλημα λογικής
Η άρνηση δεν είναι αυτό που λες, η άρνηση της πρότασης που λες είναι «υπάρχει χ έτσι ώστε είτε το χ δεν ανήκει στο σύνολο με τα καπέλα μου, είτε το χ είναι πράσινο»Καραμελίτσα έγραψε: ↑30 Ιουν 2022, 10:18
Η πρόταση είναι: κάθε χ είναι πράσινο, όπου χ ανήκει στο σύνολο με τα καπέλα μου. Η άρνησή της είναι: υπάρχει τουλάχιστον ένα χ που ανήκει στο σύνολο με τα καπέλα μου που δεν είναι πράσινο. Αν το σύνολο με τα καπέλα είναι κενό, η άρνηση είναι ψευδής πάντα, άρα η πρόταση είναι αληθής. Άρα ισχύει το Α.
Να δώσει η Μεγαλόχαρη κι η Παναγιά η Κανάλα
να μεγαλώσω γρήγορα σαν τα κορίτσια τ' άλλα
να μεγαλώσω γρήγορα σαν τα κορίτσια τ' άλλα
- wooded glade
- Δημοσιεύσεις: 29284
- Εγγραφή: 02 Απρ 2018, 17:04
Re: Viral πρόβλημα λογικής
Το Β δεν τεκμαίρεται. Διότι αν έχει τρία καπέλα και τα δύο είναι πράσινα, μας είπε μεν ψέμματα αλλά δεν πάει να πει ότι έχει μόνο ένα πράσινο.
Το Δ δεν τεκμαίρεται. Διότι μπορεί να έχει τρία μπλε και κανένα πράσινο.
Το Ε δεν τεκμαίρεται. Ένα πράσινο και ένα μπλε π.χ. ταιριάζει με την εγνωσμένου ψεύδους δήλωση (2).
Το Γ δεν τεκμαίρεται, λόγω του κενού συνόλου. Τα μηδέν είναι αριθμός και τα μηδέν καπέλα πιάνεται και για μηδέν πράσινα και κάνει τη δήλωση (2) αληθή.
Το Α τεκμαίρεται. Έχει τουλάχιστον ένα καπέλο αλλά δεν είναι πράσινο και αν έχει περισσότερα δεν είναι όλα πράσινα.
Το Δ δεν τεκμαίρεται. Διότι μπορεί να έχει τρία μπλε και κανένα πράσινο.
Το Ε δεν τεκμαίρεται. Ένα πράσινο και ένα μπλε π.χ. ταιριάζει με την εγνωσμένου ψεύδους δήλωση (2).
Το Γ δεν τεκμαίρεται, λόγω του κενού συνόλου. Τα μηδέν είναι αριθμός και τα μηδέν καπέλα πιάνεται και για μηδέν πράσινα και κάνει τη δήλωση (2) αληθή.
Το Α τεκμαίρεται. Έχει τουλάχιστον ένα καπέλο αλλά δεν είναι πράσινο και αν έχει περισσότερα δεν είναι όλα πράσινα.
δεν είναι όλα κρού-σμα-τα
Re: Viral πρόβλημα λογικής
Από που τεκμαίρεται αυτό;wooded glade έγραψε: ↑30 Ιουν 2022, 16:21Το Β δεν τεκμαίρεται. Διότι αν έχει τρία καπέλα και τα δύο είναι πράσινα, μας είπε μεν ψέμματα αλλά δεν πάει να πει ότι έχει μόνο ένα πράσινο.
Το Δ δεν τεκμαίρεται. Διότι μπορεί να έχει τρία μπλε και κανένα πράσινο.
Το Ε δεν τεκμαίρεται. Ένα πράσινο και ένα μπλε π.χ. ταιριάζει με την εγνωσμένου ψεύδους δήλωση (2).
Το Γ δεν τεκμαίρεται, λόγω του κενού συνόλου. Τα μηδέν είναι αριθμός και τα μηδέν καπέλα πιάνεται και για μηδέν πράσινα και κάνει τη δήλωση (2) αληθή.
Το Α τεκμαίρεται. Έχει τουλάχιστον ένα καπέλο αλλά δεν είναι πράσινο και αν έχει περισσότερα δεν είναι όλα πράσινα.
Το γαρ πολύ της κατανόησης γεννά αδιαφορία.
- NoMoreLice
- Δημοσιεύσεις: 926
- Εγγραφή: 02 Απρ 2018, 02:14
Re: Viral πρόβλημα λογικής
Πού τη βρήκες αυτή την απάντηση; Στον καζαμία; Όπως σου είπαν οι hellegennes και ταλαίπωρας μπορεί κάλλιστα να μην έχει κανένα καπέλο, άρα ούτε το Α τεκμαίρεται.wooded glade έγραψε: ↑30 Ιουν 2022, 16:21Το Β δεν τεκμαίρεται. Διότι αν έχει τρία καπέλα και τα δύο είναι πράσινα, μας είπε μεν ψέμματα αλλά δεν πάει να πει ότι έχει μόνο ένα πράσινο.
Το Δ δεν τεκμαίρεται. Διότι μπορεί να έχει τρία μπλε και κανένα πράσινο.
Το Ε δεν τεκμαίρεται. Ένα πράσινο και ένα μπλε π.χ. ταιριάζει με την εγνωσμένου ψεύδους δήλωση (2).
Το Γ δεν τεκμαίρεται, λόγω του κενού συνόλου. Τα μηδέν είναι αριθμός και τα μηδέν καπέλα πιάνεται και για μηδέν πράσινα και κάνει τη δήλωση (2) αληθή.
Το Α τεκμαίρεται. Έχει τουλάχιστον ένα καπέλο αλλά δεν είναι πράσινο και αν έχει περισσότερα δεν είναι όλα πράσινα.
Να δώσει η Μεγαλόχαρη κι η Παναγιά η Κανάλα
να μεγαλώσω γρήγορα σαν τα κορίτσια τ' άλλα
να μεγαλώσω γρήγορα σαν τα κορίτσια τ' άλλα
- hellegennes
- Δημοσιεύσεις: 40705
- Εγγραφή: 01 Απρ 2018, 00:17
Re: Viral πρόβλημα λογικής
Από πουθενά. Είναι επιλεκτική ανάγνωση του τι είναι ψέμα και τι αλήθεια.ΓΑΛΗ έγραψε: ↑30 Ιουν 2022, 16:24Από που τεκμαίρεται αυτό;wooded glade έγραψε: ↑30 Ιουν 2022, 16:21Το Β δεν τεκμαίρεται. Διότι αν έχει τρία καπέλα και τα δύο είναι πράσινα, μας είπε μεν ψέμματα αλλά δεν πάει να πει ότι έχει μόνο ένα πράσινο.
Το Δ δεν τεκμαίρεται. Διότι μπορεί να έχει τρία μπλε και κανένα πράσινο.
Το Ε δεν τεκμαίρεται. Ένα πράσινο και ένα μπλε π.χ. ταιριάζει με την εγνωσμένου ψεύδους δήλωση (2).
Το Γ δεν τεκμαίρεται, λόγω του κενού συνόλου. Τα μηδέν είναι αριθμός και τα μηδέν καπέλα πιάνεται και για μηδέν πράσινα και κάνει τη δήλωση (2) αληθή.
Το Α τεκμαίρεται. Έχει τουλάχιστον ένα καπέλο αλλά δεν είναι πράσινο και αν έχει περισσότερα δεν είναι όλα πράσινα.
Ξημέρωσε.
Α, τι ωραία που είναι!
Ήρθε η ώρα να κοιμηθώ.
Κι αν είμαι τυχερός,
θα με ξυπνήσουν μια Δευτέρα παρουσία κατά την θρησκεία.
Μα δεν ξέρω αν και τότε να σηκωθώ θελήσω.
Α, τι ωραία που είναι!
Ήρθε η ώρα να κοιμηθώ.
Κι αν είμαι τυχερός,
θα με ξυπνήσουν μια Δευτέρα παρουσία κατά την θρησκεία.
Μα δεν ξέρω αν και τότε να σηκωθώ θελήσω.
Re: Viral πρόβλημα λογικής
Εγώ πάντως θα επιμείνω ότι αν ισχύουν το 1 και το 2, οι υποθέσεις που μπορούν να προκύψουν τείνουν στο άπειρο.
Το γαρ πολύ της κατανόησης γεννά αδιαφορία.
- wooded glade
- Δημοσιεύσεις: 29284
- Εγγραφή: 02 Απρ 2018, 17:04
Re: Viral πρόβλημα λογικής
Το μηδέν αποκλείεται λαίμαι.
Έτσι λένε οι λοιμωξιολόγοι.
Έτσι λένε οι λοιμωξιολόγοι.
δεν είναι όλα κρού-σμα-τα
- NoMoreLice
- Δημοσιεύσεις: 926
- Εγγραφή: 02 Απρ 2018, 02:14
Re: Viral πρόβλημα λογικής
Δες το ως εξής, έχεις ένα σύνολο Α και λες, π.χ. όλα τα στοιχεία του Α έχουν μια ιδιότητα β. Πως το ελέγχεις αυτό; Παίρνεις ένα-ένα τα στοιχεία, και για κάθε στοιχείο ελέγχεις αν έχει την ιδιότητα β. Παίρνεις ας πούμε έναν iterator των στοιχείων του συνόλου και μπαίνεις σε ένα for. Αν για κάποιο στοιχείο βρεις ότι δεν έχει την ιδιότητα β, τότε γυρνάς false, αλλιώς γυρνάς true. Όταν το σύνολο είναι κενό, τότε δεν έχεις να ελέγξεις τίποτα, άρα γυρνάς απευθείας true. Δηλαδή για ένα κενό σύνολο μπορείς να πεις ότι όλα τα στοιχεία του έχουν οποιαδήποτε ιδιότητα θες, και αυτό είναι σωστό.
Να δώσει η Μεγαλόχαρη κι η Παναγιά η Κανάλα
να μεγαλώσω γρήγορα σαν τα κορίτσια τ' άλλα
να μεγαλώσω γρήγορα σαν τα κορίτσια τ' άλλα
- Καραμελίτσα
- Δημοσιεύσεις: 8906
- Εγγραφή: 17 Σεπ 2020, 17:35
Re: Viral πρόβλημα λογικής
Στη στάνταρ λογική η άρνηση του "για κάθε χεΑ, p(χ)", είναι "υπάρχει χεΑ, όχι p(x) ".NoMoreLice έγραψε: ↑30 Ιουν 2022, 16:17Η άρνηση δεν είναι αυτό που λες, η άρνηση της πρότασης που λες είναι «υπάρχει χ έτσι ώστε είτε το χ δεν ανήκει στο σύνολο με τα καπέλα μου, είτε το χ είναι πράσινο»Καραμελίτσα έγραψε: ↑30 Ιουν 2022, 10:18
Η πρόταση είναι: κάθε χ είναι πράσινο, όπου χ ανήκει στο σύνολο με τα καπέλα μου. Η άρνησή της είναι: υπάρχει τουλάχιστον ένα χ που ανήκει στο σύνολο με τα καπέλα μου που δεν είναι πράσινο. Αν το σύνολο με τα καπέλα είναι κενό, η άρνηση είναι ψευδής πάντα, άρα η πρόταση είναι αληθής. Άρα ισχύει το Α.
Z
- hellegennes
- Δημοσιεύσεις: 40705
- Εγγραφή: 01 Απρ 2018, 00:17
Re: Viral πρόβλημα λογικής
Η φορμαλιστική λογική είναι αυτή που έβαλε ο talaipwros. Αν έχει καπέλα, τουλάχιστον ένα δεν είναι πράσινο. Που σημαίνει τις εξής εκδοχές:
1. Δεν έχει κανένα καπέλο
2. Έχει ένα καπέλο που δεν είναι πράσινο
3. Έχει Χ καπέλα, όπου τα πράσινα καπέλα είναι οποιοσδήποτε αριθμός Α, όπου 0≤Α<Χ
Ξημέρωσε.
Α, τι ωραία που είναι!
Ήρθε η ώρα να κοιμηθώ.
Κι αν είμαι τυχερός,
θα με ξυπνήσουν μια Δευτέρα παρουσία κατά την θρησκεία.
Μα δεν ξέρω αν και τότε να σηκωθώ θελήσω.
Α, τι ωραία που είναι!
Ήρθε η ώρα να κοιμηθώ.
Κι αν είμαι τυχερός,
θα με ξυπνήσουν μια Δευτέρα παρουσία κατά την θρησκεία.
Μα δεν ξέρω αν και τότε να σηκωθώ θελήσω.
- wooded glade
- Δημοσιεύσεις: 29284
- Εγγραφή: 02 Απρ 2018, 17:04
Re: Viral πρόβλημα λογικής
Ναι, και γι αυτό αποκλείεται το μηδέν καπέλα.NoMoreLice έγραψε: ↑30 Ιουν 2022, 16:32Δες το ως εξής, έχεις ένα σύνολο Α και λες, π.χ. όλα τα στοιχεία του Α έχουν μια ιδιότητα β. Πως το ελέγχεις αυτό; Παίρνεις ένα-ένα τα στοιχεία, και για κάθε στοιχείο ελέγχεις αν έχει την ιδιότητα β. Παίρνεις ας πούμε έναν iterator των στοιχείων του συνόλου και μπαίνεις σε ένα for. Αν για κάποιο στοιχείο βρεις ότι δεν έχει την ιδιότητα β, τότε γυρνάς false, αλλιώς γυρνάς true. Όταν το σύνολο είναι κενό, τότε δεν έχεις να ελέγξεις τίποτα, άρα γυρνάς απευθείας true. Δηλαδή για ένα κενό σύνολο μπορείς να πεις ότι όλα τα στοιχεία του έχουν οποιαδήποτε ιδιότητα θες, και αυτό είναι σωστό.
Εσύ δέστο αλλοιώς:
Ο Πινόκιο δεν έχει καπέλα. Υποχρεούται όμως να μας πει ένα ψέμμα για πράσινα καπέλα. Τι θα πει ; Αυτό που είπε δεν θεωρείται ψέμμα στην περίπτωση του μηδέν και άρα δεν έκανε καλά τη δήλωση (2). Αλλά στο πρόβλημα υποτίθεται την έκανε καλά.
δεν είναι όλα κρού-σμα-τα
- hellegennes
- Δημοσιεύσεις: 40705
- Εγγραφή: 01 Απρ 2018, 00:17
Re: Viral πρόβλημα λογικής
Η φράση "όλα τα καπέλα μου είναι πράσινα" υποδηλώνει δύο πράγματα, όχι ένα. Η αυτόματη δήλωση είναι ότι έχεις καπέλα και για την ακρίβεια πάνω από 1, γιατί είναι πληθυντικός. Οποιαδήποτε από τις τρεις συνθήκες κάνει την πρόταση ψευδή: έχεις 0 καπέλα, έχεις 1 καπέλο, έχεις 2 ή περισσότερα καπέλα, εκ των οποίων τουλάχιστον ένα δεν είναι πράσινο.NoMoreLice έγραψε: ↑30 Ιουν 2022, 16:32Δες το ως εξής, έχεις ένα σύνολο Α και λες, π.χ. όλα τα στοιχεία του Α έχουν μια ιδιότητα β. Πως το ελέγχεις αυτό; Παίρνεις ένα-ένα τα στοιχεία, και για κάθε στοιχείο ελέγχεις αν έχει την ιδιότητα β. Παίρνεις ας πούμε έναν iterator των στοιχείων του συνόλου και μπαίνεις σε ένα for. Αν για κάποιο στοιχείο βρεις ότι δεν έχει την ιδιότητα β, τότε γυρνάς false, αλλιώς γυρνάς true. Όταν το σύνολο είναι κενό, τότε δεν έχεις να ελέγξεις τίποτα, άρα γυρνάς απευθείας true. Δηλαδή για ένα κενό σύνολο μπορείς να πεις ότι όλα τα στοιχεία του έχουν οποιαδήποτε ιδιότητα θες, και αυτό είναι σωστό.
Ξημέρωσε.
Α, τι ωραία που είναι!
Ήρθε η ώρα να κοιμηθώ.
Κι αν είμαι τυχερός,
θα με ξυπνήσουν μια Δευτέρα παρουσία κατά την θρησκεία.
Μα δεν ξέρω αν και τότε να σηκωθώ θελήσω.
Α, τι ωραία που είναι!
Ήρθε η ώρα να κοιμηθώ.
Κι αν είμαι τυχερός,
θα με ξυπνήσουν μια Δευτέρα παρουσία κατά την θρησκεία.
Μα δεν ξέρω αν και τότε να σηκωθώ θελήσω.
- NoMoreLice
- Δημοσιεύσεις: 926
- Εγγραφή: 02 Απρ 2018, 02:14
Re: Viral πρόβλημα λογικής
Αυτό που λες «για κάθε χεΑ, p(χ)», δεν είναι καν ορθό συντακτικά στην στάνταρ λογική. Δεν μπορείς να βάλεις ένα κατηγόρημα μέσα στον ποσοδείκτη. Tα εξής 2 είναι ορθά συντακτικά:Καραμελίτσα έγραψε: ↑30 Ιουν 2022, 16:33Στη στάνταρ λογική η άρνηση του "για κάθε χεΑ, p(χ)", είναι "υπάρχει χεΑ, όχι p(x) ".NoMoreLice έγραψε: ↑30 Ιουν 2022, 16:17Η άρνηση δεν είναι αυτό που λες, η άρνηση της πρότασης που λες είναι «υπάρχει χ έτσι ώστε είτε το χ δεν ανήκει στο σύνολο με τα καπέλα μου, είτε το χ είναι πράσινο»Καραμελίτσα έγραψε: ↑30 Ιουν 2022, 10:18
Η πρόταση είναι: κάθε χ είναι πράσινο, όπου χ ανήκει στο σύνολο με τα καπέλα μου. Η άρνησή της είναι: υπάρχει τουλάχιστον ένα χ που ανήκει στο σύνολο με τα καπέλα μου που δεν είναι πράσινο. Αν το σύνολο με τα καπέλα είναι κενό, η άρνηση είναι ψευδής πάντα, άρα η πρόταση είναι αληθής. Άρα ισχύει το Α.
για κάθε χ ( p(x) )
για κάθε χ ( χ ε Α -> p(x) )
Αυτο μεσα στην παρένθεση στη δεύετερη πρόταση διαβάζεται «αν χ ανηκει στο Α, τότε p(x). Δηλαδή, αν το χ είναι καπέλο μου, τότε το χ είναι πράσινο.
Προφανώς εδώ εννοούμε το 2ο, και η άρνηση του 2ου είναι:
υπάρχει χ ( (χ /νοτ ε Α) ή ( p(x) )
Να δώσει η Μεγαλόχαρη κι η Παναγιά η Κανάλα
να μεγαλώσω γρήγορα σαν τα κορίτσια τ' άλλα
να μεγαλώσω γρήγορα σαν τα κορίτσια τ' άλλα
-
- Παραπλήσια Θέματα
- Απαντήσεις
- Προβολές
- Τελευταία δημοσίευση
-
- 4 Απαντήσεις
- 426 Προβολές
-
Τελευταία δημοσίευση από nick
11 Φεβ 2023, 19:19
-
- 118 Απαντήσεις
- 2773 Προβολές
-
Τελευταία δημοσίευση από taxalata xalasa
13 Μαρ 2023, 07:49
-
-
Νέα δημοσίευση Προβλημα με ενα Δοντι
από killzone » 30 Μάιος 2022, 01:14 » σε Ιατρική και θέματα Υγείας - 74 Απαντήσεις
- 3378 Προβολές
-
Τελευταία δημοσίευση από Airman68
16 Σεπ 2022, 11:47
-
-
- 2 Απαντήσεις
- 381 Προβολές
-
Τελευταία δημοσίευση από sys3x
30 Μάιος 2022, 14:40