kenneth h rosen chapter 1 excercise 1.4 predicates ad quantifiers question 59 symbolic logic
in Mathematical Logic
0 votes
0 votes
Exercises 59–62 are based on questions found in the book
Symbolic Logic by Lewis Carroll.
59. Let P (x), Q(x), and R(x) be the statements “x is a
professor,” “x is ignorant,” and “x is vain,” respectively.
Express each of these statements using quantifiers; log-
ical connectives; and P (x), Q(x), and R(x), where the
domain consists of all people.
a) No professors are ignorant.
b) All ignorant people are vain.
c) No professors are vain.
d) Does (c) follow from (a) and (b)

what is the soution of d) cause i did not understand what the d) says?
in Mathematical Logic
103 points

Please log in or register to answer this question.

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.