lecture notes9

Twocompoundpropositionspandqareequivalentifandonlyif

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: on
logic.
 


Example:
Express
in
propositional
logic:
 

“The
automated
reply
cannot
be
sent
when
the
file
 system
is
full”
 



Solution:
One
possible
solution:
Let
p
denote
“The
 automated
reply
can
be
sent”
and
q
denote
“The
file
 system
is
full.” q→ ¬ p 
 Consistent
System
Specifica1ons
 


Definition:
A
list
of
propositions
is
consistent
if
it
is
 possible
to
assign
truth
values
to
the
proposition
variables
 so
that
each
proposition
is
true.
 


Exercise:
Are
these
specifications
consistent?
   “The
diagnostic
message
is

stored
in
the
buffer
or
it
is
retransmitted.”
   “The
diagnostic
message
is
not
stored
in
the
buffer.”
   “If
the
diagnostic
message
is
stored
in
the
buffer,
then
it
is
retransmitted.”
 



Solution:
Let
p
denote
“...
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