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.
Recent questions tagged propositionallogic
0
votes
1
answer
1
Classification of compound propositions
asked
Feb 7
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
6.6k
points)

46
views
propositionallogic
0
votes
0
answers
2
GATE 2018
What is the answer?
asked
Feb 4
in
Mathematical Logic
by
Abhi Girin
Junior
(
661
points)

599
views
propositionallogic
gate
0
votes
0
answers
3
Virtual GATE
Which of the following statements is TRUE about the propositional logic formula S:(p→q)∧(¬q∨r)∧(r→s)→¬(p→s) (A) S is a contradiction (B) S is satisfiable but not valid (C) S is valid (D) None of the above
asked
Jan 31
in
Mathematical Logic
by
Utsav09
Active
(
1.4k
points)

12
views
testseries
virtualgate
discretemathematics
propositionallogic
+1
vote
0
answers
4
logic test
asked
Jan 27
in
Mathematical Logic
by
Ismail
Junior
(
553
points)

31
views
propositionallogic
+1
vote
1
answer
5
Propositional Logic
Not Valid does it mean not False ? also how to solve it ?
asked
Jan 26
in
Mathematical Logic
by
Salazar
Junior
(
849
points)

50
views
propositionallogic
discretemathematics
mathematicallogic
engineeringmathematics
+1
vote
0
answers
6
Random_Doubt
if it is given > "Every satisfiable propositional formula is not tautology" then what will it corresponds to? i am writing its hindi, which among below two are correct? "har ek satisfiable formula tautology nahi hota hai" // it is indeed truth. "koi bhi satisfiable formula hua, to wo tautology nahii hoga" // this is false.
asked
Jan 24
in
Mathematical Logic
by
joshi_nitish
Veteran
(
27.5k
points)

23
views
discretemathematics
propositionallogic
+2
votes
0
answers
7
Propositional logic
Both are valid right?
asked
Jan 21
in
Mathematical Logic
by
Inspiron
Active
(
1.5k
points)

31
views
propositionallogic
+2
votes
0
answers
8
#self_doubt
Express it in terms of logic, here in question i am confused how i use implications, i am unable to distinguish between option a and b .. need help. ..!
asked
Jan 21
in
Mathematical Logic
by
air1ankit
Loyal
(
3.9k
points)

28
views
discretemathematics
propositionallogic
implication
+4
votes
0
answers
9
DM: Propositional Logic
$\text{Given option is (A), but I think option (B) is correct?}$
asked
Jan 20
in
Mathematical Logic
by
Vijay Thakur
Veteran
(
18.2k
points)

87
views
propositionallogic
mathematicallogic
discretemathematics
+2
votes
1
answer
10
Contingency or Not ?
~ $\forall$ x [ P(x) > (Q(x) v P(x) ) ]
asked
Jan 11
in
Mathematical Logic
by
VS
Boss
(
7.8k
points)

83
views
propositionallogic
mathematicallogic
+1
vote
0
answers
11
Test Series
How to solve this question in exam.?
asked
Jan 2
in
Mathematical Logic
by
Anmol_Binani
Junior
(
807
points)

30
views
propositionallogic
+2
votes
1
answer
12
implication VS conjunction
When should we use implication and when conjunction? For example in this question: https://gateoverflow.in/989/gate200626?show=188041#c188041 What is the difference in options B and D?
asked
Dec 31, 2017
in
Mathematical Logic
by
♥_Less
Junior
(
989
points)

71
views
propositionallogic
predicatelogic
mathematicallogic
discretemathematics
firstorderlogic
+2
votes
0
answers
13
propsitions
Difference bw a) and d) .... Shouldn't both be true for all real numbers?
asked
Dec 31, 2017
in
Mathematical Logic
by
Pawan Kumar 2
Boss
(
5k
points)

42
views
propositionallogic
0
votes
0
answers
14
$\text{Testbook Test(DMPropositional Logic)}$
asked
Dec 23, 2017
in
Mathematical Logic
by
krish__
Boss
(
6.6k
points)

71
views
testbooktestseries
propositionallogic
mathematicallogic
0
votes
1
answer
15
ISRO2017Dec6
The proposition $(P\Rightarrow Q) \wedge (Q\Rightarrow P)$ is a a)tautology b)contradiction c)contingency d)absurdity
asked
Dec 20, 2017
in
Mathematical Logic
by
Sumaiya23
Active
(
1.4k
points)

84
views
isro2017dec
engineeringmathematics
propositionallogic
0
votes
0
answers
16
(∀x∀yP(x,y))→(∀x∀yP(y,x)) is tautology or not??
asked
Dec 16, 2017
in
Mathematical Logic
by
mohit kumar 5
Junior
(
799
points)

83
views
propositionallogic
mathematicallogic
0
votes
1
answer
17
#2 Testbook Mock Test(DM  Propositional Logic)
asked
Dec 12, 2017
in
Mathematical Logic
by
rfzahid
Active
(
1.2k
points)

50
views
propositionallogic
testbookmocktest
discretemathematics
0
votes
0
answers
18
prepositional logic : For all is not perfect is equal to someone is not perfect or someone is perfect .
asked
Nov 22, 2017
in
Mathematical Logic
by
hem chandra joshi
Boss
(
5.1k
points)

43
views
propositionallogic
–1
vote
1
answer
19
Gate Academy
Which of the following is valid first order formula?
asked
Nov 21, 2017
in
Mathematical Logic
by
Saikat Dutta
(
251
points)

55
views
propositionallogic
badquestion
+1
vote
2
answers
20
Tautology of contingency
asked
Nov 20, 2017
in
Mathematical Logic
by
Parshu gate
Boss
(
6.4k
points)

113
views
propositionallogic
mathematicallogic
0
votes
1
answer
21
propositional Logic
What is the difference between => and <=> ?
asked
Nov 18, 2017
in
Mathematical Logic
by
Parshu gate
Boss
(
6.4k
points)

56
views
propositionallogic
discretemathematics
0
votes
0
answers
22
Self Doubt on order of execution of statements in Propositional Logic for implication operator
asked
Nov 17, 2017
in
Mathematical Logic
by
Tuhin Dutta
Boss
(
7.5k
points)

64
views
discretemathematics
mathematicallogic
predicatelogic
propositionallogic
firstorderlogic
+2
votes
0
answers
23
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, 2017
in
Mathematical Logic
by
Parshu gate
Boss
(
6.4k
points)

33
views
propositionallogic
discretemathematics
+1
vote
0
answers
24
discrete mathematics
plz explain this and suggest how to solve it rapidily?
asked
Nov 14, 2017
in
Mathematical Logic
by
Ravi prakash pandey
Junior
(
803
points)

24
views
propositionallogic
+1
vote
1
answer
25
Discrete mathematics
is there any difference between in valid and tautology?
asked
Nov 14, 2017
in
Mathematical Logic
by
Ravi prakash pandey
Junior
(
803
points)

30
views
propositionallogic
+1
vote
1
answer
26
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, 2017
in
Mathematical Logic
by
Devwritt
Loyal
(
3.4k
points)

127
views
ugcnetnov2017ii
propositionallogic
0
votes
1
answer
27
What do you mean by Necessarily true and not necessarily true in a statement?
asked
Oct 25, 2017
in
Mathematical Logic
by
iarnav
Veteran
(
20k
points)

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

93
views
mathematicallogic
propositionallogic
+1
vote
0
answers
29
discrete mathematics doubt .!
What is the generating function for the sequence of Fibonacci numbers?
asked
Oct 9, 2017
in
Combinatory
by
air1ankit
Loyal
(
3.9k
points)

47
views
permutationsandcombinations
propositionallogic
kennethrosen
neptil
+1
vote
1
answer
30
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, 2017
in
Others
by
amaity
Loyal
(
4.3k
points)

86
views
ugcnetjan2017ii6
propositionallogic
Page:
1
2
3
4
5
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
IITD
Score Calculator for Civil Engineering
Is Coding skill must in IIT's?
GO & ME
Research Interview Guidance
Follow @csegate
Gatecse
Recent questions tagged propositionallogic
Recent Blog Comments
@Arjun Sir, I already knew the concept of TA and ...
@Arjun Sir and also clarify the exact difference ...
Thankyou!
See this:
@Rishabh Now I know why you have a 2 in your name ...
33,579
questions
40,112
answers
113,948
comments
38,340
users