Introduction to Logic
Tools
for
Thought
Exercise 11.5 - Metalevel Logic
Say whether each of the following sentences is logically entailed by the sentences in section 11.7.
a.
conjunction
(
and
(
not
(
p
),
not
(
q
)))
yes
no
b.
conjunction
(
not
(
or
(
not
(
p
),
not
(
q
))))
yes
no
c.
ae
(
and
(
p
,
or
(
p
,
q
)),
or
(
p
,
q
))
yes
no
d.
ae
(
and
(
p
,
or
(
p
,
q
)),
and
(
p
,
q
))
yes
no
