Η διαφορά μεταξύ εμπλοκής και υλικών επιπλοκών

Όταν χρησιμοποιείται ως ουσιαστικά , επιμέλεια σημαίνει την πράξη της δελεαστικής, της κατάστασης της δέσμευσης, ή κάτι που συνεπάγεται, ενώ υλική επίπτωση σημαίνει μια επίπτωση όπως ορίζεται στην κλασική προτατική λογική, που οδηγεί στην αλήθεια, όπως το q vdash p to q, να διαβαστεί ως «κάθε πρόταση που είναι επαρκής προϋπόθεση για μια πραγματική πρόταση».

ελέγξτε παρακάτω για τους άλλους ορισμούς του Δικαίωμα και Υλική επίπτωση

1. Δικαίωμα έχω ένα ουσιαστικό :

   ---

   
   
   

   ---

   
   
   
   

   Η πράξη της δελεαστικής, της κατάστασης που συνεπάγεται, ή κάτι που συνεπάγεται.

   Παραδείγματα:

   «Η εμπλοκή δεν συνεπάγεται αιτιώδη συνάφεια: εάν ένα σύνολο προϋποθέσεων συνεπάγεται συμπέρασμα, αυτό δεν σημαίνει (απαραίτητα) ότι προκαλούν αυτό το συμπέρασμα αληθινό.»

   
   
   

   «Ένα επιχείρημα εξαρτάται από [[επιμέλεια]], ενώ μια πρόταση if-then εξαρτάται από την επίπτωση.»

1. Υλική επίπτωση έχω ένα ουσιαστικό (λογική):

   Μια επίπτωση όπως ορίζεται στην κλασική προτατική λογική, που οδηγεί στην αλήθεια όπως το 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.

Σύγκριση λέξεων:

Συγκρίνετε με συνώνυμα και σχετικές λέξεις:

• εμπλοκή έναντι υλικών επιπτώσεων
• υλικό υπό όρους έναντι υλικών επιπτώσεις
• υλική επίπτωση έναντι αυστηρής επίπτωσης
• λογική συνδεσιμότητα έναντι υλικού
• εμπλοκή έναντι υλικών επιπτώσεων