9.3 Η μέθοδος της έκπτωσης Για παράδειγμα, ο κανόνας του Modus Ponens Modus Ponens Στην προτασιακή λογική, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), επίσης γνωστό ως modus ponendo για "ponens (Λατινικά μέθοδος τοποθέτησης με τοποθέτηση") ή εξάλειψη υπονοήματος ή επιβεβαίωση του προηγουμένου, είναι μια επαγωγική μορφή επιχειρημάτων και κανόνας συμπερασμάτων https://en.wikipedia.org › wiki › Modus_ponens
Modus ponens - Wikipedia
Τομας λέει ότι εάν η πρόταση "P. Q" είναι αληθής και η πρόταση "P" είναι αληθής, τότε το "Q" πρέπει να είναι αληθές. Αυτός ο κανόνας συμπερασμάτων μπορεί να εκφραστεί ως ο ακόλουθος ταυτολογικός ισχυρισμός της υλικής υπονοούμενης: «((P. Q)•P). Ε."
Τι είναι αυτός ο κανόνας συμπερασμάτων p και q συνεπάγεται p;
Λατινικά για "μέθοδος άρνησης." Ένας κανόνας συμπερασμάτων που προκύπτει από τον συνδυασμό του modus ponens και του αντιθετικού. Αν το q είναι ψευδές και εάν το p υποδηλώνει q (p q), τότε το p είναι επίσης ψευδές. Λάθος στο συλλογισμό. Δεδομένης μιας πρότασης p, εάν το ~p οδηγεί λογικά σε μια αντίφαση, τότε το p πρέπει να είναι αληθές.
Ποιοι είναι οι 9 κανόνες συμπερασμάτων;
Όροι σε αυτό το σύνολο (9)
- Modus Ponens (M. P.) -Εάν P τότε Q. -P. …
- Modus Tollens (M. T.) -Εάν P τότε Q. …
- Υποθετικός συλλογισμός (H. S.) -Εάν P τότε Q. …
- Disjunctive Syllogism (D. S.) -P ή Q. …
- Σύνδεσμος (Συν.) -Σ. …
- Εποικοδομητικό δίλημμα (C. D.) -(Αν P τότε Q) και (Αν R τότε S) …
- Απλοποίηση (Simp.) -P και Q. …
- Απορρόφηση (Απ.) -Εάν P τότε Q.
Πώς διαβάζετε το PQ;
Η επίπτωση p → q (διαβάστε: το p υποδηλώνει q, ή εάν το p τότε q) είναι η πρόταση που βεβαιώνει ότι εάν το p είναι αληθές, τότε το q είναι επίσης αληθές. Συμφωνούμε ότι το p → q είναι αληθές όταν το p είναι λάθος Η πρόταση p ονομάζεται υπόθεση της υπονοούμενης και η πρόταση q ονομάζεται συμπέρασμα της υπονοήσεως.
Γιατί τα P και Q χρησιμοποιούνται στη λογική;
Οι προτάσεις είναι ίσες ή λογικά ισοδύναμες αν έχουν πάντα την ίδια τιμή αλήθειας. Δηλαδή, το p και το q είναι λογικά ισοδύναμα αν το p είναι αληθές όποτε το q είναι αληθές, και το αντίστροφο, και αν το p είναι ψευδές όποτε το q είναι λάθος, και το αντίστροφο. Αν τα p και q είναι λογικά ισοδύναμα, γράφουμε p=q.
