Για μια υπό όρους δήλωση (αν-τότε), ένα αντιπαράδειγμα πρέπει να είναι μια περίπτωση που ικανοποιεί την υπόθεση, αλλά όχι το συμπέρασμα.
Τι είναι το αντιπαράδειγμα μιας υπό όρους προϋπόθεση;
Αντιπαράδειγμα: ένα παράδειγμα που έρχεται σε αντίθεση με κάποια δήλωση ή επιχείρημα (π.χ. … Μη έγκυρο: ένα όρισμα που δεν είναι έγκυρο. Μπορούμε να ελέγξουμε για ακυρότητα υποθέτοντας ότι όλες οι προϋποθέσεις είναι αληθές και διαπιστώνοντας εάν εξακολουθεί να είναι δυνατό το συμπέρασμα να είναι ψευδές. Εάν αυτό είναι δυνατό, το όρισμα δεν είναι έγκυρο.
Μπορούν οι δηλώσεις υπό όρους να είναι ψευδείς;
Μια συνθήκη θεωρείται ψευδής όταν το προηγούμενο είναι αληθές και το επακόλουθο είναι ψευδές. Παρακάτω, οι τιμές αλήθειας του υπό όρους για όλες τις πιθανότητες του προηγούμενου και κατά συνέπεια είναι αληθές ή ψευδές αντιπροσωπεύονται σε έναν πίνακα αλήθειας.
Τι είναι ένα παράδειγμα αντιπαραδείγματος;
Ένα παράδειγμα που καταρρίπτει μια δήλωση (δείχνει ότι είναι ψευδής). Παράδειγμα: η δήλωση "όλα τα σκυλιά είναι τριχωτά" μπορεί να αποδειχθεί λανθασμένη βρίσκοντας μόνο έναν άτριχο σκύλο (το αντιπαράδειγμα) όπως παρακάτω.
Πόσα αντιπαραδείγματα χρειάζονται για να φανεί ότι μια πρόταση υπό όρους είναι ψευδής;
Χρειάζεται μόνο ένα αντιπαράδειγμα για να δείξει ότι η δήλωσή σας είναι ψευδής.
