Παραγωγικός συλλογισμός: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας
μΧωρίς σύνοψη επεξεργασίας
Γραμμή 1:
{{πηγές|16|06|2012}}
 
'''Παραγωγικός συλλογισμός''' (ή '''παραγωγική λογική''') ονομάζεται η [[συλλογισμός|συλλογιστική]] διαδικασία κατά την οποία ένα λογικά ασφαλές συμπέρασμα προκύπτει από μια ή περισσότερες προτάσεις ('''προκείμενες'''). Κατά συνέπεια, το συμπέρασμα αποτελεί υποπερίπτωση ή εξειδίκευση μιας αρχικής θέσης που τίθεται ως γενικός κανόνας. Θεωρείται ο πιο σημαντικός και ασφαλής τρόπος επιχειρηματολογίας, καθώς είναι σχετικά εύκολο να ελεγχθεί η εγκυρότητα και η ορθότητά του. <blockquote>Γενική μορφή:</blockquote>Για κάθε Α ισχύει Β.
 
Γενική μορφή:
 
Για κάθε Α ισχύει Β.
 
Το Γ είναι Α.