lecture notes9

Livew1livew3ups1oks1 livew2 livew3downs1oks1

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: How
many
rows
are
there
in
a
truth
table
with
n
 propositional
variables?
 



Solution:

2n We will see how to do this in Chapter 6.   Note
that
this
means
that
with
n
propositional
 variables,
we
can
construct
2n equivalent) propositions. 
 distinct (i.e., not Precedence
of
Logical
Operators
 Operator
 Precedence
 ¬
 1
 
∧


 
 ∨
 2
 3
 
→
 
↔
 4
 5
 p ∨q → ¬r is
equivalent
to
(p ∨q) → ¬r If
the
intended
meaning
is
p ∨(q → ¬r ) then
parentheses
must
be
used.
 Section
1.2
 Applica1ons
of
Proposi1onal
Logic:
 Summary
   Translating
English
to
Propositional
Logic
   System
Specifications
   Boolean
Searching
   Logic
Puzzles
   Logic
Circuits

   AI
Diagnosis
Method
(Optional)
 Transla1ng
English
Sentences
   Steps
to
convert
an
English
sentence
to
a
statement
in
 propositional
logic
   Identify
atomic
propositions
and
represent
using
 propositional
variables.
   Determine
appropriate
logical
connectives
   “If
I
g...
View Full Document

This document was uploaded on 03/06/2014 for the course MATH 320 at CSU Northridge.

Ask a homework question - tutors are online