Matematik
Logik
Hej.
Der er givet nogle præmisser og en afslutning:
René vil kun flytte sit tårn, hvis Per flytter sin dronning.
Hvis Per flytter sin løber, vil René smadre skakbrættet.
Det er ikke tilfældet, at Per vil flytte sin dronning og ikke flytte sin løber.
Ergo hvis Per flytter sin dronning, vil René flytte sit tårn og smadre skakbrættet.
Opgaven går så ud på at formalisér denne slutning i udsagnslogik og vise at den ikke er logisk korrekt (altså at konklusionen ikke er logisk konsekvens af præmisserne).
Derefter ønskes at give et eksempel på en ekstra præmis som kan tilføjes således at slutningen bliver logisk korrekt.
Svar #2
06. november 2010 af Quantum (Slettet)
T => D
L => S
ikke D, så T => D, hvilket er falsk. Det er et falsk udsagn.
Svar #3
06. november 2010 af Andersen11 (Slettet)
Det 3. præmis er
¬(D∧¬L)
Vi har altså
(T⇒D) ∧ (L⇒S) ∧ (¬(D∧¬L)) ⇔
(T⇒D) ∧ (L⇒S) ∧ (¬D∨L) ⇔
(T⇒D) ∧ (L⇒S) ∧ (D⇒L) ⇒
(D⇒S) ∧ (T⇒D)
Den givne konklusion er
D ⇒ (T∧S) ⇔
(D⇒S) ∧ (D⇒T)
Svar #4
07. november 2010 af KasperHan (Slettet)
Hvilken præmis kunne man tilføje for (T⇒D) således at (D⇒T)?
Svar #5
20. september 2014 af Salvatores (Slettet)
Hvordan kan man gøre slutningen logisk korrekt ved at tilføje en ekstra præmis?
Skriv et svar til: Logik
Du skal være logget ind, for at skrive et svar til dette spørgsmål. Klik her for at logge ind.
Har du ikke en bruger på Studieportalen.dk?
Klik her for at oprette en bruger.