Αναιρέσιμη λογική: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Vanakaris (συζήτηση | συνεισφορές)
Χωρίς σύνοψη επεξεργασίας
Γραμμή 7:
:''Όλα τα Α έχουν (κατά κανόνα ή συνήθως) την ιδιότητα Β''.
 
Τότε, οποιαδήποτε νέα προκείμενη της μορφής:
 
:''Το Χ είναι Α''.
 
οδηγεί στο ''υπό αίρεσηαναίρεση'' συμπέρασμα ότι:
 
:''Το Χ έχει την ιδιότητα Β''.
 
Βλέπουμε δηλαδή ότι ο υπό αναίρεση συλλογισμός είναι ίδιος ακριβώς στη μορφή με τον απαγωγικό συλλογισμό (από το γενικό στο ειδικό) με τη διαφορά ότι μία από τις προκείμενες δεν είναι αληθής ''πάντα'', αλλά είναι μόνο αληθής κατά κανόνα ή ''σχεδόν'' πάντα.
 
==Παράδειγμα==
Γραμμή 22 ⟶ 24 :
προκείμενη 2: ''Ο Γιώργος πρότεινε τιμή €100 για ένα ποδήλατο, η Μαρία αποφάσισε να το αγοράσει και η Μαρία επικοινώνησε αυτή την απόφαση της στον Γιώργο δίνοντας του τα χρήματα και παίρνοντας το ποδήλατο'',
 
μπορούμε να οδηγηθούμε στο ''υπό αίρεση'',αναίρεση
 
συμπέρασμα: ''Η συναλλαγή μεταξύ του Γιώργου και της Μαρίας είναι έγκυρη.''