CIS 1910 Lecture Notes - Lecture 2: Landlocked Country, Idempotence

• School: University of Guelph
• Department: Computing and Information Science
• Course: CIS 1910
• Professor: Luiza Antonie

Document Summary

Idempotent laws: p p p p p p. Associative laws: ( p q ) r p ( q r ) ( p q ) r p ( q r ) Commutative laws: p q q p p q q p. Identity laws: p f p p t p. Domination laws: p f f p t t. ( p q ) p q. Absorption laws: p (p q) p p (p q) p. P q p q ( p q ) ( q p ) Truth value of statement can be expressed as a function p of the variable x as p(x) : x + 3 = 6. P(3) is true because 3 + 3 = 6. Logical statements whose truth value is a function of one or more variables is called a predicate. Domain of variable/discourse in a predicate is the set of all possible values for the variable.