Het verschil tussen ondersteuning en materiële implicatie
Bij gebruik als zelfstandige naamwoorden , gevolg betekent de handeling van het meebrengen, de staat van zijn met zich meebrengt, of iets dat ermee gepaard gaat, terwijl materiële implicatie betekent een implicatie zoals gedefinieerd in de klassieke propositionele logica, leidend tot de waarheid van bijvoorbeeld q vdash p tot q, te lezen als 'welke propositie dan ook is een voldoende voorwaarde voor een echte propositie'.
kijk hieronder voor de andere definities van Bevordering en Materiële implicatie
-
Bevordering heb een zelfstandig naamwoord :
De handeling van het meebrengen, de staat van zijn met zich meebrengt, of iets dat ermee samenhangt.
Voorbeelden:
'Vastlegging impliceert geen oorzakelijk verband: als een reeks premissen een conclusie met zich meebrengt, betekent dat niet (noodzakelijkerwijs) dat ze ervoor zorgen dat die conclusie waar is.'
'Een argument hangt af van [[gevolg]], terwijl een als-dan-zin afhangt van implicatie.'
-
Materiële implicatie heb een zelfstandig naamwoord (logica):
Een implicatie zoals gedefinieerd in de klassieke propositionele logica, leidend tot de waarheid van bijvoorbeeld Q vdash P tot Q, die moet worden gelezen als 'welke propositie dan ook is een voldoende voorwaarde voor een echte propositie'.
Voorbeelden:
'In de waarheidstabel in figuur 1 komt de eerste rij overeen met modus ponens, de laatste rij met modus tollens, de tweede rij kan worden opgevat als een ongeldig argument (waarbij P → Q het argument is en P een premisse of combinatie van premissen), en de derde rij helpt ervoor te zorgen dat een argument in de vorm P rightarrow Q, neg P vdash neg Q ongeldig is. '
'' 'De volgende paradox (en ook axioma) van materiële implicatie: P rightarrow (Q rightarrow P) zou kunnen worden opgevat als de monotoniciteit van het gevolg, dat wil zeggen, als' P 'waar is, dan is er geen ander of nieuw feit' Q 'zou moeten kunnen ontstaan, wat de vernietiging van de waarheid van P zou impliceren, dat wil zeggen dat het voor geen enkele' Q 'het geval zou kunnen zijn dat Q → & niet; P.'
Vergelijk woorden:
Zoek het verschilVergelijk met synoniemen en verwante woorden:
- implicatie versus materiële implicatie
- materiële voorwaardelijke versus materiële implicatie
- materiële implicatie versus strikte implicatie
- logische connectieve versus materiële implicatie
- implicatie versus materiële implicatie