Logică - Clasa a IX-a

Logica propozițiilor

LOG09-02-30 - Tautologii, contradicții și formule contingente

LOG09-02-31EX - Tautologii, contradicții și formule contingente - exerciții

LOG09-02-32 - Legi logice: dubla negație, legile lui De Morgan, contrapoziția

LOG09-02-33EX - Legi logice: dubla negație, legile lui De Morgan, contrapoziția - exerciții

LOG09-02-34 - Raționamente ipotetice și disjunctive: modus ponens, modus tollens, tollendo-ponens, ponendo-tollens

LOG09-02-35EX - Raționamente ipotetice și disjunctive: modus ponens, modus tollens, tollendo-ponens, ponendo-tollens - exerciții