Logo el.boatexistence.com

Ποιος κανόνας συμπεραίνει το p q από το p;

Πίνακας περιεχομένων:

Ποιος κανόνας συμπεραίνει το p q από το p;
Ποιος κανόνας συμπεραίνει το p q από το p;

Βίντεο: Ποιος κανόνας συμπεραίνει το p q από το p;

Βίντεο: Ποιος κανόνας συμπεραίνει το p q από το p;
Βίντεο: Подбираем стрижки и окрашивание волос по форме лица и цвету кожи | Ошибки и удачные варианты 2024, Ενδέχεται
Anonim

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.

Συνιστάται: