Øv med flashcards — Grunnleggende strukturer og bevis

Kapittel 1 · TMA4400

1 / 8

8 kort

Formel

Kontrapositivt bevis — Å bevise kontrapositiven er logisk ekvivalent med å bevise selve implikasjonen.

Formel

(A \Rightarrow B) \equiv (\neg B \Rightarrow \neg A)

Å bevise kontrapositiven er logisk ekvivalent med å bevise selve implikasjonen.

Tips: bruk piltastene for å bla og mellomrom/Enter for å snu kortet.