Logică - Clasa a IX-a

Logica predicatelor

LOG09-03-57 - Formalizarea enunțurilor în logica predicatelor

LOG09-03-58EX - Formalizarea enunțurilor în logica predicatelor - exerciții

LOG09-03-59 - Interpretarea formulelor în logica predicatelor

LOG09-03-60EX - Interpretarea formulelor în logica predicatelor - exerciții

LOG09-03-61 - Demonstrații în logica predicatelor (I): regulile cuantificatorilor

LOG09-03-62EX - Demonstrații în logica predicatelor (I): regulile cuantificatorilor - exerciții