Forskjellen mellom Entailment og materiell implikasjon
Når den brukes som substantiver , medfølelse betyr handling av medførende, tilstand av å bli medført, eller noe som medfører, mens materiell implikasjon betyr en implikasjon som definert i klassisk proposisjonslogikk, som fører til sannheten som q vdash p til q, som skal leses som 'ethvert forslag overhodet er en tilstrekkelig forutsetning for en sann proposisjon'.
sjekk nedenfor for de andre definisjonene av Entailment og Materiell implikasjon
-
Entailment ha en substantiv :
Handlingen med å medføre, tilstanden med seg, eller noe som medfører.
Eksempler:
'Entailment innebærer ikke årsakssammenheng: hvis et sett med premisser innebærer en konklusjon, betyr det ikke (nødvendigvis) at de får denne konklusjonen til å være sant.'
'Et argument henger på [[entailment]] mens en hvis-så-setning henger på implikasjon.'
-
Materiell implikasjon ha en substantiv (logikk):
En implikasjon som definert i klassisk proposisjonslogikk, som fører til sannheten som Q vdash P til Q, skal leses som 'ethvert forslag overhodet er en tilstrekkelig betingelse for en sann proposisjon'.
Eksempler:
'I sannhetstabellen i figur 1 tilsvarer den første raden modus ponens, den siste raden tilsvarer modus tollens, den andre raden kan tas for å representere et ugyldig argument (hvor P → Q er argumentet og P er et premiss eller sammenheng med lokaler), og tredje rad bidrar til å sikre at et argument av skjemaet P rightarrow Q, neg P vdash neg Q er ugyldig. '
'' Følgende paradoks (og også aksiom) av materiell implikasjon: P rightarrow (Q rightarrow P) kan forstås ensbetydende med monotonisiteten i innesperring, det vil si at hvis 'P' er sant så er det ingen andre eller nye fakta ' Q 'burde kunne oppstå som ville innebære opphevelse av Ps sannhet, dvs. at det ikke kunne være tilfelle for noen' Q 'at Q → & ikke; P.'
Sammenlign ord:
Finn forskjellenSammenlign med synonymer og beslektede ord:
- entailment vs material implikasjon
- materiell betinget vs materiell implikasjon
- materiell implikasjon vs streng implikasjon
- logisk bindende mot materiell implikasjon
- entailment vs material implikasjon