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 mathematicallogic
Webpage for Mathematical Logic
0
votes
1
answer
1
Mathematical Logic
prove $(¬A→¬B)∧(A→C)→(B→C)$
asked
4 days
ago
in
Mathematical Logic
by
Vishnathan
(
165
points)

20
views
mathematicallogic
discretemathematics
0
votes
0
answers
2
Predicate logic gatebook test on logic Q18
asked
Sep 8
in
Mathematical Logic
by
Sandy Sharma
Junior
(
903
points)

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

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

17
views
mathematicallogic
propositionallogic
firstorderlogic
discretemathematics
0
votes
1
answer
5
How to validate below proposition ?
(p>q) ^ (r>s) ~q OR ~s Conclusion is ~p OR ~r How to see if the conclusion is valid or not ?
asked
Sep 7
in
Mathematical Logic
by
radha gogia
Loyal
(
7.5k
points)

19
views
mathematicallogic
0
votes
1
answer
6
How to derive conclusion of below premises ?
asked
Aug 26
in
Mathematical Logic
by
radha gogia
Loyal
(
7.5k
points)

39
views
mathematicallogic
0
votes
0
answers
7
What is the conclusion of below premises ?
asked
Aug 25
in
Mathematical Logic
by
radha gogia
Loyal
(
7.5k
points)

28
views
mathematicallogic
0
votes
2
answers
8
Mathematical Logic
Consider the following well formed formula: The maximum number of rows in truth table of above formula which evaluate to true are ________. $\left ( p\vee \sim q\vee\vee \sim r\vee s \right )\rightarrow t\vee \sim u$ __________________________________________________________________________ I got 5 and ans given 49
asked
Aug 22
in
Mathematical Logic
by
srestha
Veteran
(
96.1k
points)

62
views
mathematicallogic
discretemathematics
0
votes
1
answer
9
Propositional Logic
Ans. A
asked
Aug 19
in
Mathematical Logic
by
Na462
Loyal
(
5.7k
points)

31
views
propositionallogic
mathematicallogic
discretemathematics
0
votes
2
answers
10
Propositional Logic
Ans. B
asked
Aug 19
in
Mathematical Logic
by
Na462
Loyal
(
5.7k
points)

41
views
propositionallogic
mathematicallogic
discretemathematics
0
votes
2
answers
11
Proposition Logic
asked
Aug 9
in
Mathematical Logic
by
aditi19
Junior
(
697
points)

61
views
mathematicallogic
propositionallogic
discretemathematics
+2
votes
0
answers
12
Predicate logic
asked
Aug 9
in
Study Resources
by
Vishnathan
(
165
points)

32
views
mathematicallogic
discretemathematics
0
votes
0
answers
13
Inference Rule with Quantifiers and Nested Quantifiers
asked
Aug 1
in
Mathematical Logic
by
JPranavc
(
281
points)

28
views
mathematicallogic
0
votes
1
answer
14
Discrete maths approach
Can you please guide me how to approach discrete maths? I want prepare it alongside with what's being taught at classroom coaching, please suggest resources and strategy
asked
Jul 30
in
Set Theory & Algebra
by
Ajaaz
(
21
points)

45
views
discretemathematics
permutationsandcombinations
settheory&algebra
mathematicallogic
linearalgebra
0
votes
0
answers
15
kenneth rosen Excercise 1.4 Q7
Let T (x, y) mean that student x likes cuisine y, where the domain for x consists of all students at your school and the domain for y consists of all cuisines. Express each of these statements by a simple English sentence. e) ∃x∃z∀y(T (x, y) ↔ ... about which they have the same opinion (either they both like it or they both do not like it). How to reach the answers?
asked
Jul 24
in
Mathematical Logic
by
Sandy Sharma
Junior
(
903
points)

34
views
kennethrosen
discretemathematics
mathematicallogic
#discrete
0
votes
1
answer
16
propositional logic
convert the following sentence in logic a mushroom is not poisonous unless it is purple. where mushroom ,purple ,poisonous are the propositional constants
asked
Jul 14
in
Mathematical Logic
by
hitendra singh
(
353
points)

61
views
mathematicallogic
propositionallogic
+2
votes
2
answers
17
Propositional logic
I am unable to prove following equations without using truth table 1) p > (q v r) = (p>q) V (p>r) 2) ~(p <> q) = p <> ~q
asked
Jul 12
in
Mathematical Logic
by
kd.....
(
285
points)

59
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
1
answer
18
kenneth rosen 1.4 excercise 40
Express each of these system specifications using predicates, quantifiers, and logical connectives. c) The file system cannot be backed up if there is a user currently logged on. I got this expression : ∃x(U(x)) > not F(x) The answer is given in the manual is: Which one is correct? If the manual is correct then why two variables x,y are required?
asked
Jul 6
in
Mathematical Logic
by
Sandy Sharma
Junior
(
903
points)

74
views
kennethrosen
mathematicallogic
discretemathematics
#discrete
0
votes
1
answer
19
kenneth rosen section1.4  syllabus
is Prolog or ∃! of mathematical logic in syllabus?
asked
Jul 6
in
Mathematical Logic
by
Sandy Sharma
Junior
(
903
points)

60
views
kennethrosen
discretemathematics
propositionallogic
mathematicallogic
+1
vote
1
answer
20
LogicInference
Consider the following two statements: S1 : All clear explanations are satisfactory. S2 : Some excuses are unsatisfactory. Which one of the following statement follows from S1 and S2 as per inference rules of logic? (A) Every excuses are not clear explanations (B)Some excuses are clear explanations (C)Some excuses are not clear explanations (D)Some explanations are clear excuses.
asked
Jul 5
in
Mathematical Logic
by
Ayush Upadhyaya
Boss
(
12.5k
points)

54
views
mathematicallogic
discretemathematics
0
votes
0
answers
21
kenneth rosen 1.4 example 23
Express the statement Every student in this class has studied calculus using predicates and quantifiers. Solution: First, we rewrite the statement so that we can clearly identify the appropriate quantifiers to use. Doing so, we obtain: For every student in this class, that ... )), here its C(x) not C(calculus). So, the value is not given as input there. Then why now?
asked
Jul 3
in
Mathematical Logic
by
Sandy Sharma
Junior
(
903
points)

43
views
kennethrosen
#discrete
mathematicallogic
0
votes
1
answer
22
LogicKenneth Rosen(Ex1.56)
Use rules of Inference to show that the hypotheses "If it does not rain or if it is not foggy, then the sailing race will be held and the lifesaving demonstration will go on." "If the sailing race is held, then the trophy will be awarded." ... p \land q \,will\,be\,true$ WHich means it both rained and it was foggy. Can we have 2 conclusions in this?
asked
Jul 1
in
Mathematical Logic
by
Ayush Upadhyaya
Boss
(
12.5k
points)

43
views
discretemathematics
mathematicallogic
kennethrosen
0
votes
0
answers
23
kenneth rosen ex 1.1 q:25
Write each of these propositions in the form p if and only if q in English. a) If it is hot outside you buy an ice cream cone, and if you buy an ice cream cone it is hot outside. e) The trains run late on exactly those days when I take it. In ... in the form "The trains run late if and only if I take it." does exactly means if and only if ? Reference: in t
asked
Jun 30
in
Mathematical Logic
by
Sandy Sharma
Junior
(
903
points)

35
views
kennethrosen
mathematicallogic
discretemathematics
0
votes
0
answers
24
kenneth rosen ex 1.1 q:22
Write each of these statements in the form if p, then q in English. [Hint: Refer to the list of common ways to express conditional statements provided in this section.] a) It is necessary to wash the boss's car to get promoted. In solution to this ... how to deduce whether the statement is in the form q is necessary for p or a necessary condition for p is q Reference
asked
Jun 30
in
Mathematical Logic
by
Sandy Sharma
Junior
(
903
points)

45
views
kennethrosen
mathematicallogic
discretemathematics
0
votes
0
answers
25
kenneth rosen proposition logic Ex 1.1 q15
asked
Jun 29
in
Mathematical Logic
by
Sandy Sharma
Junior
(
903
points)

45
views
discretemathematics
kennethrosen
propositionallogic
mathematicallogic
0
votes
0
answers
26
SelfDoubtLogic
What is the negation of ∃x(x2=2) I think it is ∀x(x2$\neq$2)
asked
Jun 9
in
Mathematical Logic
by
Ayush Upadhyaya
Boss
(
12.5k
points)

63
views
discretemathematics
mathematicallogic
+1
vote
1
answer
27
Kennth Rosen,ch:1,Ex:1.3,Qn:51
Find a compound proposition logically equivalent to $p \rightarrow q$ using only the logical operator $\downarrow$?
asked
Jun 5
in
Mathematical Logic
by
siva140191
(
63
points)

49
views
kennethrosen
settheory&algebra
propositionallogic
mathematicallogic
descriptive
0
votes
0
answers
28
Kennth Rosen Ch:1,Ex:1.2, Qn:38.
Solve this famous logic puzzle, attributed to Albert Einstein, and known as the zebra puzzle.Five men with different nationalities and with different jobs live in consecutive houses on a street. These houses are painted different colors. The men ... , their pets, and their favorite drinks and use logical reasoning to determine the correct entries in the table.]?
asked
Jun 3
in
Mathematical Logic
by
siva140191
(
63
points)

70
views
kennethrosen
mathematicallogic
settheory&algebra
propositionallogic
descriptive
+1
vote
1
answer
29
Mathematical logic
Suppose the numbers $1$ to $20$ are placed in any order around a circle . Show that the sum of some three consecutive numbers must be atleast $32$.
asked
May 30
in
Mathematical Logic
by
Sammohan Ganguly
(
435
points)

46
views
engineeringmathematics
discretemathematics
mathematicallogic
0
votes
1
answer
30
Mathematical logic
Which of the following is(are) not logical implications? p<>q => p>q p^q => p<>q p<> => p>~q p<>~q => p>q
asked
May 30
in
Mathematical Logic
by
Mr khan 3
(
127
points)

49
views
engineeringmathematics
discretemathematics
mathematicallogic
Page:
1
2
3
4
5
6
...
14
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
kvs pgt
Algorithms GO Classroom
Programming and DS GO Classroom
Discrete Mathematics GO Classroom
Digital Logic GO Classroom
Follow @csegate
Gatecse
Recent questions tagged mathematicallogic
Recent Blog Comments
@Arjun sir how to remove such post? should i hide...
[email protected]
.Plz do share @Sanjay sharma
Please post it as question
This is blog area post it as question
[email protected]
39,778
questions
46,781
answers
140,752
comments
58,671
users