Cs610 Lecture 1 Symbolic Logic Examples And Worksheet Page 6

ADVERTISEMENT

Tautology: a proposition that is always true; symbolized by t
p
q
~p
p ∨ q
(p ∨ q) ∨ ~p
T
T
T
F
F
T
F
F
Contradiction: a proposition that is always false; symbolized by c
ex:
p ∧ ~p
Logical Equivalences
(p" ~ q) # ( p " q) $ p " (~ q # q) by _____
$ p " (q# ~ q)
by _____
$ p "
by _____
t
$ p
by _____
CS610 Lecture 1p. 6
!

ADVERTISEMENT

00 votes

Related Articles

Related forms

Related Categories

Parent category: Education