Login
Register
@
Dark Mode
Profile
Edit my Profile
Messages
My favorites
Register
Activity
Q&A
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous Years
Blogs
New Blog
Exams
Dark Mode
Recent questions tagged first-order-logic
2
votes
1
answer
181
Mathematical Logic
$Student(a)$ : $a$ is a student $Loves(a,b)$ : $a$ loves $b$ Consider the following First Order Logic Statement: $\exists x (Student(x)\ \Lambda\ \forall y(student(y)\ \Lambda\ \sim(x=y)\Rightarrow Loves(y,x)\ ))$ Which of the following is ... by every other student There is a student who is not loved by every other student I think here B) and C) both could be answer, Isnot it??
srestha
asked
in
Mathematical Logic
Jan 27, 2018
by
srestha
729
views
discrete-mathematics
mathematical-logic
first-order-logic
3
votes
1
answer
182
[Discrete maths] Predicate logic
Which of the following is true about below predicate logic P? A) P is satisfiable B) P is tautology C) P is contradiction D) None This expression in the end reduces to:- ~ ∀z { True } Now this should mean => ∃z { False} So, how can it be contradiction as given answer is contradiction
rahul sharma 5
asked
in
Mathematical Logic
Jan 24, 2018
by
rahul sharma 5
443
views
propositional-logic
mathematical-logic
discrete-mathematics
first-order-logic
2
votes
1
answer
183
implication VS conjunction
When should we use implication and when conjunction? For example in this question: https://gateoverflow.in/989/gate2006-26?show=188041#c188041 What is the difference in options B and D?
♥_Less
asked
in
Mathematical Logic
Dec 31, 2017
by
♥_Less
981
views
propositional-logic
mathematical-logic
discrete-mathematics
first-order-logic
0
votes
0
answers
184
Can you prove or disprove following equation with possible example
\[\exists(x)P(x) \Leftrightarrow \exists(x) \bar P(x)\]
Durgesh Singh
asked
in
Mathematical Logic
Nov 20, 2017
by
Durgesh Singh
387
views
mathematical-logic
first-order-logic
engineering-mathematics
1
vote
1
answer
185
Self Doubt on order of execution of statements in Propositional Logic for implication operator
What would be the execution order of the below statement? $A \implies B \implies C$
Tuhin Dutta
asked
in
Mathematical Logic
Nov 17, 2017
by
Tuhin Dutta
1.2k
views
discrete-mathematics
mathematical-logic
propositional-logic
first-order-logic
2
votes
2
answers
186
Discrete maths:- Predicate logic
Consider $F(P), Q(P), L(P)$ denotes statements Printer $P$ is out of service , Print job $P$ is queued and Print job $P$ ... $\forall j (Q(j) \wedge L(j)) \rightarrow \exists p F(P)$
rahul sharma 5
asked
in
Mathematical Logic
Nov 16, 2017
by
rahul sharma 5
1.3k
views
mathematical-logic
propositional-logic
discrete-mathematics
first-order-logic
3
votes
1
answer
187
predicate logic
Recall that a predicate logic statement is contingent if its truth value depends on the choice of the universe and on the interpretations of the predicate symbol S and the constant symbol b involved. Consider the following predicate logic statements in which b, x ... - Contingent - Always false (C) Always true - Contingent - Contingent (D) Contingent - Always true - Always false
Parshu gate
asked
in
Mathematical Logic
Nov 11, 2017
by
Parshu gate
642
views
mathematical-logic
propositional-logic
first-order-logic
discrete-mathematics
two-place-predicate
1
vote
1
answer
188
First Order Logic
A = ∃x (P(x) ^ Q(x)). B = ∃x P(x) ^ ∃x Q(x). Which is correct? a) A => B b) B => A c) A <=> B d) None of These Please Explain.
nishant279
asked
in
Mathematical Logic
Oct 18, 2017
by
nishant279
1.2k
views
discrete-mathematics
mathematical-logic
first-order-logic
propositional-logic
quantifiers
0
votes
0
answers
189
First Order Logic
A = ∃x(P(x)^Q(x)) B = ∃x P(x) ^ ∃x Q(x), which is correct? a) A <=> B b) A => B c) B => A d) None of These Please Explain.
nishant279
asked
in
Mathematical Logic
Oct 18, 2017
by
nishant279
465
views
discrete-mathematics
mathematical-logic
first-order-logic
propositional-logic
quantifiers
0
votes
0
answers
190
Propositional and First Order Logic GATE-CS-2006
In the question whether this statement is a tautology ((A ∨ B) → C)) ≡ ((A → C) ∨ (B → C)) , If I take first part ((A ∨ B) → C)) as P and second part ((A → C) ∨ (B → C)) as Q , do I need to prove P-->Q is true? or both P-->Q and Q-->P as true? I am confused about the ≡ symbol.
preps
asked
in
Mathematical Logic
Sep 17, 2017
by
preps
1.1k
views
discrete-mathematics
first-order-logic
mathematical-logic
propositional-logic
4
votes
1
answer
191
Propositional Logic
Can someone please check if my solution is correct?
Manu Thakur
asked
in
Mathematical Logic
Sep 13, 2017
by
Manu Thakur
672
views
propositional-logic
discrete-mathematics
first-order-logic
mathematical-logic
1
vote
2
answers
192
Discrete maths Predicate logic
( ∃x(P(x))→∃x(Q(x)) ) → ( ∃x(P(x)→Q(x)) ) ( ∃x(P(x)→Q(x)) ) → ( ∃x(P(x))→∃x(Q(x)) ) Which of the above is valid and for not valid please give me counter example where LHS is true but RHS is false?
rahul sharma 5
asked
in
Mathematical Logic
Jul 28, 2017
by
rahul sharma 5
882
views
mathematical-logic
propositional-logic
discrete-mathematics
first-order-logic
4
votes
0
answers
193
#Gate2003
Consider the following logic program P A(x) <- B(x, y), C(y) <- B(x,x) Which of the following first order sentences is equivalent to P? Can anyone explain how it can be solved ?
Syedarshadali
asked
in
Mathematical Logic
Jun 29, 2017
by
Syedarshadali
986
views
discrete-mathematics
first-order-logic
gatecse-2003
0
votes
1
answer
194
[Discrete Maths] predicate Logic
Represent using logic connectives :- 1. "Whenever there is an active alert, all queued messages are transmitted." Given answer is :-∃x(Alert(x)∧Active(x))→∀y((Message(y)∧Queued(y))→Transmitted(y)) 2. Purple mushrooms are poisonous ∀x( purple(x)∧mushroom(x)→ ... What is wrong in this? so ∀(Alert(x) ^ Active(x) -> XYZ). Why are we using ∃ in the start.?
rahul sharma 5
asked
in
Mathematical Logic
Jun 18, 2017
by
rahul sharma 5
1.2k
views
mathematical-logic
first-order-logic
propositional-logic
discrete-mathematics
2
votes
1
answer
195
[Discrete Maths] First Order Logic
rahul sharma 5
asked
in
Mathematical Logic
Jun 14, 2017
by
rahul sharma 5
1.7k
views
mathematical-logic
first-order-logic
propositional-logic
discrete-mathematics
1
vote
1
answer
196
[Discrete Maths] predicate Logic
rahul sharma 5
asked
in
Mathematical Logic
Jun 14, 2017
by
rahul sharma 5
1.3k
views
mathematical-logic
first-order-logic
propositional-logic
discrete-mathematics
1
vote
2
answers
197
[Discrete Maths] predicate logic
Whether following statement is correct? Every satisfiable is not tautology. I am reading it as:- 1st way :- If it is satisfiable then it is not tautology. So it should be false 2nd way:- It is same as saying that every ... not tautology because there are some satisfiable which are not tautologies as they are contingencies. Please clarify which is correct and why?
rahul sharma 5
asked
in
Mathematical Logic
Jun 13, 2017
by
rahul sharma 5
708
views
mathematical-logic
first-order-logic
propositional-logic
discrete-mathematics
0
votes
1
answer
198
first order logic notations
can someone please tell when to interpret this symbol $\Leftrightarrow$ as logical equivalence and when as double implication?
vineet.ildm
asked
in
Mathematical Logic
Jun 13, 2017
by
vineet.ildm
1.0k
views
first-order-logic
discrete-mathematics
mathematical-logic
0
votes
1
answer
199
[Discrete Maths] Predicate Logic,Rosen Ex1.5,problem,9.e
Q: Consider the following premises:- 1.1. What is good for corporations is good for the United States. 2.2. What is good for the United States is good for you. 3.3. What is good for the corporations is for you to buy lots of stuff. What are the valid conclusions?
rahul sharma 5
asked
in
Mathematical Logic
Jun 9, 2017
by
rahul sharma 5
2.0k
views
mathematical-logic
discrete-mathematics
propositional-logic
first-order-logic
0
votes
0
answers
200
[Discrete Maths] Predicate logic
Are the following statements same? 1. Everybody loves exactly one person. 2.There is exactly one person whom everybody loves
rahul sharma 5
asked
in
Mathematical Logic
Jun 9, 2017
by
rahul sharma 5
753
views
mathematical-logic
first-order-logic
propositional-logic
discrete-mathematics
1
vote
1
answer
201
gatebook predicate logic practice problems
Hi Can anyone please explain this statements S1: ∀x ∃y ∀z [ x+ y = z] S2: ∃x ∀y ∃z [x + y = z] Where x, y, z are real numbers. Which of the following statement is true?
Siva Tarun
asked
in
Mathematical Logic
Jun 7, 2017
by
Siva Tarun
815
views
mathematical-logic
first-order-logic
propositional-logic
1
vote
1
answer
202
Gatebook - predicate Logic - negating
PFB practice question from GATEBOOK on predicate logic. a) Everyone loves every one Solution: somebody hates somebody b) Nobody loves everybody Solution: someone loves every body c) Somebody loves somebody Solution: nobody loves somebody ... above statements: a)No one Loves Everyone b)Everybody Loves Everybody c)everybody loves everybody d)Nobody Loves Someone
Siva Tarun
asked
in
Mathematical Logic
Jun 6, 2017
by
Siva Tarun
992
views
mathematical-logic
first-order-logic
propositional-logic
0
votes
1
answer
203
first order logic
Is it always the case that implication comes with universal quantifier and conjunction comes with existential quantifier?
vineet.ildm
asked
in
Mathematical Logic
Jun 5, 2017
by
vineet.ildm
641
views
first-order-logic
mathematical-logic
discrete-mathematics
0
votes
1
answer
204
Predicate Logic For All Quantifier
"Every Lion Drinks Coffee'. UoD : Animals The equivalent First Order Logic statement for the above statment is $\forall x(Cat(x) )\rightarrow Coffee(x))$ Lets consider in UoD (animals), let there may be a CAT, TIGER ..etc and ... animal is not a lion, then it shouldn't drink coffee??. if its true then the first order logic statement is valid.
Siva Tarun
asked
in
Mathematical Logic
Jun 2, 2017
by
Siva Tarun
1.0k
views
mathematical-logic
first-order-logic
1
vote
2
answers
205
[Discrete Maths] Predicate Logic):-
A(x) :- Apple on the table. Give predicate logic that there is at most one apple on the table. 1. ∃x∃y(A(x) ^ A(y) ) ->x=y 2.∀x∀y(A(x) ^ A(y) ) ->x=y I know first one is correct,but why second one is not ... in the universe are apples on the table ,then they must be same.It also follows same thing. So are both versions correct?Or i am mistaking somehwere?
rahul sharma 5
asked
in
Mathematical Logic
Jun 2, 2017
by
rahul sharma 5
771
views
mathematical-logic
first-order-logic
propositional-logic
discrete-mathematics
1
vote
1
answer
206
Test by Bikram | Mock GATE | Test 4 | Question: 55
Consider the proposition given below: $\text{Hate} (a, b)$ denotes $a$ hates $b$ ... hates everybody except Michael. Marlyn only hates Michael. Marlyn loves everybody except Michael. Marlyn is loved only by Michael.
Bikram
asked
in
Mathematical Logic
May 14, 2017
by
Bikram
273
views
tbb-mockgate-4
discrete-mathematics
first-order-logic
1
vote
1
answer
207
First Order Logic
Can some explain the basics of First Order Logic like what various terms means, what are various properties ?
Arunav Khare
asked
in
Study Resources
Apr 7, 2017
by
Arunav Khare
827
views
first-order-logic
discrete-mathematics
mathematical-logic
1
vote
3
answers
208
propositional logic
Which of the following statements are ALWAYS TRUE ? A) ∀x [P(x)] ---> ∃x [P(x)] B) ∃x [P(x)] ---> ∀x [P(x)] C) Both A) and B) and so both are equivalent D) Neither A) nor B)
Vicky rix
asked
in
Mathematical Logic
Mar 7, 2017
by
Vicky rix
918
views
propositional-logic
discrete-mathematics
mathematical-logic
first-order-logic
engineering-mathematics
0
votes
2
answers
209
propositional logic
Which of the following propositional statements is TRUE ? A) ∀x ∀z ∃y [ P(x,y) ]---> ∃y ∀x ∀z [ P(x,y) ] B) ∃y ∀x ∀z [ P(x,y) ]---> ∀x ∀z ∃y [ P(x,y) ] C) Both A) and B) and so both are equivalent D) None of the above.
Vicky rix
asked
in
Mathematical Logic
Mar 7, 2017
by
Vicky rix
903
views
propositional-logic
discrete-mathematics
mathematical-logic
first-order-logic
engineering-mathematics
1
vote
2
answers
210
propositional logic
Translate each of these statements into logical expressions a) Someone in your school has visited Uzbekistan. b) Everyone in your class has studied calculus and C++. c) No one in your school owns both a bicycle and a motorcycle. d) There is a person in your school who is not happy. e) Everyone in your school was born in the twentieth century.
Vicky rix
asked
in
Mathematical Logic
Mar 7, 2017
by
Vicky rix
3.9k
views
propositional-logic
discrete-mathematics
mathematical-logic
first-order-logic
engineering-mathematics
Page:
« prev
1
2
3
4
5
6
7
8
9
10
next »
Subscribe to GATE CSE 2024 Test Series
Subscribe to GO Classes for GATE CSE 2024
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
Post GATE 2024 Guidance [Counseling tips and resources]
GATE CSE 2024 Result Responses
[Project Contest] Pytorch backend support for MLCommons Cpp Inference implementation
Participating in MLCommons Inference v4.0 submission (deadline is February 23 12pm IST)
IIITH PGEE 2024 Test Series by GO Classes
Subjects
All categories
General Aptitude
(3.5k)
Engineering Mathematics
(10.4k)
Digital Logic
(3.6k)
Programming and DS
(6.2k)
Algorithms
(4.8k)
Theory of Computation
(6.9k)
Compiler Design
(2.5k)
Operating System
(5.2k)
Databases
(4.8k)
CO and Architecture
(4.0k)
Computer Networks
(4.9k)
Artificial Intelligence
(79)
Machine Learning
(48)
Data Mining and Warehousing
(25)
Non GATE
(1.4k)
Others
(2.7k)
Admissions
(684)
Exam Queries
(1.6k)
Tier 1 Placement Questions
(17)
Job Queries
(80)
Projects
(11)
Unknown Category
(870)
64.3k
questions
77.9k
answers
244k
comments
80.0k
users
Recent questions tagged first-order-logic
Recent Blog Comments
category ?
Hi @Arjun sir, I have obtained a score of 591 in ...
download here
Can you please tell about IIT-H mtech CSE self...
Please add your admission queries here:...