Login
Register
@
Dark Mode
Profile
Edit my Profile
Messages
My favorites
Register
Activity
Q&A
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous Years
Blogs
New Blog
Exams
Dark Mode
Recent questions and answers in Mathematical Logic
0
votes
1
answer
1
is this argument valid: {P->Q , Q->R}-> R'
Rajatagrawal
answered
in
Mathematical Logic
1 day
ago
by
Rajatagrawal
61
views
mathematical-logic
0
votes
0
answers
2
Poisson distribution
An 800 page book has 400 misprints. If the misprints are distributed uniformly throughout the book and the Poisson approximation to the binomial distribution is used to calculate the probability of exactly 2 misprints on page 16, which of the following represents the correct use of the Poisson approximation?
kathan Mistry
asked
in
Mathematical Logic
2 days
ago
by
kathan Mistry
48
views
probability
poisson-distribution
numerical-answers
0
votes
1
answer
3
Ace Book for Discreet Mathematics , Combinatorics.
Number of ways to assign 5 different people in 3 different rooms, so that each room contains at least one person?
Pranavpurkar
answered
in
Mathematical Logic
Sep 23
by
Pranavpurkar
99
views
combinatory
ace-booklet
1
vote
2
answers
4
PhD Admissions Written Test (Basic)
Let x1, x2, ...x8 be 8 propositional variables. Let · represent AND connective ⊕ represent the Exclusive-or connective. The number of satisfying assignments of the formula x1 ⊕ x2 ⊕ ...x8 is _________________ The number of satisfying assignments of the formula (x1·x2) ⊕ (x3·x4)... ⊕ (x7·x8) is __________________
maverick
answered
in
Mathematical Logic
Sep 12
by
maverick
109
views
written-test
iit
discrete-mathematics
0
votes
2
answers
5
Predicate Translation
S(x): x is a Student P(x): x is a Professor A(x, y): x has asked a question to y Domain not given, so we have to think about default domain Q1) Translate There is a student who has asked every professor a question Q2) Translate ... a professor who has been asked a question by every student Q4) Translate There is a student who has been asked a question by every professor
shishir__roy
answered
in
Mathematical Logic
Sep 6
by
shishir__roy
98
views
propositional-logic
mathematical-logic
discrete-mathematics
42
votes
6
answers
6
GATE CSE 2003 | Question: 72
The following resolution rule is used in logic programming. Derive clause $(P \vee Q)$ from clauses $(P\vee R),(Q \vee ¬R)$ Which of the following statements related to this rule is FALSE? $((P ∨ R)∧(Q ∨ ¬R))⇒(P ∨ Q)$ ... if $(P ∨ R)∧(Q ∨ ¬R)$ is satisfiable $(P ∨ Q)⇒ \text{FALSE}$ if and only if both $P$ and $Q$ are unsatisfiable
prithatiti
answered
in
Mathematical Logic
Sep 5
by
prithatiti
9.1k
views
gatecse-2003
mathematical-logic
normal
propositional-logic
0
votes
0
answers
7
Linear Algebra
MX = O is a homogeneous equation and such an equation when |M| = 0 has non trivial solution. M: Square Matrix O: Null Matrix Kindly help me with the above statement.
ryandany07
asked
in
Mathematical Logic
Aug 30
by
ryandany07
77
views
engineering-mathematics
linear-algebra
matrix
0
votes
0
answers
8
Engineering Mathematics
How the value of a1 = 3, a2 = 2 is calculated.
GateOverflow04
asked
in
Mathematical Logic
Aug 25
by
GateOverflow04
62
views
engineering-mathematics
generating-functions
test-series
0
votes
1
answer
9
Mathematics for Natural Science
Suppose $x, y, z > 1$ are integers, let: $p(x,y)$ : $x$ is a factor of $y$ $q(x,y,z)$ : $z$ = $\text{GCD}(x,y)$ $r(x)$ : $x$ is prime. Check if the following argument is valid or not. $(\forall x \exists y)p(x,y) \implies r(x)$ ... $(\exists x)(\forall y)(p(x,y) \lor r(x))$ $\therefore (\forall y)(\exists z)(\exists x)q(x,y,z)$
Roshakaw
answered
in
Mathematical Logic
Aug 23
by
Roshakaw
99
views
mathematical-logic
discrete-mathematics
0
votes
2
answers
10
Kenneth h rosen chapter 1 excercise 1.2 question 15 on page 23
Each inhabitant of a remote village always tells the truth or always lies. A villager will give only a Yes or a No response to a question a tourist asks. Suppose you are a tourist visiting this area and come to a ... you say 'yes'? how this question arise and please explain the reason about this answer to above question thank you
Vishal_kumar98
answered
in
Mathematical Logic
Aug 19
by
Vishal_kumar98
232
views
discrete-mathematics
mathematical-logic
propositional-logic
engineering-mathematics
kenneth-rosen
4
votes
2
answers
11
GO Classes 2023 | Weekly Quiz 3 | Question: 12
An island has two kinds of inhabitants, knights, who always tell the truth, and knaves, who always lie. You encounter two people $A$ and $B$. What are $A$ and $B$ if: $A$ says $B$ is a knight and $B$ says The two of us are opposite types ? $A$ is ... , $B$ is knight $B$ is knight, $B$ is knave. $A$ is knave, $B$ is knave. $A$ is knave, $B$ is knight
Udhay_Brahmi
answered
in
Mathematical Logic
Aug 19
by
Udhay_Brahmi
177
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
2-marks
2
votes
2
answers
12
GO Classes 2023 | Weekly Quiz 3 | Question: 20
The implies connective $\rightarrow$ is one of the stranger connectives in propositional logic. Below are a series of statements regarding implications. Which of the following statements is/are TRUE? For any propositions $P$ and $Q,$ the following is ... $R,$ the following statement is always true: $(P \rightarrow Q) \vee (R \rightarrow Q)$.
P SHANMUKHA SHARMA
answered
in
Mathematical Logic
Aug 6
by
P SHANMUKHA SHARMA
178
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
1
vote
1
answer
13
Made Easy Test Series
How to solve this question?
Aditya_
answered
in
Mathematical Logic
Jul 25
by
Aditya_
178
views
made-easy-test-series
combinatory
discrete-mathematics
1
vote
3
answers
14
GO Classes Weekly Quiz 2 | Programming in C | Propositional Logic | Question: 11
Let $P,S,R$ be three statements(propositions). Let $S$ be a sufficient condition for $P$, Let $R$ is a necessary condition for $P$ then which of the following is/are true? $S$ is a sufficient condition ... is neither sufficient, nor a necessary condition for $R.$ $S$ is a sufficient and necessary condition for $R$.
Argharupa Adhikary
answered
in
Mathematical Logic
Jul 25
by
Argharupa Adhikary
243
views
goclasses_wq2
goclasses
mathematical-logic
propositional-logic
multiple-selects
2-marks
2
votes
2
answers
15
GO Classes 2023 | Weekly Quiz 3 | Question: 3
Here are some very useful ways of characterizing propositional formulas. Start by constructing a truth table for the formula and look at the column of values obtained. We say that the formula is: satisfiable if there is at least one $T$ ... Necessarily false: $F2$ is tautology $F3$ is tautology $F1$ is a contingency. $F1\wedge F3$ is contradiction.
Abhrajyoti00
answered
in
Mathematical Logic
Jul 16
by
Abhrajyoti00
283
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
0
votes
1
answer
16
Discrete mathematics C.L.Liu Solutions
Can I have solutions of ELEMENTS OF DISCRETE MATHEMATICS by C.L.Liu Solutions. Pls help
Bikram 1
answered
in
Mathematical Logic
Jul 15
by
Bikram 1
1.5k
views
discrete-mathematics
0
votes
2
answers
17
can any one suggest resources for discrete mathematics for gate
suggest some good resources for discrete mathematics
Bikram 1
answered
in
Mathematical Logic
Jul 14
by
Bikram 1
402
views
0
votes
0
answers
18
quantifiers to express each of these statements.
Let P(x) be the statement x has a cell phone and M(x,y) be the statement x and y have texted over the cell phone, where the domain for the variables x and y consists of all students in your class. Use quantifiers to ... other student in your class. c) Someone in your class has a cell phone but has not texted with anyone else in your class.
hussain yasir
asked
in
Mathematical Logic
Jul 7
by
hussain yasir
185
views
quantifiers
mathematical-logic
first-order-logic
1
vote
1
answer
19
kenneth h rosen excercise 1.4 predicates and quantifiers question 22
22. For each of these statements find a domain for which the statement is true and a domain for which the statement is false. a) Everyone speaks Hindi. b) There is someone older than 21 years. c) Every two people have the same first name. d) Someone knows more than two other people.
Bikarm23
answered
in
Mathematical Logic
Jul 2
by
Bikarm23
104
views
discrete-mathematics
propositional-logic
mathematical-logic
engineering-mathematics
kenneth-rosen
2
votes
2
answers
20
GO Classes Weekly Quiz 2 | Programming in C | Propositional Logic | Question: 5
How many rows appear in a truth table for this compound proposition? $(p \wedge r \wedge t) \leftrightarrow (q \wedge t)$
abhikool
answered
in
Mathematical Logic
Jun 24
by
abhikool
202
views
goclasses_wq2
numerical-answers
goclasses
mathematical-logic
propositional-logic
1-mark
2
votes
1
answer
21
GO Classes 2023 | Weekly Quiz 5 | Question: 7
Consider the following arguments. $\text{Argument 1:}$ Kerry errs or Myrna fails to show. If Kerry errs, then he does not break the record. Myrna fails to show. Therefore, Kerry does break the record. $\text{Argument 2:}$ If Tasha leaves, ... is true? Only Argument $1$ is valid. Only Argument $2$ is valid. Both Arguments are valid. No Argument is valid.
Hareesh22
answered
in
Mathematical Logic
Jun 22
by
Hareesh22
137
views
goclasses_wq5
goclasses
mathematical-logic
propositional-logic
1-mark
3
votes
1
answer
22
GO Classes 2023 | Weekly Quiz 3 | Question: 19
Let $F$ and $G$ be two propositional formula. Which of the following is/are TRUE? If $F \rightarrow G$ is satisfiable and $F$ is satisfiable, then $G$ is satisfiable. If two statements(propositions) are logically equivalent, then so are their ... . If a statement $q$ is true, then, for any statement $p$, the statement $p \rightarrow q$ is true.
Godlike
answered
in
Mathematical Logic
Jun 22
by
Godlike
326
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
1
vote
2
answers
23
GO Classes 2023 | Weekly Quiz 3 | Question: 16
Suppose that the statement $p \rightarrow \neg q$ is false. What is the number of all possible combinations of truth values of $r$ and $s$ for which $(\neg q \rightarrow r) \wedge (\neg p \vee s)$ is true?
Hareesh22
answered
in
Mathematical Logic
Jun 21
by
Hareesh22
381
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
numerical-answers
1-mark
0
votes
1
answer
24
Can someone please explain how "I am lying" is a Liars paradox? and how the truth values are toggling here?
AngshukN
answered
in
Mathematical Logic
Jun 10
by
AngshukN
106
views
3
votes
3
answers
25
GO Classes Weekly Quiz 2 | Programming in C | Propositional Logic | Question: 6
Let $p$ be the statement Maria learns discrete mathematics and $q$ the statement Maria will find a good job. Which of the following English Statement expresses the statement $p \rightarrow q$ ? If Maria learns ... good job. For Maria to get a good job, it is sufficient for her to learn discrete mathematics.
samarpita
answered
in
Mathematical Logic
May 18
by
samarpita
343
views
goclasses_wq2
goclasses
mathematical-logic
propositional-logic
multiple-selects
1-mark
1
vote
2
answers
26
No of solution of the given equation
The Number of Points $x \in \Re$ for which $\sin ^{2} x-3x=5$ is , 0 1 more than one but finite $\infty$
Amar45
answered
in
Mathematical Logic
May 16
by
Amar45
98
views
nptel-quiz
calculus
3
votes
1
answer
27
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 2
GO Classes
answered
in
Mathematical Logic
May 12
by
GO Classes
279
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
1-mark
2
votes
1
answer
28
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 3
GO Classes
answered
in
Mathematical Logic
May 12
by
GO Classes
204
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
multiple-selects
1-mark
2
votes
1
answer
29
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 8
GO Classes
answered
in
Mathematical Logic
May 12
by
GO Classes
175
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
2-marks
3
votes
1
answer
30
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 9
GO Classes
answered
in
Mathematical Logic
May 12
by
GO Classes
155
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
3
votes
1
answer
31
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 10
GO Classes
answered
in
Mathematical Logic
May 12
by
GO Classes
138
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
3
votes
1
answer
32
GO Classes Weekly Quiz 10 | Discrete Mathematics | Set Theory, Mathematical Logic, Lattice | Question: 11
GO Classes
answered
in
Mathematical Logic
May 12
by
GO Classes
146
views
goclasses_wq10
goclasses
mathematical-logic
first-order-logic
multiple-selects
2-marks
1
vote
1
answer
33
GO Classes Weekly Quiz 2 | Programming in C | Propositional Logic | Question: 4
How many rows appear in a truth table for this compound proposition? $p \rightarrow \neg p$
GO Classes
answered
in
Mathematical Logic
May 2
by
GO Classes
173
views
goclasses_wq2
numerical-answers
goclasses
mathematical-logic
propositional-logic
1-mark
5
votes
5
answers
34
GATE CSE 2021 Set 1 | Question: 7
Let $p$ and $q$ be two propositions. Consider the following two formulae in propositional logic. $S_1: (\neg p\wedge(p\vee q))\rightarrow q$ $S_2: q\rightarrow(\neg p\wedge(p\vee q))$ Which one of the following choices is correct? Both $S_1$ and ... but $S_2$ is not a tautology $S_1$ is not a tautology but $S_2$ is a tautology Neither $S_1$ nor $S_2$ is a tautology
Vishalk17
answered
in
Mathematical Logic
May 1
by
Vishalk17
3.6k
views
gatecse-2021-set1
mathematical-logic
propositional-logic
0
votes
1
answer
35
kenneth h rosen chapter 1 section 1.5 PRENEX NORMAL FORM in excercise 1.5
can this topic “PRENEX NORMAL FORM(PNF) ” is necsesary for gate or just i skip this topic.
ykrishnay
asked
in
Mathematical Logic
Apr 20
by
ykrishnay
103
views
discrete-mathematics
engineering-mathematics
propositional-logic
kenneth-rosen
mathematical-logic
0
votes
0
answers
36
kenneth h rosen chapter 1 section section 1.5 nested quatnifiers excercise 49
49. a) Show that ∀xP (x) ∧ ∃xQ(x) is logically equivalent to ∀x∃y (P (x) ∧ Q(y)), where all quantifiers have the same nonempty domain. b) Show that ∀xP (x) ∨ ∃xQ(x) is equivalent to ∀x∃y (P (x) ∨ Q(y)), where all quantifiers have the same nonempty domain. please anybody tell how to prove this logical equivalency ?
ykrishnay
asked
in
Mathematical Logic
Apr 20
by
ykrishnay
101
views
discrete-mathematics
propositional-logic
engineering-mathematics
kenneth-rosen
mathematical-logic
0
votes
0
answers
37
kenneth h rosen chapter 1 section 1.5 nested quantifiers excercise 1.5 question 48
Show that ∀xP (x) ∨ ∀xQ(x) and ∀x∀y(P (x) ∨ Q(y)), where all quantifiers have the same nonempty domain, are logically equivalent. (The new variable y is used to combine the quantifications correctly.)
ykrishnay
asked
in
Mathematical Logic
Apr 20
by
ykrishnay
134
views
discrete-mathematics
propositional-logic
engineering-mathematics
kenneth-rosen
mathematical-logic
0
votes
0
answers
38
kenneth h rosen chapter 1 section nested quantifers excercise 1.5 question 40
Find a counterexample, if possible, to these universally quantified statements, where the domain for all variables consists of all integers. a) ∀x∃y(x = 1/y) b) ∀x∃y(y^2 − x < 100)
ykrishnay
asked
in
Mathematical Logic
Apr 19
by
ykrishnay
77
views
discrete-mathematics
propositional-logic
mathematical-logic
engineering-mathematics
kenneth-rosen
0
votes
0
answers
39
kenneth h rosen chapter 1 section 1.5 nested quantifers question 34
Find a common domain for the variables x, y, and z for which the statement ∀x∀y((x = y) → ∀z((z = x) ∨ (z = y))) is true and another domain for which it is false.
ykrishnay
asked
in
Mathematical Logic
Apr 18
by
ykrishnay
74
views
discrete-mathematics
propositional-logic
engineering-mathematics
kenneth-rosen
0
votes
0
answers
40
kenneth h rosen chapter 1 section "Nested quantifers" excercise 1.5 question 26's g
Let Q(x, y) be the statement “x + y = x − y.” If the do- main for both variables consists of all integers, what are the truth values? g) ∃y∀xQ(x, y) Basically i done all the subquestions (a,b,c,d,e,f,h,i) from this question but confused in g subquestion please give answer
ykrishnay
asked
in
Mathematical Logic
Apr 18
by
ykrishnay
62
views
discrete-mathematics
mathematical-logic
propositional-logic
engineering-mathematics
kenneth-rosen
To see more, click for all the
questions in this category
.
Subscribe to GATE CSE 2023 Test Series
Subscribe to GO Classes for GATE CSE 2023
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
RECRUITMENT IN OIL AND GAS CORPORATION LIMITED
Aptitude Overflow Book
Participate in Machine Learning benchmarking
GATE Overflow Tikz Templates
UPSC One Time Registration OTR Online Form 2022
Subjects
All categories
General Aptitude
(2.4k)
Engineering Mathematics
(8.9k)
Discrete Mathematics
(6.3k)
Mathematical Logic
(2.1k)
Set Theory & Algebra
(1.7k)
Combinatory
(1.5k)
Graph Theory
(951)
Probability
(1.1k)
Linear Algebra
(841)
Calculus
(693)
Digital Logic
(3.2k)
Programming and DS
(5.7k)
Algorithms
(4.5k)
Theory of Computation
(6.5k)
Compiler Design
(2.2k)
Operating System
(4.8k)
Databases
(4.4k)
CO and Architecture
(3.6k)
Computer Networks
(4.4k)
Non GATE
(1.2k)
Others
(2.5k)
Admissions
(645)
Exam Queries
(839)
Tier 1 Placement Questions
(17)
Job Queries
(73)
Projects
(9)
Unknown Category
(851)
Recent questions and answers in Mathematical Logic
Recent Blog Comments
"If you are dead tomorrow your GATE rank is not...
@saheb sarkar1997 Please check the Test...
Sir some test due date passed 1-2 months ago pls...
@lalitver10 There is no restriction in doing...
@GateOverflow04 link fixed now.