Matematik
Logik
Hej
Jeg skal ved resolution give et direkte og indirekte bevis for det logiske argument.
Jeg omskrevet præmisserne til konjuktiv form, som var en af opgaverne, men er gået i stå ved det direkte og indrekte bevis.
Svar #1
02. oktober 2014 af Andersen11 (Slettet)
Man har præmisserne
[(p∨s) ⇒ q] ∧ [¬p ⇒ (q∨¬r)] ⇔
[(¬p ∧ ¬s)∨q] ∧ [p ∨ q ∨ ¬r] ⇔
q ∨ [¬p ∧ ¬s ∧ (p∨ ¬r)] ⇔
q ∨ [¬s ∧ (¬p ∨ ¬r)] ⇒
q ∨ ¬r
Svar #2
02. oktober 2014 af Mount (Slettet)
Hvad er det? Jeg er også kommet frem til at konklusionen ved konjuktiv form er:
q ∨ ¬r
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.