Różnica między implikacją a materialną konsekwencją
Gdy używany jako rzeczowniki , ustanowienie majoratu oznacza akt pociągania za sobą, stan zaistnienia lub coś, co się z nim wiąże, podczas gdy znaczenie materialne oznacza implikację zdefiniowaną w klasycznej logice zdaniowej, prowadzącą do prawdziwości takich jak q vdash p do q, którą należy czytać jako „każde zdanie jest warunkiem wystarczającym dla zdania prawdziwego”.
sprawdź poniżej inne definicje Ustanowienie majoratu i Materialne implikacje
-
Ustanowienie majoratu mieć rzeczownik :
Akt pociągania, stan zaistnienia lub coś, co się z nim wiąże.
Przykłady:
„Uwięzienie nie oznacza związku przyczynowego: jeśli zbiór przesłanek pociąga za sobą konkluzję, nie oznacza to (koniecznie), że powodują one, że wniosek ten jest prawdziwy”.
„Argument opiera się na [[skutku]], podczas gdy zdanie„ jeśli-to ”opiera się na implikacji”.
-
Materialne implikacje mieć rzeczownik (logika):
Implikacja zdefiniowana w klasycznej logice zdań, prowadząca do prawdziwości takich jak Q vdash P do Q, którą należy odczytywać jako „jakiekolwiek zdanie jest warunkiem wystarczającym dla zdania prawdziwego”.
Przykłady:
W tabeli prawdy na rysunku 1 pierwszy wiersz odpowiada modus ponens, ostatni wiersz odpowiada modus tollens, drugi wiersz można przyjąć jako niepoprawny argument (gdzie P → Q jest argumentem, a P jest przesłanką lub koniunkcja przesłanek), a trzeci wiersz pomaga zapewnić, że argument w postaci P rightarrow Q, neg P vdash neg Q jest niepoprawny. '
'' 'Następujący paradoks (a także aksjomat) materialnej implikacji: P rightarrow (Q rightarrow P) może oznaczać monotoniczność wynikania, to znaczy, jeśli' P 'jest prawdziwe, to nie ma innego ani nowego faktu' Q 'powinno być w stanie powstać, co oznaczałoby unieważnienie prawdy P, tj. Nie mogłoby tak być w przypadku jakiegokolwiek' Q ', że Q → & nie; P.'
Porównaj słowa:
Znajdź różnicęPorównaj z synonimami i pokrewnymi słowami:
- implikacja a konsekwencja materialna
- materialne warunkowe a materialne implikacje
- implikacja materialna a implikacja ścisła
- łącznik logiczny a implikacja materialna
- implikacja a konsekwencja materialna