Logică - Clasa a IX-a

Logica propozițiilor

LOG09-02-52 - Recapitulare: logica propozițiilor

LOG09-03-53 - Limbajul logicii predicatelor: termeni individuali și predicate

LOG09-03-54EX - Limbajul logicii predicatelor: termeni individuali și predicate - exerciții

LOG09-03-55 - Cuantificatorul universal și cuantificatorul existențial

LOG09-03-56EX - Cuantificatorul universal și cuantificatorul existențial - exerciții

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