Register

Recent questions tagged first-order-logic

0 votes
0 answers
151
Mathematical 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.
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.
User Avatar
2 votes
0 answers
154
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 ?
∀x(∀z(β)→∃y(¬α))⟹∀x(¬∀z(β)∨∃y(¬α))⟹¬∃x¬(¬∀z(β)∨∃y(¬α))⟹¬∃x(∀z(β)∧¬∃y(¬α))⟹¬∃x(∀z(β)∧∀y(α)) In the thi...
User Avatar
0 votes
1 answer
157
#books
Some cat are intelligent express into first order logic if domain are animals
Some cat are intelligentexpress into first order logic if domain are animals
User Avatar
1 votes
1 answer
164
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
CONVERT IN TO LOGICNo one who loves some one is not loved by anyonelets S(x):x is somebodyL(x,y):x loves y
User Avatar
0 votes
1 answer
165
First Order Logic: GATE2005-41 ( From gate Overflow volume 1)
Can the answer to this be "∀x ∃y (teacher (x) ∧ student (y) ∧ likes (y,x))" ?
Can the answer to this be "∀x ∃y (teacher (x) ∧ student (y) ∧ likes (y,x))" ?
User Avatar
0 votes
0 answers
166
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?!
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?!
User Avatar
0 votes
1 answer
167
PREDICATE LOGIC DOUBT
Only Area 51 has Extra-Terresstrials A(x) = x is Area 51 E(x) = x has Extra-Terresstrials Which of the following is correct? (∀x)(A(x) -> E(x)) (∀x)(E(x) -> A(x)) (∀x)(A(x) <-> E(x))
Only Area 51 has Extra-TerresstrialsA(x) = x is Area 51E(x) = x has Extra-TerresstrialsWhich of the following is correct?(∀x)(A(x) - E(x))(∀x)(E(x) - A(x))(∀x)(A(x)...
User Avatar
2 votes
2 answers
175
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
I am unable to prove following equations without using truth table1) p - (q v r) = (p->q) V (p->r) 2) ~(p <- q) = p <- ~q
User Avatar
0 votes
2 answers
177
Self doubt
Which is appropriate for the statement and why?
Which is appropriate for the statement and why?
User Avatar
1 votes
1 answer
178
self doubt
dog(x) = x is a dog Int (x) = x is intelligent write in logic form No dogs are intelligent.
dog(x) = x is a dogInt (x) = x is intelligentwrite in logic formNo dogs are intelligent.
User Avatar
0 votes
2 answers
179
IIT M video questions
P(x,y,z), xy=z, Universe is interger; write in logic form If xy=x for all y, then x =0. Thank you
P(x,y,z), xy=z, Universe is interger;write in logic formIf xy=x for all y, then x =0.Thank you
User Avatar
Page: