GATE 1992
closed

kaveeshnyk asked Apr 14, 2019 • closed Apr 14, 2019 by Arjun

544 views

See all

Related questions

78 votes

6 answers

Arjun asked Sep 2, 2014

16,531 views

GATE CSE 1992 | Question: 92,xv
Which of the following predicate calculus statements is/are valid? $(\forall (x)) P(x) \vee (\forall(x))Q(x) \implies (\forall (x)) (P(x) \vee Q(x))$ $(\exists (x)) P(x) \wedge (\exists (x))Q(x) \implies (\exists (x)) (P(x) \wedge Q(x))$ ... $(\exists (x)) (P(x) \vee Q(x)) \implies \sim (\forall (x)) P(x) \vee (\exists (x)) Q(x)$

Which of the following predicate calculus statements is/are valid?$(\forall (x)) P(x) \vee (\forall(x))Q(x) \implies (\forall (x)) (P(x) \vee Q(x))$$(\exists (x)) P(x) \w...

Arjun

16.5k views

Arjun asked Sep 2, 2014

67 votes

10 answers

Arjun asked Feb 7, 2019

20,124 views

GATE CSE 2019 | Question: 35
Consider the first order predicate formula $\varphi$: $\forall x [ ( \forall z \: z | x \Rightarrow (( z=x) \vee (z=1))) \rightarrow \exists w ( w > x) \wedge (\forall z \: z | w \Rightarrow ((w=z) \vee (z=1)))]$ Here $a \mid b$ denotes ... of all integers Which of the above sets satisfy $\varphi$? $S_1$ and $S_2$ $S_1$ and $S_3$ $S_2$ and $S_3$ $S_1, S_2$ and $S_3$

Consider the first order predicate formula $\varphi$:$\forall x [ ( \forall z \: z | x \Rightarrow (( z=x) \vee (z=1))) \rightarrow \exists w ( w x) \wedge (\forall z \:...

Arjun

20.1k views

Arjun asked Feb 7, 2019

0 votes

0 answers

preps asked Sep 17, 2017

1,132 views

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.

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...

preps

1.1k views

preps asked Sep 17, 2017

1 votes

1 answer

Bikram asked May 14, 2017

276 views

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.

Consider the proposition given below:$\text{Hate} (a, b)$ denotes $a$ hates $b$.What is the correct translation of the below mentioned First Order Logic statement?$\foral...

Bikram

276 views

Bikram asked May 14, 2017

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

GATE 1992
closed

Please log in or register to add a comment.

0 Answers

Related questions

0 reply

Please log in or register to add a comment.

0 Answers

Related questions

0