Register

Search results for first-order-logic

31 votes
5 answers
21
GATE CSE 1989 | Question: 14a
Symbolize the expression "Every mother loves her children" in predicate logic.
Symbolize the expression "Every mother loves her children" in predicate logic.
User Avatar
54 votes
6 answers
22
GATE CSE 2006 | Question: 26
Which one of the first order predicate calculus statements given below correctly expresses the following English statement? Tigers and lions attack if they are hungry or threatened. ...
Which one of the first order predicate calculus statements given below correctly expresses the following English statement? Tigers and lions attack if they are hungry or ...
User Avatar
43 votes
8 answers
24
GATE CSE 2007 | Question: 22
Let $\text{ Graph}(x)$ be a predicate which denotes that $x$ is a graph. Let $\text{ Connected}(x)$ be a predicate which denotes that $x$ ... $\forall x \, \Bigl ( \text{ Graph}(x) \implies \lnot \text{ Connected}(x) \Bigr )$
Let $\text{ Graph}(x)$ be a predicate which denotes that $x$ is a graph. Let $\text{ Connected}(x)$ be a predicate which denotes that $x$ is connected. Which of the follo...
User Avatar
0 votes
1 answer
25
FIRST & FOLLOR
S -> A B A -> f S f A -> b b B d B -> Ɛ B -> c First(S) = First(A) = First(B) = Follow(S) = Follow(A) = Follow(B) =
S - A BA - f S fA - b b B dB - ƐB - cFirst(S) =First(A) =First(B) =Follow(S) =Follow(A) =Follow(B) =
User Avatar
37 votes
6 answers
31
GATE CSE 2014 Set 1 | Question: 1
Consider the statement "Not all that glitters is gold Predicate glitters$(x)$ is true if $x$ glitters and predicate gold$(x)$ is true if $x$ ... $\exists x: \text{glitters}(x)\wedge \neg \text{gold}(x)$
Consider the statement "Not all that glitters is gold”Predicate glitters$(x)$ is true if $x$ glitters and predicate gold$(x)$ is true if $x$ is gold. Which one of the ...
User Avatar
4 votes
3 answers
33
GATE 2008 | Question 21
I have been trying to solve the question GATE CSE 2008 Question. Are the following two representations logically equivalent ? $\beta \rightarrow (\exists x, \alpha (x))$ $\exists x, \beta \rightarrow \alpha (x)$
I have been trying to solve the question GATE CSE 2008 Question.Are the following two representations logically equivalent ?$\beta \rightarrow (\exists x, \alpha (x))$$\e...
User Avatar
0 votes
1 answer
37
FOL
How do you convert the FOL to English phrases? It seems sometimes so difficult. Can you mention some video link or some article where I can get my concept clear on this?
How do you convert the FOL to English phrases? It seems sometimes so difficult. Can you mention some video link or some article where I can get my concept clear on this?
User Avatar
0 votes
1 answer
40
Doubt on First Order Logic
Can anyone explain this how this implication is valid with an example ∃x (Px ⊕ Qx) <-- ∃xPx ⊕ ∃xQx
Can anyone explain this how this implication is valid with an example∃x (Px ⊕ Qx) < ∃xPx ⊕ ∃xQx
User Avatar
Page: