Skirtumas tarp papildymo ir materialinės reikšmės
Kai naudojamas kaip daiktavardžiai , įtraukimas reiškia sukėlimo veiksmą, būseną ar kažką, kas yra susijusi, tuo tarpu materialinė potekstė reiškia potekstę, apibrėžtą klasikinėje teiginių logikoje, vedančią tiesą, pvz., q vdash p to q, kurią reikia skaityti kaip „bet kokį pasiūlymą, kuris yra pakankama sąlyga tikram teiginiui“.
patikrinkite žemiau esančius kitus apibrėžimus Užkandimas ir Materiali implikacija
-
Užkandimas turėk daiktavardis :
Apgaulingas veiksmas, būsena ar kažkas, kas yra susijusi.
Pavyzdžiai:
„Ribojimas nereiškia priežastinio ryšio: jei prielaidų rinkinys turi išvadą, tai dar nereiškia (nebūtinai), kad ši išvada būtų teisinga“.
„Argumentas priklauso nuo [[įtraukimo]], o sakinys„ jei “- tada - nuo implikacijos.“
-
Materiali implikacija turėk daiktavardis (logika):
Kontekcija, kaip apibrėžta klasikinėje teiginių logikoje, vedanti į tiesą, pvz., Q vdash P į Q, kurią reikia skaityti kaip „bet kokį pasiūlymą, kuris yra pakankama sąlyga tikram teiginiui“.
Pavyzdžiai:
„1 paveiksle esančios tiesos lentelėje pirmoji eilutė atitinka modus ponens, paskutinė eilutė atitinka modus tollens, antroji eilutė gali būti laikoma neteisingu argumentu (kur P → Q yra argumentas, o P yra prielaida arba patalpų jungtis), o trečioji eilutė padeda užtikrinti, kad formos P rightarrow Q, neg P vdash neg Q argumentas yra neteisingas. '
Šis materialios implikacijos paradoksas (ir aksioma): P dešiniarankis (Q dešiniarankis P) gali būti suprantamas kaip reiškiantis monotoniškumą, ty jei „P“ tiesa, tai nėra jokio kito ar naujo fakto Q “turėtų galėti atsirasti, o tai reikštų P tiesos panaikinimą, ty jokiam„ Q “negalėtų būti taip, kad Q → & ne; P“.
Palyginkite žodžius:
Raskite skirtumąPalyginkite su sinonimais ir susijusiais žodžiais:
- įtaka vs materialinė implikacija
- materialioji sąlyginė ir materialinė implikacija
- materiali implikacija vs griežta implikacija
- logiška jungiamoji ir materialinė implikacija
- įtaka vs materialinė implikacija