Warning:
JavaScript is turned OFF. None of the links on this page will work until it is reactivated.
If you need help turning JavaScript On, click here.
Den här kartan innehåller information om: Logik uppg 1, Atom are combined by Connectives, Connectives can be Disjunction, Sentence may be Contingent, Alphabet consists of Atom, Connectives can be Negation, Truth value can be assumed by Sentence, Alphabet consists of Quantifiers, Sentence is constructed from Connectives, Logical Consequence is shown through Semantic Tableux, Sentence may be Tautology, Lexikon interprets Sentence, Connectives can be Implication, Logical Consequence is shown through Resolution Method, Sentence is constructed from Atom, Quantifiers of which most common are Universal q., Premiss is a part of Sentence, Quantifiers of which most common are Existential q., Sentence may be Contradiction, Logical Consequence is shown through Natural Deduction, Logical Consequence is shown through Axiomatic Systems