|
LO-1
|
Explain and apply the notions of formal language and formal system symbolic logic. |
|
LO-2
|
Explain and apply the notions of axiom, inference rule and deduction. |
|
LO-3
|
Explain and apply the metalogical properties of classical propositional logic. |
|
LO-4
|
Explain and apply the metalogical properties of classical quantificational logic. |