PHL232H1 Lecture Notes - If And Only If
Document Summary
Couterfactual conditional: conditional whose truth is not guaranteed by the falsity of the antecedent [or the truth of the consequent: conditionals where a is false in the actual world. Involve not just the way things are, but the way things could be. The basic properties of relations ** question on exam: a relation is what is expressed by a 2-place predicate, ex. X loves y, x is taller than y, x got here before y did. Sibling and being in the same room as someone. If someone is your sibling, then they are your sibling. If someone is in the same room as you, you are in the same room as them. Being to the left of someone is not symmetric: reflexive: iff for all x in the domain. Being the same height as himself and everything is identical with itself. You will always bare your height to yourself.