Logikk

Her kan du stille spørsmål vedrørende problemer og oppgaver i matematikk på høyskolenivå. Alle som har kunnskapen er velkommen med et svar. Men, ikke forvent at admin i matematikk.net er spesielt aktive her.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
poiu

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 :)
Svar