LING 360 Lecture Notes - Lecture 26: If And Only If, Commutative Property, Logical Consequence
Document Summary
Connects a pair of formulas and connects a pair of independent, declarative clauses. Is true iff a is true and is true ( and are formulas) (s and t are independent, declarative clauses) Is semantically equivalent to . S and t is true iff s is true and t is true. Clauses connected by and are judged equivalent under transposition. It is raining and it is cold entails: it is raining. Two is an even number and the concept of intentionality in inexplicable. *six men are throwing stones at a frog and seven men can fit in a ford. *two is an even number; the concept of intentionality is inexplicable. *six men are throwing stones at a frog; even men can fit in in ford. In this case, these sentences don"t seem so weird. Test: quiz show ((cid:498)state the first two facts that you can think of as quickly as possible(cid:499))