Cs610 Lecture 1 Symbolic Logic Examples And Worksheet Page 3

ADVERTISEMENT

You can gain insight by stepping back.
Statement Forms are symbolized by p, q, r, ....
Compound statements
Name
Connector Symbol Example
When true
Conjunction
AND
p ∧ q
Disjunction
OR
p ∨ q
ex1. You are tall and he is short.
ex2. Mary will study or Mary will go out.
Negation - symbolized by ~ (When p is True, ~p is False and vice versa.)
Order of operations – parentheses, NOT, AND, OR
Truth tables
~p ∨ ~q
p
q
~p
~q
~p ∨ ~q
T
T
T
F
F
T
F
F
CS610 Lecture 1 p.3

ADVERTISEMENT

00 votes

Related Articles

Related forms

Related Categories

Parent category: Education