Login
Register
Dark Mode
Brightness
Ambient Glow – Questions list
Register
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Webpage for Mathematical Logic
Important Question Types:
Checking validity of First Order Logic Statements
Checking validity of Propositional Logic
Recent questions tagged mathematical-logic
2
2 votes
1
1 answer
306
306 views
CMI Data Science 2025 | Part A | Question: 11
Which of the following is/are logically equivalent to $\neg(P \Longrightarrow Q)?$$\neg P \vee Q$$\neg P \wedge Q$$Q \Longrightarrow P$$P \wedge \neg Q$
Shubham Sharma 2
306
views
asked
Jun 20, 2025
Mathematical Logic
cmi2025-datascience
discrete-mathematics
mathematical-logic
easy
+
–
6
6 votes
2
2 answers
550
550 views
GO Classes DPP | First order logic | English Translations | Kenneth H.Rosen
Which of the following best expresses the statement "Nobody loves everybody" in predicate logic?$\neg \exists x \forall y L(x, y)$$\neg \forall x \exists y L(x, y)$$\fora...
GO Classes
550
views
asked
Jun 18, 2025
Mathematical Logic
goclasses
first-order-logic
mathematical-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-20
goclasses-propositional-logic-practice-questions
qod-cse
qod-cse-13
goclasses-dm-practice-questions
+
–
1
1 vote
1
1 answer
414
414 views
GO Classes DPP | First order logic | English Translations | Kenneth H.Rosen
Which of the following represents the statement "There is exactly one person whom everybody loves"?$\exists x \forall y L(y, x)$$\exists x[\forall y L(y, x) \wedge \foral...
GO Classes
414
views
asked
Jun 18, 2025
Mathematical Logic
goclasses
first-order-logic
mathematical-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-20
goclasses-propositional-logic-practice-questions
goclasses-dm-practice-questions
+
–
4
4 votes
2
2 answers
416
416 views
GO Classes DPP | Propositional logic | Tautology | Kenneth H.Rosen
Which of the following expressions is a tautology?$(P \rightarrow Q) \vee(Q \rightarrow P)$ $(P \vee Q) \rightarrow(P \rightarrow Q)$ $((P \rightarrow Q) \wedge P) \right...
GO Classes
416
views
asked
Jun 18, 2025
Mathematical Logic
goclasses
propositional-logic
mathematical-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-20
goclasses-propositional-logic-practice-questions
multiple-selects
qod-cse
qod-cse-11
goclasses-dm-practice-questions
+
–
2
2 votes
4
4 answers
584
584 views
GO Classes DPP | Propositional logic | English Translations | Kenneth H.Rosen
Statement: A sufficient condition for the warranty to be good is that you bought the computer less than a year ago.Let:P: You bought the computer less than a year ago.Q: ...
GO Classes
584
views
asked
Jun 18, 2025
Mathematical Logic
goclasses
propositional-logic
mathematical-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-20
goclasses-propositional-logic-practice-questions
multiple-selects
goclasses-dm-practice-questions
+
–
2
2 votes
4
4 answers
749
749 views
GO Classes DPP | Propositional logic | English Translations | Kenneth H.Rosen
Statement: It is necessary to wash the boss's car to get promoted.Let:P: You wash the boss's car.Q: You get promoted.Which of the following propositional formulas express...
GO Classes
749
views
asked
Jun 18, 2025
Mathematical Logic
goclasses
propositional-logic
mathematical-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-20
goclasses-propositional-logic-practice-questions
multiple-selects
goclasses-dm-practice-questions
+
–
1
1 vote
1
1 answer
355
355 views
TIFR CSE 2025 | Part B | Question: 2
Let $\varphi$ be a propositional formula on $n$ variables, with $n \geq 1$. Consider the following statements.$\varphi$ is satisfiable$\neg \varphi$ is unsatisfiable$\var...
Shubham Sharma 2
355
views
asked
Jun 16, 2025
Mathematical Logic
tifr2025
mathematical-logic
propositional-logic
+
–
3
3 votes
5
5 answers
892
892 views
GO Classes DPP | Mathematical Logic | Propositional Logic | University of Trento
Three boxes are presented to you. One contains gold, the other two are empty. Each box has imprinted on it a clue as to its contents; the clues areI. (Box 1) The gold is ...
GO Classes
892
views
asked
Jun 14, 2025
Digital Logic
goclasses
mathematical-logic
logical-reasoning
propositional-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-16
goclasses-da-dpp
goclasses-da-dpp-day-6
goclasses-permutation-and-combination-practice-questions
goclasses-dm-practice-questions
+
–
2
2 votes
2
2 answers
537
537 views
GO Classes DPP | Mathematical Logic | Propositional Logic | Stony Brook University
Determine if the following deduction rule is validp → q~q → ~r_________∴ p → r TrueFalse
GO Classes
537
views
asked
Jun 14, 2025
Digital Logic
goclasses
mathematical-logic
propositional-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-16
goclasses-da-dpp
goclasses-da-dpp-day-6
goclasses-permutation-and-combination-practice-questions
goclasses-dm-practice-questions
+
–
1
1 vote
1
1 answer
419
419 views
GO Classes DPP | Mathematical Logic | First Order Logic | The University of Arizona
Let $\mathbf{T}(\mathbf{x}, \mathbf{y})$ be the predicate " $\mathbf{x}$ is taller than $\mathbf{y}$ ", where $\mathbf{x}, \mathbf{y} \in$ People. Consider the logical ex...
GO Classes
419
views
asked
Jun 14, 2025
Digital Logic
goclasses
mathematical-logic
first-order-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-16
goclasses-da-dpp
goclasses-da-dpp-day-6
goclasses-permutation-and-combination-practice-questions
goclasses-dm-practice-questions
+
–
0
0 votes
3
3 answers
451
451 views
GO Classes DPP | Mathematical Logic | Propositional Logic | The University of Arizona
Is $(\mathrm{p} \rightarrow \mathrm{q})^{\prime} \equiv \mathrm{p} \wedge \mathrm{q}^{\prime}$ ?TrueFalse
GO Classes
451
views
asked
Jun 14, 2025
Digital Logic
goclasses
mathematical-logic
propositional-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-16
goclasses-da-dpp
goclasses-da-dpp-day-6
goclasses-permutation-and-combination-practice-questions
true-false
goclasses-dm-practice-questions
+
–
0
0 votes
2
2 answers
466
466 views
GO Classes DPP | Mathematical Logic | Propositional Logic | The University of Arizona
If a truth table has five proposition labels, how many rows of truth values will the complete truth table have?5163264
GO Classes
466
views
asked
Jun 14, 2025
Digital Logic
goclasses
mathematical-logic
propositional-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-16
goclasses-da-dpp
goclasses-da-dpp-day-6
goclasses-permutation-and-combination-practice-questions
goclasses-dm-practice-questions
+
–
3
3 votes
4
4 answers
590
590 views
ISI2025-MCS-PCA | Question: 1
Which of the inferences are valid given the premises?$\begin{array}{l}\text{} (I_{1})\text{}\end{array} \quad \begin{array}{l}\text{All birds have feathers.} \\\text{Robi...
Shubham Sharma 2
590
views
asked
Jun 9, 2025
Mathematical Logic
isi2025-mcs-pca
mathematical-logic
propositional-logic
+
–
6
6 votes
7
7 answers
879
879 views
GO Classes DPP | Propositional logic | Logical equivalence | UC San Diego
Consider the statement form $p \Rightarrow q$ where $p=$ "If Tom is Jane's father then Jane is Bill's niece" and $q=$ "Bill is Tom's brother." Which of the following stat...
GO Classes
879
views
asked
Jun 5, 2025
Digital Logic
goclasses
propositional-logic
mathematical-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-7
goclasses-propositional-logic-practice-questions
goclasses-dm-practice-questions
+
–
1
1 vote
5
5 answers
571
571 views
GO Classes DPP | Propositional logic | Logical equivalence | UC San Diego
Q4. The statement form $(p \Leftrightarrow r) \Rightarrow(q \Leftrightarrow r)$ is logically equivalent to:$(\sim p \vee r) \wedge(\sim r \vee p) \Rightarrow(\sim q \vee ...
GO Classes
571
views
asked
Jun 5, 2025
Digital Logic
goclasses
propositional-logic
mathematical-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-7
goclasses-propositional-logic-practice-questions
goclasses-dm-practice-questions
+
–
1
1 vote
6
6 answers
656
656 views
GO Classes DPP | Propositional logic | Implication | Kenneth H.Rosen
Which of the following statements are tautologies?(You may select more than one option.)$(p \wedge q) \rightarrow p$$p \rightarrow(p \vee q)$$p \rightarrow(p \rightarrow ...
GO Classes
656
views
asked
Jun 5, 2025
Digital Logic
goclasses
propositional-logic
mathematical-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-7
goclasses-propositional-logic-practice-questions
multiple-selects
goclasses-dm-practice-questions
+
–
5
5 votes
6
6 answers
631
631 views
GO Classes DPP | Propositional logic | Compound propositions | Kenneth H.Rosen
How many different truth tables of compound propositions are there that involve the propositional variables $p$ and $q$ ?
GO Classes
631
views
asked
Jun 5, 2025
Digital Logic
goclasses
propositional-logic
mathematical-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-7
goclasses-propositional-logic-practice-questions
numerical-answers
goclasses-dm-practice-questions
+
–
2
2 votes
7
7 answers
766
766 views
GO Classes DPP | Propositional logic | Implication | Kenneth H.Rosen
Mark all the statements that are logically true:If $1+1=2$, then $2+2=5$If $1+1=2$, then $2+2=4$If $1+1=3$, then $2+2=5$If monkeys can fly, then $1+1=3$
GO Classes
766
views
asked
Jun 5, 2025
Digital Logic
goclasses
propositional-logic
mathematical-logic
goclasses-cs-dpp
goclasses-cs-dpp-day-7
goclasses-propositional-logic-practice-questions
multiple-selects
goclasses-dm-practice-questions
+
–
0
0 votes
2
answers
2 answers
459
459 views
first order logic doubt in translation
"For any natural number n, n is even if and only if n^2 is even" in first order logicdomain : set of real numbers∀n[Nat(n)→(Even(n)↔Even(n^2))], correct answer ∀n[Nat(n)...
saket jaiswal
459
views
asked
May 26, 2025
Mathematical Logic
mathematical-logic
first-order-logic
discrete-mathematics
+
–
Page:
« prev
1
2
3
4
5
6
7
...
42
next »