LING 501 , Fall 2004 : Laws of logic and the definitions of the connectives

  • Published 2004
Laws of logic Logic is the theory of entailment over a set of objects, for example the members of the set PL of well-formed formulas of the propositional logic PL. The entailment relation can be defined in terms of the form of those objects, i.e. syntactically, or in terms of their meaning, i.e. semantically. Syntactic entailment for propositional logic is… CONTINUE READING