The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
GATE Overflow
Facebook Login
or
Email or Username
Password
Remember
Login
Register

I forgot my password
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Prev
Blogs
New Blog
Exams
First time here? Checkout the
FAQ
!
x
×
Close
Use the google search bar on side panel. It searches through all previous GATE/other questions. For hardcopy of previous year questions please see
here
Kenneth Rosen Edition 7th Exercise 1.6 Question 7 (Page No. 78)
0
votes
6
views
What rules of inference are used in this famous argument? “All men are mortal. Socrates is a man. Therefore,Socrates is mortal.”
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
asked
Mar 19
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

6
views
answer
comment
Your identity must be verified before you can post a comment. Please wait if already uploaded identity proof or upload your proof
here
Please
log in
or
register
to answer this question.
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Related questions
0
votes
0
answers
1
Kenneth Rosen Edition 7th Exercise 1.6 Question 9 (Page No. 78)
For each of these collections of premises, what relevant conclusion or conclusions can be drawn? Explain the rules of inference used to obtain each conclusion from the premises. If I take the day off, it either rains or snows. I took ... gnaw their food. Mice are rodents. Rabbits do not gnaw their food. Bats are not rodents.
asked
Mar 19
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

7
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
2
Kenneth Rosen Edition 7th Exercise 1.6 Question 8 (Page No. 78)
What rules of inference are used in this argument? “No man is an island. Manhattan is an island. Therefore, Manhattan is not a man.”
asked
Mar 19
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

9
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
3
Kenneth Rosen Edition 7th Exercise 1.6 Question 5 (Page No. 78)
Use rules of inference to show that the hypotheses “Randy works hard,” “If Randy works hard, then he is a dull boy,”and “If Randy is a dull boy, then he will not get the job”imply the conclusion “Randy will not get the job.”
asked
Mar 19
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

6
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
4
Kenneth Rosen Edition 7th Exercise 1.6 Question 4 (Page No. 78)
What rule of inference is used in each of these arguments? Kangaroos live in Australia and are marsupials. Therefore, kangaroos are marsupials. It is either hotter than 100 degrees today or the pollution is dangerous. It ... the material . Therefore ,If I work all night on this homework, Then I will understand the material.
asked
Mar 19
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

4
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
5
Kenneth Rosen Edition 7th Exercise 1.6 Question 3 (Page No. 78)
What rule of inference is used in each of these arguments? Alice is a mathematics major. Therefore, Alice is either a mathematics major or a computer science major. Jerry is a mathematics major and a computer science major. Therefore, ... stay in the sun too long, then I will sunburn. Therefore, if I go swimming, then I will sunburn
asked
Mar 19
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

5
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
6
Kenneth Rosen Edition 7th Exercise 1.7 Question 6 (Page No. 91)
Use a direct proof to show that the product of two odd numbers is odd.
asked
Mar 20
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

9
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
7
Kenneth Rosen Edition 7th Exercise 1.7 Question 42 (Page No. 92)
Prove that these four statements about the integer $n$ are equivalent: $n^2$is odd, $1−n$ is even, $n^3$ is odd, $n^2+1$ is even.
asked
Apr 4
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.5k
points)

10
views
kennethrosen
discretemathematics
mathematicallogic
propositionallogic
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
Recent Posts
GATE score validity queries.
How to prepare for IISC Interdisciplinary Mathematical Sciences Interview
GO Hardcopy for GATE 2020
How to prepare for BARC interview
IIIT H
All categories
General Aptitude
1.6k
Engineering Mathematics
7.5k
Discrete Mathematics
5.2k
Mathematical Logic
2.1k
Set Theory & Algebra
1.4k
Combinatory
883
Graph Theory
821
Probability
1k
Linear Algebra
694
Calculus
504
Digital Logic
3k
Programming & DS
4.9k
Algorithms
4.3k
Theory of Computation
6k
Compiler Design
2.1k
Operating System
4.2k
Databases
4.2k
CO & Architecture
3.5k
Computer Networks
4.2k
Non GATE
1.4k
Others
1.5k
Admissions
588
Exam Queries
568
Tier 1 Placement Questions
23
Job Queries
72
Projects
18
Follow @csegate
Recent Blog Comments
THey removed it this year... I did not check it,...
even though i am not going for iiit , can you...
I don't think IIITD requires any codechef...
Will apply for IIITB. IIIT D requires a codechef...
Go for it. Nobody cares once you join a good IIT...
50,083
questions
53,206
answers
184,555
comments
70,426
users