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.

Logikk

Innlegg poiu » 23/05-2019 14: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 :)
poiu offline

Hvem er i forumet

Brukere som leser i dette forumet: Ingen registrerte brukere og 10 gjester