Akademik Dersler - İçerik

explain and apply basic notions of symbolic logic.
Define proposition and argument.
Explain propositional connectives.
Explain and exemplify truth value status of a proposition.
Explain logical modality.
Examplify modal expressions and propositions.
Explain the function of modal propositions in philosophy and logic.
Explain and apply symbolization of modal propositions.
Explain the formal language of modal propositional logic and formalization in this language.
Explain the formal language of modal quantificational logic and formalization in this language.
Explain the interpretation of modal propositions.
Explain and apply Kripke semantics for modal propositional logic.
Explain and apply Kripke semantics for modal quantificational logic.
Explain and apply tableau method for modal logic.
Explain and apply tableau method for modal propositional logic.
Explain and apply tableau method for modal quantificational logic.