Logikk
Posted: 23/05-2019 15:20
Møtt en del oppgaver som handler om å avgjøre om en setning er en tautologi eller ikke.
(t → (¬v ∧ u)) −→ ((u → (v ∨ q)) ∧ t)
Er det noen spesiell fremgangsmåte å gjøre dette på, eller er det noe en må tenke seg frem til? Kan man sette opp en tabell? Blir i så fall veldig mange ledd å holde styr på. Tar emnet som selvstudium, og sliter med å finne noen eller noe som kan forklare det. Takk for hjelp
(t → (¬v ∧ u)) −→ ((u → (v ∨ q)) ∧ t)
Er det noen spesiell fremgangsmåte å gjøre dette på, eller er det noe en må tenke seg frem til? Kan man sette opp en tabell? Blir i så fall veldig mange ledd å holde styr på. Tar emnet som selvstudium, og sliter med å finne noen eller noe som kan forklare det. Takk for hjelp