Η διαφορά μεταξύ εμπλοκής και υλικών επιπλοκών
Όταν χρησιμοποιείται ως ουσιαστικά , επιμέλεια σημαίνει την πράξη της δελεαστικής, της κατάστασης της δέσμευσης, ή κάτι που συνεπάγεται, ενώ υλική επίπτωση σημαίνει μια επίπτωση όπως ορίζεται στην κλασική προτατική λογική, που οδηγεί στην αλήθεια, όπως το q vdash p to q, να διαβαστεί ως «κάθε πρόταση που είναι επαρκής προϋπόθεση για μια πραγματική πρόταση».
ελέγξτε παρακάτω για τους άλλους ορισμούς του Δικαίωμα και Υλική επίπτωση
-
Δικαίωμα έχω ένα ουσιαστικό :
Η πράξη της δελεαστικής, της κατάστασης που συνεπάγεται, ή κάτι που συνεπάγεται.
Παραδείγματα:
«Η εμπλοκή δεν συνεπάγεται αιτιώδη συνάφεια: εάν ένα σύνολο προϋποθέσεων συνεπάγεται συμπέρασμα, αυτό δεν σημαίνει (απαραίτητα) ότι προκαλούν αυτό το συμπέρασμα αληθινό.»
«Ένα επιχείρημα εξαρτάται από [[επιμέλεια]], ενώ μια πρόταση if-then εξαρτάται από την επίπτωση.»
-
Υλική επίπτωση έχω ένα ουσιαστικό (λογική):
Μια επίπτωση όπως ορίζεται στην κλασική προτατική λογική, που οδηγεί στην αλήθεια όπως το Q vdash P έως Q, για να διαβαστεί ως «οποιαδήποτε πρόταση απολύτως επαρκής προϋπόθεση για μια πραγματική πρόταση».
Παραδείγματα:
«Στον πίνακα αλήθειας στο Σχήμα 1, η πρώτη σειρά αντιστοιχεί σε modus ponens, η τελευταία σειρά αντιστοιχεί σε modus tollens, η δεύτερη σειρά θα μπορούσε να θεωρηθεί ότι αντιπροσωπεύει ένα μη έγκυρο επιχείρημα (όπου το P → Q είναι το επιχείρημα και το P είναι μια υπόθεση ή συνδυασμός χώρων) και η τρίτη σειρά διασφαλίζει ότι ένα επιχείρημα της φόρμας P rightarrow Q, neg P vdash neg Q δεν είναι έγκυρο. '
Το ακόλουθο παράδοξο (και επίσης αξίωμα) της υλικής εμπλοκής: P rightarrow (Q rightarrow P) θα μπορούσε να θεωρηθεί ως η μονοτονικότητα της δέσμευσης, δηλαδή, αν το 'P' είναι αληθές, τότε κανένα άλλο ή νέο γεγονός ' Το Q 'πρέπει να μπορεί να προκύψει που θα σήμαινε την ακύρωση της αλήθειας του P, δηλαδή, δεν θα μπορούσε να ισχύει, για οποιοδήποτε «Q», ότι το Q → & όχι; P.
Σύγκριση λέξεων:
Βρές την διαφοράΣυγκρίνετε με συνώνυμα και σχετικές λέξεις:
- εμπλοκή έναντι υλικών επιπτώσεων
- υλικό υπό όρους έναντι υλικών επιπτώσεις
- υλική επίπτωση έναντι αυστηρής επίπτωσης
- λογική συνδεσιμότητα έναντι υλικού
- εμπλοκή έναντι υλικών επιπτώσεων