Logik: Forskelle mellem versioner
Content deleted Content added
Tile01 (diskussion | bidrag) No edit summary |
m bot:Fjerner tag sidst i liste - WPCW fejl 54; kosmetiske ændringer |
||
Linje 1:
[[
'''Logik''' (fra [[Græsk (sprog)|græsk]] λόγος, ''[[logos]]'' = [[sprog]], [[ord]], [[system]], [[samling]]) er en [[filosofi]]sk disciplin, der undersøger hvorvidt [[Argumentation|argumenter]] er i overensstemmelse med de klassiske tankelove. Navnlig [[kontradiktionsprincippet]], [[den udelukkede midte]] og [[identitetsloven]].
Linje 12:
Et eksempel på et argument kan se sådan ud:
# Præmis: "Hvis du er en kat, så er du en reptil."
# Præmis: "Du er en kat."
# Konklusion: "Derfor er du en reptil."
Vi kan formalisere argumentet således:
* P1: Hvis A, så B
* P2: A
* K: Derfor B
I logiske konnektiver skrives dette også som:
* A → B
* A
* ∴ B
Det pågældende argument er gyldigt, dvs. at konklusionen følger af præmisserne, men det er ikke sandt, da katte for det første ikke er reptiler, men pattedyr, da man for det andet ikke kan være en reptil og et pattedyr på samme tid, og da man for det tredje enten må være en reptil, eller være noget andet end en reptil.
Linje 204:
== Eksempler på anvendelsen af sandhedstabeller ==
".", "-" og "*" er placeret for mere overblik over udregningsprocessen.
Værdierne af "." bruges til at udregne "-".<br />
Værdierne af "-" bruges til at udregne "*".
a) (A → B) ᴧ (A ᴧ ¬B)
Linje 240:
Metoden for sandhedstabeller kan bruges til at finde ud af om sætninger/argumenter er hhv.:<br />
* Tautologiske/valide: At alle udsagnsresultaterne er sande i sandhedstabellen.
* Kontradiktoriske: At alle udsagnsresultaterne er falske i sandhedstabellen.
* Konsistente: At det er muligt for alle sætningernes/argumentets udsagnsresultater at være sande på samme tid / At der eksisterer mindst ét udsagnsresultat hvor alle sætninger er sande på samme tid / At sammenlægningen af flere sætninger ikke leder til en kontradiktion.
* Inkonsistente: At der ikke eksisterer mindst ét udsagnsresultat hvor alle sætninger er sande på samme tid.
* Ækvivalente: At der er flere sætninger, der alle har helt identiske værdier i sandhedstabellen.
* Gyldige: At der ikke findes et modeksempel.
* Ugyldige: At et modeksempel findes.
| |||