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
+2
votes
1
answer
1
Sentence to Predicate Calculus
Will the answers be : (a) $x:$Any person $C(x) :$Cricketer $A(x):$Admired by others So $\exists x C(x) \land \forall x A(x)$ (b) $x:$Any person $S(x) :$Student $A(x):$got an A grade in AI course $F(x) $ : Friend So $ \forall x (S(x) ) \implies \exists x (F(x) \land A(x)) $
asked
May 7
in
Mathematical Logic
by
Sourajit25
Junior
(
699
points)

42
views
propositionallogic
firstorderlogic
predicatelogic
0
votes
0
answers
2
How can this English sentence be translated into a logical expression?
asked
Apr 26
in
Mathematical Logic
by
hem chandra joshi
Active
(
4.3k
points)

48
views
mathematicallogic
discretemathematics
propositionallogic
0
votes
3
answers
3
ISRODEC20176
The proposition $(P\Rightarrow Q)\wedge (Q\Rightarrow P)$ is a Tautology Contradiction Contingency Absurdity
asked
Apr 18
in
Probability
by
jjayantamahata
Active
(
1.4k
points)

57
views
propositionallogic
0
votes
1
answer
4
Propositional logic
Sagar will marry Sheela only if She is a graduate and a good cook. Which is True ? 1.Sheela is a good cook but not a graduate hence Sagar will not marry sheela. 2.Sagar will marry sheela since she is a good cook though she is not a graduate. 3 ... and a good cook implies Sagar will marry Sheela 4.Sagar did not marry Sheela implies that she is neither a graduate nor a good cook.
asked
Apr 16
in
Mathematical Logic
by
Na462
Active
(
2.3k
points)

76
views
propositionallogic
discretemathematics
mathematicallogic
0
votes
1
answer
5
PGEE Sample paper
More than one option can be correct
asked
Apr 15
in
Mathematical Logic
by
Akhilesh Singla
Active
(
4.6k
points)

95
views
iiithpgee
propositionallogic
0
votes
0
answers
6
PGEE Sample paper
More than one option can be correct
asked
Apr 15
in
Mathematical Logic
by
Akhilesh Singla
Active
(
4.6k
points)

112
views
iiithpgee
propositionallogic
0
votes
1
answer
7
Uttrakhand Asst. Professor Exam29
A compound statement which is neither a tautology nor a contradiction is called _____ Contingency Equivalence Condition Inference
asked
Mar 2
in
Others
by
gatecse
Boss
(
18k
points)

27
views
uttarakhandasstprof2018
propositionallogic
0
votes
1
answer
8
Classification of compound propositions
One way of classification of compound prepositions on the basis of their truth values as per Kenneth H Rosen is Tautology Contradiction Contingency Then in which classification validity and satisfiability are used?
asked
Feb 7
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
12.3k
points)

73
views
propositionallogic
0
votes
0
answers
9
GATE 2018
What is the answer?
asked
Feb 4
in
Mathematical Logic
by
Abhi Girin
(
429
points)

659
views
propositionallogic
gate
0
votes
0
answers
10
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.1k
points)

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

33
views
propositionallogic
+1
vote
1
answer
12
Propositional Logic
Not Valid does it mean not False ? also how to solve it ?
asked
Jan 26
in
Mathematical Logic
by
Salazar
Active
(
1.1k
points)

73
views
propositionallogic
discretemathematics
mathematicallogic
engineeringmathematics
+2
votes
0
answers
13
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
Boss
(
28.9k
points)

29
views
discretemathematics
propositionallogic
+2
votes
1
answer
14
Propositional logic
Both are valid right?
asked
Jan 21
in
Mathematical Logic
by
Inspiron
Active
(
1.5k
points)

52
views
propositionallogic
+2
votes
0
answers
15
#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
Active
(
3.2k
points)

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

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

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

34
views
propositionallogic
+2
votes
1
answer
19
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
(
977
points)

102
views
propositionallogic
predicatelogic
mathematicallogic
discretemathematics
firstorderlogic
+2
votes
0
answers
20
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
Active
(
4.4k
points)

46
views
propositionallogic
0
votes
0
answers
21
$\text{Testbook Test(DMPropositional Logic)}$
asked
Dec 23, 2017
in
Mathematical Logic
by
krish__
Active
(
4.2k
points)

97
views
testbooktestseries
propositionallogic
mathematicallogic
0
votes
0
answers
22
(∀x∀yP(x,y))→(∀x∀yP(y,x)) is tautology or not??
asked
Dec 16, 2017
in
Mathematical Logic
by
mohit kumar 5
Junior
(
597
points)

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

65
views
propositionallogic
testbookmocktest
discretemathematics
0
votes
0
answers
24
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
Active
(
4.3k
points)

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

61
views
propositionallogic
badquestion
+1
vote
2
answers
26
Tautology of contingency
asked
Nov 20, 2017
in
Mathematical Logic
by
Parshu gate
Active
(
4.9k
points)

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

60
views
propositionallogic
discretemathematics
0
votes
1
answer
28
Self Doubt on order of execution of statements in Propositional Logic for implication operator
asked
Nov 17, 2017
in
Mathematical Logic
by
Tuhin Dutta
Loyal
(
7.8k
points)

95
views
discretemathematics
mathematicallogic
predicatelogic
propositionallogic
firstorderlogic
+2
votes
0
answers
29
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
Active
(
4.9k
points)

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

28
views
propositionallogic
Page:
1
2
3
4
5
6
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
Regarding acceptance fee of CCMT round1
ISRO Revised Answer Key Available Now.
Selected for M.Tech Computer Science in University of Hyderabad
Gate 2019 suggestion
IIIT Hyderabad interview Experience  2017
Follow @csegate
Gatecse
Recent questions tagged propositionallogic
Recent Blog Comments
What about 120 marks guys?
very good chance for you bro. Prepare for the ...
I am getting 125. Is there any chance of ...
Download the pdf ... Changed questions are marked ...
Which Questions have dropped or Answer changed?
35,486
questions
42,746
answers
121,453
comments
42,138
users