Rozdiel medzi implikáciou a hmotnou implikáciou
Pri použití ako podstatné mená , obviňovanie znamená akt obviňovania, stav obťažovania alebo niečo, čo je obnášané, zatiaľ čo materiálna implikácia znamená implikáciu definovanú v klasickej výrokovej logike, ktorá vedie k pravde, ako napríklad q vdash p to q, treba chápať ako „akýkoľvek výrok je dostatočnou podmienkou pre skutočný výrok“.
skontrolujte nižšie ďalšie definície Príloha a Vecné dôsledky
-
Príloha mať podstatné meno :
Skutok, ktorý má za následok, stav, ktorý má za následok, alebo niečo, čo má za následok.
Príklady:
„Obohatenie neznamená príčinnú súvislosť: ak súhrn predpokladov vedie k záveru, neznamená to (nevyhnutne), že spôsobujú tento záver.“ “
„Argument závisí od [[entailment]], zatiaľ čo veta typu„ ak-potom “závisí od implikácie.“
-
Vecné dôsledky mať podstatné meno (logika):
Dôsledok, ako je definovaný v klasickej výrokovej logike, vedúci k pravde ako Q vdash P to Q, treba chápať ako „akýkoľvek výrok je dostatočnou podmienkou pre skutočný výrok“.
Príklady:
„V tabuľke pravdy na obrázku 1 prvý riadok zodpovedá modus ponens, posledný riadok zodpovedá modus tollens, druhý riadok by mohol predstavovať neplatný argument (kde P → Q je argument a P je predpoklad alebo spojka premís) a tretí riadok pomáha zabezpečiť, aby bol argument tvaru P rightarrow Q, neg P vdash neg Q neplatný. '
„Nasledujúci paradox (a tiež axióma) hmotnej implikácie: P rightarrow (Q rightarrow P) možno chápať tak, že znamená monotónnosť uviaznutia, to znamená, že ak je„ P “pravdivé, potom žiadny iný alebo nový fakt“ Q 'by malo byť schopné vzniknúť, čo by znamenalo anulovanie pravdy P, tj pre akékoľvek „Q“ by nemohlo platiť, že Q → & nie; P. “
Porovnať slová:
Nájdite rozdielPorovnajte so synonymami a príbuznými slovami:
- zapojenie vs vecné implikácie
- materiálne podmienené vs materiálne implikácie
- materiálne implikácie vs striktné implikácie
- logická väzba vs. materiálna implikácia
- zapojenie vs vecné implikácie