Predicate Calculus(FOL)

It adds predicates, individual variables, and quantifiers.

But:

How to choose the predicates?

It depends on how much detail is desired.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica