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

I forgot my password
All Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous
Blogs
New Blog
Exam Category
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.
mathematical logic
+2
votes
147
views
Which of the following are valid arguments?
A1:[P→(Q→R),Q]⟹(P→R)
A2:[(P→Q),(~Q→R),~R]⟹P
mathematicallogic
asked
Nov 16, 2016
in
Mathematical Logic
by
vaishali jhalani
Boss
(
6.6k
points)

147
views
Facebook
Google+
Twitter
answer
comment
A1. is valid
A2 is contingency
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
1
Answer
+1
vote
A1:[P→(Q→R),Q]⟹(P→R)
=> [!P V !Q V R, Q]
=> !P V R
=> (P>R)
A2:[(P→Q),(~Q→R),~R]⟹P
By Modus Tollens, Q is conclusion. P can be 0/1 when Q is 1. So invalid.
answered
Nov 16, 2016
by
agoh
Active
(
1.9k
points)
comment
Please
log in
or
register
to add a comment.
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Related questions
0
votes
0
answers
1
mathematical logic
please explain in detail
asked
3 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Active
(
1.3k
points)

20
views
discretemathematics
mathematicallogic
0
votes
0
answers
2
Mathematical logic
How to solve this type of question
asked
3 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Active
(
1.3k
points)

19
views
discretemathematics
mathematicallogic
0
votes
0
answers
3
Mathematical Logic
Mathematical logic I found difficulty of this type question please help me
asked
3 days
ago
in
Mathematical Logic
by
Lakshman Patel RJIT
Active
(
1.3k
points)

13
views
discretemathematics
mathematicallogic
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
How to be productive?For all Members,GATE Aspirants, everybody associated with "GO Family"
How to Do preparation for Gate2018
How to write nice answers/questions in GO
Organizing NET Questions
Easy or Right: The Choice is Yours
All categories
General Aptitude
1.1k
Engineering Mathematics
4k
Discrete Mathematics
2.7k
Mathematical Logic
1k
Set Theory & Algebra
765
Combinatory
510
Graph Theory
457
Probability
514
Linear Algebra
400
Calculus
308
Digital Logic
1.7k
Programming & DS
2.9k
Algorithms
2.6k
Theory of Computation
3.1k
Compiler Design
1.2k
Operating System
2.3k
Databases
2.3k
CO & Architecture
2.1k
Computer Networks
2.4k
Non GATE
795
Others
1.2k
Admissions
244
Exam Queries
417
Tier 1 Placement Questions
16
Job Queries
40
Projects
4
Follow @csegate
Gatecse
Recent Blog Comments
Hi @
thanks a lot sir
I hope everybody derives the best out of this. :)
For creating automatas you can also ...
Really one of the Great post.Thanks papesh.
28,834
questions
36,688
answers
90,626
comments
34,641
users