The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
GATE Overflow
Facebook Login
Google Login
or
Email or Username
Password
Remember
Login
Register

I forgot my password
All Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous
Blogs
New Blog
Exams
First time here? Checkout the
FAQ
!
x
×
Close
Use the google search bar on side panel. It searches through all previous GATE/other questions. For hardcopy of previous year questions please see
here
Recent questions tagged propositionallogic
0
votes
0
answers
1
#notesbook
you cannot ride the roller coaster if you are under 4 feet tall unless you are old then 16 years convert into propostional logic
asked
4 days
ago
in
Mathematical Logic
by
amit166
(
329
points)

8
views
#propostional
propositionallogic
0
votes
0
answers
2
Test Series
I think both B and C should be the answer, But only C is provided as the answer.
asked
Oct 29
in
Mathematical Logic
by
Gupta731
Active
(
1.5k
points)

31
views
discretemathematics
propositionallogic
0
votes
1
answer
3
Self Doubt
formulas represent the sentence, 'He will come on the 8:15 or the 9:15 train; if the former, he will have time to visit us', where p means 'He will come on the 8:15' q means 'He will come on the 9:15' r means 'He will have time to visit us'
asked
Oct 29
in
Mathematical Logic
by
manisha11
Active
(
1.2k
points)

22
views
propositionallogic
0
votes
0
answers
4
GATEBOOK2019DM16
Which of the following propositional formulae represents the sentence, 'He will come in the 8:15 or the 9:15 train; if the former, he will have time to visit us', where $p$ means 'He will come on the 8:15' $q$ means 'He will come on the 9:15' $r$ means 'He will have time ... vee q \rightarrow r $ $ ( p \rightarrow q) \wedge ( p \vee r )$ $ (p \vee q ) \wedge (p \rightarrow r)$
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.7k
points)

13
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
+1
vote
1
answer
5
GATEBOOK2019DM17
Which of the following propositional formulae is a tautology? $(\neg p \vee r ) \rightarrow (p \vee \neg r)$ $ \neg ( p \rightarrow (p \wedge q ))$ $ r \rightarrow ( p \wedge \neg r )$ $ ( p \leftrightarrow q ) \vee (p \leftrightarrow \neg q)$
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.7k
points)

29
views
gb2019dm1
discretemathematics
propositionallogic
mathematicallogic
0
votes
0
answers
6
GATEBOOK2019DM19
Which of the following formulas represents the sentence, 'Share prices will go up, and if interest rates go up too, there will be a recession', where ; $p$ means 'share prices will go up' $q$ means 'interest rates will go up' $r$ means 'there will be a recession'. $ p \wedge q \rightarrow r$ $ p \wedge (q \rightarrow r)$ $ p \rightarrow q \wedge r$ $ (p \rightarrow q) \vee r$
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.7k
points)

9
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
+1
vote
1
answer
7
GATEBOOK2019DM110
Assuming a nonempty universe, the formula $(\forall x P(x) \vee \exists y P(y))$ is equivalent to $\exists x (P(x))$ $ (\forall x P(x))$ $ \neg (\forall x P(x))$ $ \neg (\exists x (P(x))$
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.7k
points)

44
views
gb2019dm1
discretemathematics
propositionallogic
mathematicallogic
0
votes
0
answers
8
GATEBOOK2019DM111
Suppose that $P(x,y)$ means "x is a parent of y" and $M(x)$ means "x is a male". If $F(v,w)$ equals $M(v) \wedge \exists x \exists y (P(x,y) \wedge P(x,v) \wedge (y \neq v ) \wedge P(y,w)), $ the meaning of the expression $F(v,w)$ is $v$ is a brother of $w$ $v$ is an uncle of $w$ $v$ is a grandfather of $w$ $v$ is a nephew of $w$
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.7k
points)

15
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
quantifiers
0
votes
0
answers
9
GATEBOOK2019DM112
Translate the following logic statement to English. where, $A(x)$: $x$ is African, $F(x,y)$: x and y are friends. The universe for $x$ and $y$ is all the people in the world. $$\forall x((A(x) \vee (F(x,y)))$$ Every African has some African friend Every person who is not African has at least one friend Every person who has friend is not African None of these
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.7k
points)

46
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
quantifiers
+1
vote
0
answers
10
GATEBOOK2019DM114
Consider the following inference system: $P$ $\sim P \vee Q$ $\sim Q \vee R$ Which of the following is a valid conclusion ? $R$ $ \sim R$ $ \sim Q$ $ \sim R \wedge Q$
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.7k
points)

16
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
+1
vote
0
answers
11
GATEBOOK2019DM115
Let I denote the formula $ (q \rightarrow p) \rightarrow (p \rightarrow q)$ Let II denote the formula $(p\rightarrow q) \wedge q$ Which of the following is true? I is not tautology and II is not satisfiable I is not tautology and II is satisfiable I is satisfiable and II is not satisfiable I is tautology and II is satisfiable
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.7k
points)

11
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
0
votes
0
answers
12
GATEBOOK2019DM116
Which of the following statements is not necessarily true ? $\forall x \forall y P(x,y) \Leftrightarrow \forall y \forall x P(x,y)$ $ \exists x \exists y P(x,y) \Leftrightarrow \exists y \exists x P(x,y)$ $\forall x \exists y P(x,y) \Rightarrow \exists y \forall x P(x,y) $ $ \exists y \forall x P(x,y) \Rightarrow \forall x \exists y P(x,y)$
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.7k
points)

9
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
quantifiers
0
votes
0
answers
13
GATEBOOK2019DM120
A binary operator is defined as follows $P \Updownarrow Q = \sim P \wedge Q$ which of the following statement is equivalent to $P \rightarrow Q $ $\sim P \Updownarrow Q$ $\sim( P \Updownarrow Q)$ $\sim( \sim P \Updownarrow Q)$ $\sim ( \sim P \Updownarrow \sim Q)$
asked
Oct 28
in
Mathematical Logic
by
GATEBOOK
Active
(
1.7k
points)

10
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
+1
vote
0
answers
14
Gateforum Test Series
asked
Oct 12
in
Mathematical Logic
by
Gupta731
Active
(
1.5k
points)

31
views
discretemathematics
propositionallogic
0
votes
1
answer
15
Gateforum Test series
asked
Oct 12
in
Mathematical Logic
by
Gupta731
Active
(
1.5k
points)

34
views
discretemathematics
propositionallogic
0
votes
0
answers
16
Propositional Logic
Howto solve this type of question?
asked
Oct 2
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
14.1k
points)

37
views
discretemathematics
propositionallogic
0
votes
1
answer
17
Implication
Which of the following Implications are Tautologies? 1) If I drink milk, I'm healthy or If I'm healthy, I do maths. 2)If it is not the case that riches is sufficient for Mr. X to be happy then Mr. X is rich and not happy. A) Both (1) and (2) B) only (1) C) only (2) D) Neither
asked
Oct 2
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
14.1k
points)

30
views
discretemathematics
propositionallogic
0
votes
0
answers
18
test series
please someone explain the approach?
asked
Oct 1
in
Mathematical Logic
by
Rudra Pratap
(
437
points)

29
views
propositionallogic
0
votes
0
answers
19
Nested Quantifiers
If we have ∀x(p(x)) then in boolean algebra form we can write this statement as (P1 + P2) where + signifies OR which makes it very easy to deal with. So likewise is there any way to have a view of a statement like ∀x∀y(R(x,y)) into boolean form?
asked
Sep 29
in
Mathematical Logic
by
sushil1997
(
35
points)

20
views
mathematicallogic
discretemathematics
kennethrosen
blocknestedloopjoin
propositionallogic
0
votes
0
answers
20
No idea about what to study in FIRST ORDER LOGIC
asked
Sep 28
in
Mathematical Logic
by
iarnav
Loyal
(
9k
points)

41
views
mathematicallogic
propositionallogic
firstorderlogic
0
votes
0
answers
21
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
in
Mathematical Logic
by
Balaji Jegan
Active
(
3.1k
points)

35
views
propositionallogic
firstorderlogic
0
votes
0
answers
22
Propositional Logic
Are the following first order logic formulae equivalent?
asked
Sep 25
in
Mathematical Logic
by
srestha
Veteran
(
101k
points)

51
views
propositionallogic
mathematicallogic
discretemathematics
0
votes
1
answer
23
ace booklet
whats ans of this qn and please explain
asked
Sep 13
in
Mathematical Logic
by
Vegeta
(
453
points)

57
views
acebooklet
engineeringmathematics
discretemathematics
propositionallogic
0
votes
0
answers
24
Predicate logic gatebook test on logic Q18
asked
Sep 8
in
Mathematical Logic
by
Sandy Sharma
Junior
(
975
points)

58
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
0
votes
0
answers
25
Predicate logic gatebook test on logic Q13
asked
Sep 8
in
Mathematical Logic
by
Sandy Sharma
Junior
(
975
points)

25
views
mathematicallogic
firstorderlogic
propositionallogic
discretemathematics
0
votes
0
answers
26
Predicate logic gatebook test on logic Q4
asked
Sep 8
in
Mathematical Logic
by
Sandy Sharma
Junior
(
975
points)

28
views
mathematicallogic
propositionallogic
firstorderlogic
discretemathematics
0
votes
2
answers
27
Propositional Logic
Ans. A
asked
Aug 19
in
Mathematical Logic
by
Na462
Loyal
(
6.9k
points)

49
views
propositionallogic
mathematicallogic
discretemathematics
0
votes
3
answers
28
Propositional Logic
Ans. B
asked
Aug 19
in
Mathematical Logic
by
Na462
Loyal
(
6.9k
points)

52
views
propositionallogic
mathematicallogic
discretemathematics
0
votes
0
answers
29
self doubt
translate english statements into predicate. Q)No one in your school owns both a bicycle and a motorcycle. i got this $\neg(\forall x(S(x)\implies (B(x)\wedge M(x)))$
asked
Aug 10
in
Mathematical Logic
by
Prince Sindhiya
Active
(
4.3k
points)

12
views
propositionallogic
0
votes
2
answers
30
Proposition Logic
asked
Aug 9
in
Mathematical Logic
by
aditi19
Active
(
1.2k
points)

71
views
mathematicallogic
propositionallogic
discretemathematics
Page:
1
2
3
4
5
6
...
9
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
Basic LaTeX guide
IIT Madras Phd
Databases GO Classroom
Happy Birthday Sir Arjun
NIELIT EXAM DATE 2018
Follow @csegate
Gatecse
Recent questions tagged propositionallogic
Recent Blog Comments
I guess you meant while chasing :) Anyway those...
I'll write a post on how to best...
@Gaurav Go through all the previous yr questions,...
Belated Happy Birthday Arjun Sir
42,491
questions
48,518
answers
154,897
comments
63,255
users