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
Logic
0
votes
14
views
" S2 is incorrect " mentioned in the solution. But I am not getting True > false pair.
🚩 Duplicate

👮
Mk Utkarsh

💬 “https://gateoverflow.in/226847/firstorderlogic”
asked
Jul 18, 2018
in
Mathematical Logic
by
HeadShot
Active
(
4.6k
points)
1
flag

14
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
PROPOSITIONAL LOGIC
Which of the following can be mapped to formulas in propositional logic? Consider John has X' as one atomic sentence, and a compound sentence can be broken into equivalent simple sentences. John has a red hat. John has a red hat and a red jacket. If John has a red ... hat too. John has either a red jacket or a red hat. John either has a red hat or a red jacket but not both.
asked
Jan 30
in
Mathematical Logic
by
srajkumar
(
9
points)

164
views
0
votes
0
answers
2
predicate logic doubt
1) IS P → Q ≡ Q → P Satisfiable Or NOT?
asked
Jan 30
in
Mathematical Logic
by
srajkumar
(
9
points)

41
views
0
votes
2
answers
3
propositional logic
which of the following is tautology? (¬P^(P>q))>¬q ¬(p>q)>¬q [(¬p^q)^[q>(p>q)]]>¬r Both (B) and(C) please explain in detail how to check for especially for condition (C) Because “r” is only in RHS but not in LHS of this implication.
asked
Jan 22
in
Mathematical Logic
by
learner_geek
Active
(
3.7k
points)

64
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
0
answers
4
logic
what is the truth value of this if x,y belong to real numbers $\exists x\forall y(y\neq 0 \rightarrow xy=1)$ am getting true,but given answer is false.
asked
Jan 8
in
Mathematical Logic
by
Gate Fever
Active
(
4.7k
points)

18
views
+1
vote
1
answer
5
Propositional logic self doubt
q = you can access the library r = you have a valid ID s = you have paid subscription fee of that day Consider the following English sentence “You cannot access the library if you don’t have a valid ID unless you have paid subscription fee of that day” which of the following is the correct logical expression? $q \rightarrow (r \vee s )$ $(q \rightarrow r) \vee s$
asked
Jan 7
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
34.1k
points)

57
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
0
votes
0
answers
6
ME!logic
A.Tautology B.Satisfiable C.Contradiction D.None after simplification i m getting Vz[T] =There exist z[F] what can conclude from this in above option please verify
asked
Jan 5
in
Mathematical Logic
by
Abhisek Tiwari 4
Active
(
3.9k
points)

17
views
0
votes
1
answer
7
Discreate Math logic
asked
Jan 4
in
Mathematical Logic
by
Rackson
Active
(
1.8k
points)

24
views
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 contest link is now open
Official keys are out now.
JEST 2019 MEMORY BASED QUESTION PAPER
Relax... But....
Barc : Arjun Sir
All categories
General Aptitude
1.5k
Engineering Mathematics
7.1k
Discrete Mathematics
4.9k
Mathematical Logic
1.9k
Set Theory & Algebra
1.3k
Combinatory
873
Graph Theory
802
Probability
1k
Linear Algebra
691
Calculus
492
Digital Logic
2.7k
Programming & DS
4.9k
Algorithms
4.2k
Theory of Computation
5.3k
Compiler Design
2.1k
Operating System
4k
Databases
4k
CO & Architecture
3.5k
Computer Networks
4k
Non GATE
1.4k
Others
1.5k
Admissions
559
Exam Queries
553
Tier 1 Placement Questions
23
Job Queries
69
Projects
18
Follow @csegate
Recent Blog Comments
Also, the contest link is now open.
Yes, I am going to challenge for aptitude...
Haan sab m kuch nah kuch mistake nikaldo aur...
Did anyone find any mistakes in the Aptitude...
Agreed. And i see some people who have even...
47,913
questions
52,293
answers
182,250
comments
67,738
users