Séances de cours associées à Universal generalization

Couvre les règles dinférence pour les déclarations quantifiées et la construction darguments valides en utilisant la logique de prédicat.

Couvre les règles dinférence pour les déclarations quantifiées et démontre la construction darguments valides en utilisant la logique de prédicat.

Couvre la syntaxe logique de premier ordre, la sémantique, la skolémisation, la résolution et les transformations de formes normales.