IR

Conference 1

  • Logic is like a language or math

  • TA Office hours: Friday 10am

  • Semantics vs Syntax:

    • Syntax = When you talk about grammar of language (Role of element in language)

    • Semantics = Connectives, atomic sentences

  • Entailment: No situation where condition is true & conclusion is false

    1) Red is a colour (T)

    2) “Red” is a colour (F)

P\/Q: If P is true then Q is either false or true & if Q is true then P is either false or true ; we can’t conclude anything

(P\/Q)/\-(P/\Q) = -P→Q, could also be -Q→P

Not P then Q is same thing as “inclusive or”

Entailment symbol:⊢ (Same as conclusion symbol)

  • To check if something works always use a truth table