P. 1
Logic

# Logic

|Views: 236|Likes:

### Availability:

See more
See less

04/19/2013

pdf

text

original

PRACTICE
HARD

Background Section 4.3.1.2 of handout 4 deﬁnes the syntax of PLf. It is an eﬃcient
deﬁnition, and I proposed it because it means that we can ﬁt this system into the ones that
come later with no fuss. But the results quickly become hard to parse. Some examples,
with their more intuitive versions at right:

74

Problems

i. ((∧(p))(q))

(q p)

ii. (∨((∧(p))(q))(p))

(p∨(q p))

iii. ((∧(¬(p)))(p))

(p∧¬p)

The expressions are just tools for helping people understand what is happening with the
denotations (functions). At present, they are not particularly illuminating.

Your task Devise some new syntactic rules, replacements for those in (4.3.1.2), that
determine expressions of the sort at right but maintain the virtue of the current system that
∧,∧p, and the like are well formed.

scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->