lecture notes9

Lecture notes9

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: o
to
Harry’s
or
to
the
country,
I
will
not
go
 shopping.”
   p:
I
go
to
Harry’s
   q:
I
go
to
the
country.
   r:

I
will
go
shopping.
 If
p
or
q
then
not
r.
 Example
 

Problem:
Translate
the
following
sentence
into
 propositional
logic:
 
“You
can
access
the
Internet
from
campus
only
if
you
 are
a
computer
science
major
or
you
are
not
a
 freshman.”
 

One
Solution:
Let
a,
c,
and
f

represent
respectively
 “You
can
access
the
internet
from
campus,”
“You
are
a
 computer
science
major,”
and
“You
are
a
freshman.”
 

















a→ (c ∨ ¬ f
)
 System
Specifica1ons
   System
and
Software
engineers
take
requirements
in
 English
and
express
them
in
a
precise
specification
 language
based...
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