Øv med flashcards — Inferens i førsteordens logikk

Kapittel 14 · TDT4136

1 / 26

26 kort

Formel

Regelen for universell instansiering

Formel

\frac{\forall v α}{SUBST ({ v / g } , α )}

Gjelder for hver grunnterm $g$ , så du kan bruke den mange ganger med ulike termer. Brukes når en førsteordens KB gjøres om til utsagnslogikk.

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