Λειτουργία λήψης



Σκέφτομαι, άρα υπάρχω
Λογική και ρητορική
Εικονίδιο λογική.svg
Βασικά άρθρα
Γενική λογική
Κακή λογική

Λειτουργία λήψης («τρόπος λήψης») είναι ένα λογικός επιχείρημα ή κανόνας συμπερασμάτων. (Συγκρίνω με Βάζοντας το όριο , ή «τρόπος τοποθέτησης.») Είναι επίσης γνωστό ως έμμεση απόδειξη ή απόδειξη με αντίθεση, και είναι μια έγκυρη μορφή επιχειρημάτων στην επίσημη λογική.

Περιεχόμενα

Ως επιχείρημα

ΠΡΟΣ ΤΗΝΛειτουργία λήψηςΤο όρισμα έχει την ακόλουθη μορφή:


Ρ1: Αν Χ , έπειτα Υ . (δηλαδή. Είτε όχι Χ ή Υ )
Ρ2: Δεν Υ .
ΝΤΟ: Επομένως, όχι Χ .

Για παράδειγμα:


Ρ1: Εάν βρέχει, το έδαφος είναι υγρό. (δηλαδή, δεν βρέχει ή το έδαφος είναι βρεγμένο.)
Ρ2: Το έδαφος δεν είναι υγρό.
ΝΤΟ: Επομένως, δεν βρέχει.

Το αντίθετο του «if Χ έπειτα Υ «είναι» αν όχι Υ τότε όχι Χ '; αν μια πρόταση είναι αληθινή, τότε είναι και η αντίθετη.



Κατά κανόνα του συμπεράσματος

Στην προτεινόμενη λογική:


 αριστερά  {X  δεξί βέλος Y,  neg Y  δεξιά }  μοντέλα  neg X

Στη λογική πρώτης τάξης:


 models _ { mathfrak {A}}  forall x.  left (X (x)  rightarrow Y (x)  right)  wedge  models _ { mathfrak {A}}  υπάρχει x.  αριστερά ( neg Y (x)  δεξιά)  υπονοεί  μοντέλα _ { mathfrak {A}}  υπάρχει x.  αριστερά ( neg X (x)  δεξιά)

Άρνηση του προηγούμενου

Δείτε το κύριο άρθρο για αυτό το θέμα: Άρνηση του προηγούμενου

Μπορεί να αντιπαραβληθεί με την πλάνη της άρνησης του προηγούμενου, για παράδειγμα (χρησιμοποιώντας το παραπάνω παράδειγμα) «δεν βρέχει, επομένως το έδαφος δεν είναι υγρό» (προφανώς αναληθές αν στέκεστε σε μια λίμνη). Η άρνηση του προηγούμενου δηλώνει όχι-Χ παρά όχι-Υ.