Øv med flashcards — Førsteordens logikk

Kapittel 13 · TDT4136

1 / 23

← Tilbake til kapittelet

23 kort

Formel

Dualiteten mellom kvantorene

Formel

\neg\forall x P \equiv \exists x \neg P, \neg\exists x P \equiv \forall x \neg P

Flytter en negasjon forbi en kvantor ved å bytte kvantoren. Brukes når du negerer en setning og i CNF for førsteordens logikk. Vanlig feil: å flytte $\neg$ inn uten å bytte kvantor.

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