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
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
in
Mathematical Logic
by
HeadShot
Active
(
3.3k
points)
1
flag

14
views
Facebook
Google+
Twitter
answer
comment
Please
log in
or
register
to add a comment.
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 is the best English translation for All humans eat alligator Alligator eats only human Every Alligator Eats Human Only Alligator eats Human
asked
3 days
ago
in
Mathematical Logic
by
Na462
Loyal
(
7.4k
points)

23
views
propositionallogic
discretemathematics
mathematicallogic
0
votes
0
answers
2
Self doubt Propositional Logic
Que. Consider domain is the set of all people in the world. $F(x,y) =x \text{ is the friend of y}.$ Represent each of the following sentences using firstorder logic statements $1.$ Every person has $at most \ 2$ friends. $2.$ Every person has $exactly \ 2$ ... $3. \forall x \exists y_1\exists y_2(F(x,y_1) \wedge F(x,y_2) \wedge (y_1 \neq y_2))$ Please verify.
asked
5 days
ago
in
Mathematical Logic
by
Soumya29
Boss
(
14.1k
points)

33
views
discretemathematics
firstorderlogic
propositionallogic
+2
votes
1
answer
3
Propositional Logic
Which of the following is/are TRUE? $(โx)(โy) J(x,y) \equiv (โy)(โx) J(x,y)$ $(โx)(โy) J(x,y) \equiv (โy)(โx) J(x,y)$ $(โx)(โy) J(x,y) \equiv (โy)(โx) J(x,y)$ $(โx)(โy) J(x,y) \equiv (โy)(โx) J(x,y)$
asked
5 days
ago
in
Mathematical Logic
by
Balaji Jegan
Active
(
4.1k
points)

65
views
0
votes
0
answers
4
propositional logic
how to slove
asked
Nov 19
in
Mathematical Logic
by
altamash
(
309
points)

41
views
0
votes
1
answer
5
universe of discourse[ propositional logic]
asked
Nov 14
in
Mathematical Logic
by
altamash
(
309
points)

18
views
0
votes
0
answers
6
proposition logic
CONVERT IN TO LOGIC No one who loves some one is not loved by anyone lets S(x):x is somebody L(x,y):x loves y
asked
Oct 30
in
Mathematical Logic
by
Anurag Tiwari 1
(
249
points)

16
views
0
votes
0
answers
7
TANCET 2016 Mathematical Logic
asked
Oct 23
in
Mathematical Logic
by
Balaji Jegan
Active
(
4.1k
points)

24
views
tancet
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
IIT HYDERABAD M.Tech (RA) 3Years Winter Session Interview experience
INDIAN AIR FORCE
GATE BOOK _ TEST SERIES DOUBT_
Visualizing complex C code
GATE Book Test Series
All categories
General Aptitude
1.4k
Engineering Mathematics
6.5k
Discrete Mathematics
4.5k
Mathematical Logic
1.8k
Set Theory & Algebra
1.2k
Combinatory
816
Graph Theory
733
Probability
910
Linear Algebra
619
Calculus
442
Digital Logic
2.5k
Programming & DS
4.5k
Algorithms
3.9k
Theory of Computation
5k
Compiler Design
1.9k
Operating System
3.7k
Databases
3.7k
CO & Architecture
3.2k
Computer Networks
3.7k
Non GATE
1.2k
Others
1.3k
Admissions
512
Exam Queries
501
Tier 1 Placement Questions
23
Job Queries
66
Projects
18
Follow @csegate
Gatecse
Recent Blog Comments
thankyou sir
@
44,071
questions
49,594
answers
162,954
comments
65,786
users