Forskellen mellem Entailment og materiel implikation
Når det bruges som substantiver , entailment betyder handling, der medfører, tilstanden af at blive involveret, eller noget der er forbundet med, hvorimod materiel implikation betyder en implikation som defineret i klassisk propositionslogik, der fører til sandheden af som q vdash p til q, der skal læses som 'ethvert forslag overhovedet er en tilstrækkelig betingelse for en sand proposition'.
tjek under for de andre definitioner af Entailment og Materiel implikation
-
Entailment have en navneord :
Handlingen med at inddrage, tilstanden med at være involveret eller noget der er forbundet med det.
Eksempler:
'Entailment betyder ikke årsagssammenhæng: hvis et sæt forudsætninger medfører en konklusion, betyder det ikke (nødvendigvis), at de får denne konklusion til at være sand.'
'Et argument hænger på [[entailment]], mens en hvis-så-sætning hænger på implikationen.'
-
Materiel implikation have en navneord (logik):
En implikation som defineret i klassisk propositionslogik, der fører til sandheden af som Q vdash P til Q, skal læses som 'ethvert forslag overhovedet er en tilstrækkelig betingelse for en sand proposition'.
Eksempler:
'I sandhedstabellen i figur 1 svarer den første række til modus ponens, den sidste række svarer til modus tollens, den anden række kan tages for at repræsentere et ugyldigt argument (hvor P → Q er argumentet og P er en forudsætning eller sammenhæng med lokaler), og den tredje række hjælper med at sikre, at et argument med formularen P rightarrow Q, neg P vdash neg Q er ugyldig. '
'' 'Følgende paradoks (og også aksiom) af materiel implikation: P rightarrow (Q rightarrow P) kunne anses for at betyde monotoniciteten af entailment, det vil sige, hvis' P 'er sand, så er der ingen anden eller ny kendsgerning' Q 'skulle kunne opstå, hvilket ville antyde, at P's sandhed blev ophævet, dvs. det kunne ikke være tilfældet for ethvert' Q ', at Q → & ikke; P.'
Sammenlign ord:
Find forskellenSammenlign med synonymer og relaterede ord:
- entailment vs materiel implikation
- materiel betinget vs materiel implikation
- materiel implikation vs streng implikation
- logisk bindende vs materiel implikation
- entailment vs materiel implikation