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
Exam Category
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.
Search results for propositionallogic
+27
votes
5
answers
1
GATE2016201
Consider the following expressions: $false$ $Q$ $true$ $P\vee Q$ $\neg Q\vee P$ The number of expressions given above that are logically implied by $P \wedge (P \Rightarrow Q)$ is ___________.
asked
Feb 12, 2016
in
Mathematical Logic
by
Akash Kanase
Veteran
(
46.8k
points)

3.2k
views
gate20162
mathematicallogic
normal
numericalanswers
propositionallogic
+6
votes
6
answers
2
GATE2017211
Let $p, q, r$ denote the statements It is raining , It is cold , and It is pleasant , respectively. Then the statement It is not raining and it is pleasant, and it is not pleasant only if it is raining and it is cold is represented by $(\neg p \wedge r) \wedge (\neg r ... p \wedge r) \vee ((p \wedge q) \rightarrow \neg r)$ $(\neg p \wedge r) \vee (r \rightarrow (p \wedge q))$
asked
Feb 14
in
Mathematical Logic
by
khushtak
Boss
(
7.9k
points)

1.4k
views
gate20172
mathematicallogic
propositionallogic
+22
votes
5
answers
3
GATE 201611
Let $p, q, r, s$ represents the following propositions. $p:x\in\left\{8, 9, 10, 11, 12\right\}$ $q:$ $x$ is a composite number. $r:$ $x$ is a perfect square. $s:$ $x$ is a prime number. The integer $x\geq2$ which satisfies $\neg\left(\left(p\Rightarrow q\right) \wedge \left(\neg r \vee \neg s\right)\right)$ is ____________.
asked
Feb 12, 2016
in
Mathematical Logic
by
Sandeep Singh
Boss
(
9.2k
points)

2.3k
views
gate20161
mathematicallogic
normal
numericalanswers
propositionallogic
0
votes
1
answer
4
Tautology of contingency
asked
4 days
ago
in
Mathematical Logic
by
Parshu gate
Loyal
(
3.7k
points)

23
views
propositionallogic
mathematicallogic
0
votes
1
answer
5
propositional Logic
What is the difference between => and <=> ?
asked
5 days
ago
in
Mathematical Logic
by
Parshu gate
Loyal
(
3.7k
points)

34
views
propositionallogic
discretemathematics
+2
votes
0
answers
6
propositional logic
If Salman Khan is guilty, then no witness is lying unless he is afraid. There is a witness who is afraid. Which of the following statements is true? (A) Salman Khan is guilty (B) Salman Khan is not guilty (C) There is a witness who is lying (D) From these facts one cannot conclude that Salman Khan is guilty
asked
Nov 14
in
Mathematical Logic
by
Parshu gate
Loyal
(
3.7k
points)

12
views
propositionallogic
discretemathematics
+1
vote
1
answer
7
Discrete mathematics
is there any difference between in valid and tautology?
asked
Nov 14
in
Mathematical Logic
by
Ravi prakash pandey
Junior
(
549
points)

19
views
propositionallogic
0
votes
0
answers
8
prepositional logic : For all is not perfect is equal to someone is not perfect or someone is perfect .
asked
2 days
ago
in
Mathematical Logic
by
hem chandra joshi
Loyal
(
3.4k
points)

21
views
propositionallogic
–1
vote
1
answer
9
Gate Academy
Which of the following is valid first order formula?
asked
2 days
ago
in
Mathematical Logic
by
Saikat Dutta
(
77
points)

31
views
propositionallogic
badquestion
+1
vote
0
answers
10
discrete mathematics
plz explain this and suggest how to solve it rapidily?
asked
Nov 14
in
Mathematical Logic
by
Ravi prakash pandey
Junior
(
549
points)

15
views
propositionallogic
0
votes
0
answers
11
Self Doubt on order of execution of statements in Propositional Logic for implication operator
asked
6 days
ago
in
Mathematical Logic
by
Tuhin Dutta
Loyal
(
3.1k
points)

24
views
discretemathematics
mathematicallogic
predicatelogic
propositionallogic
firstorderlogic
+1
vote
1
answer
12
UGCNETNov2017II08
Let P and Q be two propositions, ¬(P↔Q) is equivalent to: 1) P↔¬Q 2) ¬P↔Q 3) ¬P↔¬Q 4) Q↔P
asked
Nov 9
in
Mathematical Logic
by
Devwritt
Loyal
(
3k
points)

32
views
ugcnetnov2017ii
propositionallogic
+1
vote
1
answer
13
UGCNETJan2017II6
In propositional logic if (P → Q) ∧ (R → S) and (P ∨ R) are two premises such that Y is the premise : (1) P ∨ R (2) P ∨ S (3) Q ∨ R (4) Q ∨ S
asked
Oct 8
in
Others
by
amaity
Loyal
(
3.4k
points)

72
views
ugcnetjan2017ii6
propositionallogic
0
votes
1
answer
14
What do you mean by Necessarily true and not necessarily true in a statement?
asked
Oct 25
in
Mathematical Logic
by
iarnav
Boss
(
5.4k
points)

56
views
discretemathematics
props
propositionallogic
0
votes
0
answers
15
Gate 2004 Logics Let p,q,r, s be 4 primitive statements. Consider these arguments
asked
Oct 16
in
Mathematical Logic
by
rahul saxena
(
273
points)

65
views
mathematicallogic
propositionallogic
+2
votes
0
answers
16
#discrete mathematics
Are Conjunctive Normal Form and Disjunctive Normal Form included in the GATE syllabus?
asked
Oct 8
in
Mathematical Logic
by
MrPeppermint
(
105
points)

41
views
discretemathematics
propositionallogic
+1
vote
0
answers
17
discrete mathematics doubt .!
What is the generating function for the sequence of Fibonacci numbers?
asked
Oct 9
in
Combinatory
by
air1ankit
Active
(
2.3k
points)

41
views
permutationsandcombinations
propositionallogic
kennethrosen
neptil
+1
vote
0
answers
18
Preposition Logic: Verify the solution
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) ] I think in this A) False B) True Explanation: Domain : ... part is True. By the rule of implication, False > True = True Finally conclude that: A) False B) True. Let me know where it is going wrong.
asked
Oct 6
in
Mathematical Logic
by
Shubhanshu
Veteran
(
11.3k
points)

58
views
discretemathematics
propositionallogic
predicatelogic
+3
votes
1
answer
19
Discrete Mathematics  Quantifiers problem
Establish these logical equivalences, where x does not occur as a free variable in A. Assume that the domain is nonempty. a) ∀x(A → P(x)) ≡ A → ∀xP(x) b) ∃x(A → P(x)) ≡ A → ∃xP(x)
asked
Sep 13
in
Mathematical Logic
by
Manu Thakur
Veteran
(
28.6k
points)

136
views
discretemathematics
mathematicallogic
kennethrosen
propositionallogic
+4
votes
1
answer
20
Propositional Logic
Can someone please check if my solution is correct?
asked
Sep 13
in
Mathematical Logic
by
Manu Thakur
Veteran
(
28.6k
points)

84
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
Page:
1
2
3
...
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
Jobs @cvppindia
How to be productive?For all Members,GATE Aspirants, everybody associated with "GO Family"
How to Do preparation for Gate2018
How to write nice answers/questions in GO
Organizing NET Questions
Follow @csegate
Gatecse
Search results for propositionallogic
Recent Blog Comments
Hi Guys, I think this is not correct. ISRO ...
NIELIT specifically mailed that they decided ...
is there any chances of changing the exam date??
ISRO and NIELIT Exam on the same day i.e 17th ...
greatly said @papesh sir
29,138
questions
36,959
answers
92,026
comments
34,803
users