The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
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
Recent questions tagged firstorderlogic
+1
vote
0
answers
1
Self Doubt:Mathematical Logic
Represent these two statement in first order logic: $A)$ Only Alligators eat humans $B)$ Every Alligator eats humans Is Every represents $\equiv \exists$ and Only represents $\equiv \forall$ ?? Can we differentiate it with verb ‘eat’ and ‘eats’??
asked
May 18
in
Mathematical Logic
by
srestha
Veteran
(
117k
points)

51
views
discretemathematics
mathematicallogic
firstorderlogic
0
votes
0
answers
2
Discrete Mathematics [Self Doubt]
Is this statement valid: $(\exists x(P(x)\rightarrow Q(x)) )\rightarrow (\exists xP(x)\rightarrow \exists xQ(x))$
asked
Apr 14
in
Mathematical Logic
by
GATE_aspirant_2021
(
69
points)

48
views
firstorderlogic
0
votes
0
answers
3
GATE 1992
How is option (a) correct? Isn’t Universal quantifier not distributive over union/disjunction. Source: https://cse.buffalo.edu/~rapaport/191/distqfroverandor.html
asked
Apr 14
in
Mathematical Logic
by
kaveeshnyk
(
37
points)

34
views
discretemathematics
firstorderlogic
0
votes
0
answers
4
Kenneth Rosen Edition 7th Exercise 1.4 Question 31 (Page No. 54)
Suppose that the domain of $Q(x,y,z)$ consists of triples $x,y,z,$ where $x=0,1$ or $2$ , $y=0$ or $1,$ and $z=0$ or $1.$ Write out these propositions using disjunctions and conjunctions. $a)$ $\forall y \;\;\;Q(0, y, 0)$ $b)$ $\exists x\; \;\; Q(x, 1, 1)$ $c)$ $\exists z \;¬Q(0, 0, z)$ $d)$ $\exists x\;¬Q(x, 0, 1)$
asked
Mar 18
in
Mathematical Logic
by
Pooja Khatri
Boss
(
10.8k
points)

23
views
kennethrosen
discretemathematics
mathematicallogic
firstorderlogic
+6
votes
6
answers
5
GATE201935
Consider the first order predicate formula $\varphi$: $\forall x [ ( \forall z \: z \mid x \Rightarrow (( z=x) \vee (z=1))) \rightarrow \exists w ( w > x) \wedge (\forall z \: z \mid w \Rightarrow ((w=z) \vee (z=1)))]$ Here $a \mid b$ ... Set of all positive integers $S3:$ Set of all integers Which of the above sets satisfy $\varphi$? S1 and S2 S1 and S3 S2 and S3 S1, S2 and S3
asked
Feb 7
in
Mathematical Logic
by
Arjun
Veteran
(
423k
points)

5k
views
gate2019
engineeringmathematics
discretemathematics
mathematicallogic
firstorderlogic
0
votes
3
answers
6
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.2k
points)

104
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
+1
vote
1
answer
7
MadeEasy Test Series: Mathematical Logic  First Order Logic
Pardon for the screenshot though. No idea of latex.
asked
Jan 8
in
Mathematical Logic
by
Shamim Ahmed
Active
(
2.4k
points)

133
views
madeeasytestseries
firstorderlogic
mathematicallogic
+2
votes
1
answer
8
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
(
35.4k
points)

72
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
0
votes
0
answers
9
NTA NET DEC 2018 Q18
asked
Dec 25, 2018
in
Mathematical Logic
by
Sanjay Sharma
Boss
(
48.6k
points)

76
views
firstorderlogic
0
votes
0
answers
10
Self Doubt
∀x(∀z(β)→∃y(¬α)) ⟹∀x(¬∀z(β)∨∃y(¬α)) ⟹¬∃x¬(¬∀z(β)∨∃y(¬α)) ⟹¬∃x(∀z(β)∧¬∃y(¬α)) ⟹¬∃x(∀z(β)∧∀y(α)) In the third line why 2 negations are used ?
asked
Dec 23, 2018
in
Mathematical Logic
by
Shamim Ahmed
Active
(
2.4k
points)

18
views
firstorderlogic
0
votes
1
answer
11
Zeal Test Series 2019: Mathematical Logic  First Order Logic
asked
Dec 22, 2018
in
Mathematical Logic
by
Prince Sindhiya
Loyal
(
5.6k
points)

62
views
discretemathematics
mathematicallogic
firstorderlogic
zeal
zeal2019
+1
vote
2
answers
12
TIFR2019B4
Let $\varphi$ be a propositional formula on a set of variables $A$ and $\varphi$ be a propositional formula on a set of variables $B$ , such that $\varphi$ $\Rightarrow$ $\psi$ . A $\textit{Craig interpolant}$ of $\varphi$ and $\psi$ is a propositional formula $\mu$ on ... Craig interpolant for $\varphi$ and $\psi$ ? $q$ $\varphi$ itself $q \vee s$ $q \vee r$ $\neg q \wedge s$
asked
Dec 18, 2018
in
Mathematical Logic
by
Arjun
Veteran
(
423k
points)

270
views
tifr2019
engineeringmathematics
discretemathematics
mathematicallogic
firstorderlogic
+1
vote
0
answers
13
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
Dec 6, 2018
in
Mathematical Logic
by
Soumya29
Boss
(
16.1k
points)

89
views
discretemathematics
firstorderlogic
propositionallogic
0
votes
0
answers
14
#books
Some cat are intelligent express into first order logic if domain are animals
asked
Nov 12, 2018
in
Mathematical Logic
by
amit166
Junior
(
755
points)

35
views
firstorderlogic
0
votes
0
answers
15
Zeal Workbook: Mathematical Logic  First Order Logic
Its answer is a) but here more(x,y) is given means it should be like this  x is more than y then isn't a) is wrong
asked
Nov 9, 2018
in
Mathematical Logic
by
Prince Sindhiya
Loyal
(
5.6k
points)

134
views
zeal
mathematicallogic
firstorderlogic
zealworkbook
0
votes
1
answer
16
Zeal Workbook: Mathematical Logic  First Order Logic
How to write the last line of Qno. 19  irrespective of whether the system has been armed the alarm should go off when there is fire For Qno 20 I am getting iii) and iv) as true but answer is a) please check the 5th one
asked
Nov 9, 2018
in
Mathematical Logic
by
Prince Sindhiya
Loyal
(
5.6k
points)

58
views
zeal
mathematicallogic
firstorderlogic
zealworkbook
0
votes
1
answer
17
Zeal Test Series: Mathematical Logic  First Order Logic
1)How to do question no. 34,36
asked
Nov 9, 2018
in
Mathematical Logic
by
Prince Sindhiya
Loyal
(
5.6k
points)

68
views
zeal
mathematicallogic
firstorderlogic
zealworkbook
0
votes
0
answers
18
Zeal Workbook: Mathematical Logic  First Order Logic
I am getting b) but right option is a) please check it
asked
Nov 9, 2018
in
Mathematical Logic
by
Prince Sindhiya
Loyal
(
5.6k
points)

32
views
zealworkbook
mathematicallogic
firstorderlogic
zeal
0
votes
0
answers
19
Zeal Workbook: Mathematical Logic  First Order Logic
Answer for this is a) but m getting d) as right option please check it
asked
Nov 9, 2018
in
Mathematical Logic
by
Prince Sindhiya
Loyal
(
5.6k
points)

41
views
zeal
mathematicallogic
firstorderlogic
zealworkbook
0
votes
1
answer
20
Zeal Workbook: Mathematical Logic  First Order Logic
answer for this is A) My doubt is why D) can't be the answer
asked
Nov 9, 2018
in
Mathematical Logic
by
Prince Sindhiya
Loyal
(
5.6k
points)

50
views
discretemathematics
mathematicallogic
firstorderlogic
zealworkbook
0
votes
0
answers
21
No idea about what to study in FIRST ORDER LOGIC
Hello, please kindly tell from where to study topic FIRST ORDER LOGIC? Also, list out the topics which are needed to be studied from topic FIRST ORDER LOGIC?!
asked
Sep 28, 2018
in
Mathematical Logic
by
iarnav
Loyal
(
8.2k
points)

85
views
mathematicallogic
propositionallogic
firstorderlogic
0
votes
0
answers
22
PREDICATE LOGIC SELF DOUBT
Some people are Time Travelers and some people are not Time Travelers. P(x) = x is a Person T(x) = x is a Time Traveler Which is/are correct and why? (∀x)(P(x) $\rightarrow$(T(x)∨~T(x))) (∃x)(P(x)^T(x)) ∨ (∃x)(P(x)^~T(x)) (∃x)(P(x)^T(x)) ^ (∃x)(P(x)^~T(x)) (∀x)((P(x)$\rightarrow$T(x)) ∨ (P(x)$\rightarrow$~T(x))) P(x) (∀x)P (∀x)P(x) P
asked
Sep 27, 2018
in
Mathematical Logic
by
Balaji Jegan
Active
(
4.9k
points)

52
views
propositionallogic
firstorderlogic
0
votes
0
answers
23
Techtud quiz
Twin primes are pairs of numbers pp and p+2p+2 such that both are primesfor instance, 5 and 7, 11 and 13, 41 and 43. The Twin Prime Conjecture says that there are infinitely many twin primes. Let TwinPrime(n)TwinPrime(n) be a predicate that is true if nn and n ... (n)) ∃m.∀n.n≤m∃m.∀n.n≤m implies TwinPrime(n) ∀m.∃n.n≤m∀m.∃n.n≤m and TwinPrime(n) ∃m.∀n.∃m.∀n. TwinPrime(n) implies n≤m
asked
Sep 17, 2018
in
Mathematical Logic
by
Kuldeep Pal
Active
(
1.4k
points)

24
views
firstorderlogic
0
votes
0
answers
24
Predicate logic gatebook test on logic Q18
asked
Sep 8, 2018
in
Mathematical Logic
by
Sandy Sharma
Active
(
1.2k
points)

106
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
0
votes
0
answers
25
Predicate logic gatebook test on logic Q13
Consider the following statement where parent(x,y) means x is a parent of y. Which of the following statement is true about above first order logic statement ? A. Ramu has at least one parent B. Ramu has at least two parents C. Ramu has at most one parent D. Ramu has at most two parents
asked
Sep 8, 2018
in
Mathematical Logic
by
Sandy Sharma
Active
(
1.2k
points)

82
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
0
votes
0
answers
26
Predicate logic gatebook test on logic Q4
Minesweeper is a singleplayer computer game invented by Robert Donner in 1989. A unary predicate mine, where mine(x) means that the cell x contains a mine Which of the following statements is the correct interpretation of the above formula? A. There are ... are at least n mines in the game C. There are at most n mines in the game D. None of the above
asked
Sep 8, 2018
in
Mathematical Logic
by
Sandy Sharma
Active
(
1.2k
points)

55
views
mathematicallogic
propositionallogic
firstorderlogic
discretemathematics
0
votes
3
answers
27
UGCNETJuly2018II77
Consider the following English sentence: "Agra and Gwalior are both in India". A sudent has written a logical sentence for the above English sentence in FirstOrder Logic using predicate IN(x, y), which means x is in y, as ... but expresses the meaning of the English sentence It is syntactically invalid and does not express the meaning of the English sentence
asked
Jul 13, 2018
in
Discrete Mathematics
by
Pooja Khatri
Boss
(
10.8k
points)

295
views
ugcnetjuly2018ii
discretemathematics
firstorderlogic
+2
votes
2
answers
28
Propositional logic
I am unable to prove following equations without using truth table 1) p > (q v r) = (p>q) V (p>r) 2) ~(p <> q) = p <> ~q
asked
Jul 12, 2018
in
Mathematical Logic
by
kd.....
Junior
(
837
points)

96
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
1
answer
29
self doubt
If Mr.M is guilty, then no witness is lying unless he is afraid. X: Mr M is guilty Y: No witness is lying Z: he is afraid translation: (X ^ ~Z) > Y. Is this correct? If yes please explain the implication in these answers https://gateoverflow.in/20939/tifr2012a2. Thank you.
asked
Jul 12, 2018
in
Mathematical Logic
by
tusharp
Loyal
(
7.2k
points)

70
views
discretemathematics
firstorderlogic
0
votes
2
answers
30
Self doubt
Which is appropriate for the statement and why?
asked
Jul 11, 2018
in
Mathematical Logic
by
tusharp
Loyal
(
7.2k
points)

55
views
discretemathematics
firstorderlogic
Page:
1
2
3
4
5
next »
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
OFFICIAL GATE MOCK TEST RELEASED
IIITH: Winter Research Admissions 2019 (For Spring 2020)
TIFR and JEST exam
Minimal Deterministic Finite Automata
To be aware of fake GATE test series
Follow @csegate
Recent questions tagged firstorderlogic
Recent Blog Comments
What region behind page not found in gate...
Sir can you please suggest some way like how can...
I think it's been refactored...
@ankitgupta.1729 options after JEST for...
@ankitgupta.1729 @arjun sir There is no...
50,651
questions
56,214
answers
194,175
comments
95,433
users