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 tagged propositional-logic
2
votes
0
answers
121
GO 2023 Topic Wise Free Test 1 | Question: 1
What is logically equivalent to "If Kareena and Parineeti go to the shopping mall then it is raining": If Kareena and Parineeti do not go to the shopping mall then it is not raining. If Kareena and Parineeti do not go to the ... Parineeti go to the shopping mall. If it is not raining then Kareena and Parineeti do not go to the shopping mall.
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
145
views
goclasses2024-topictest-1
mathematical-logic
propositional-logic
1-mark
2
votes
1
answer
122
GO 2023 Topic Wise Free Test 1 | Question: 2
Which of the following expressions is false? $p \rightarrow q \equiv q \rightarrow p$ $\neg(p \vee q) \equiv \neg p \wedge \neg q$ $p \rightarrow q \equiv \neg q \rightarrow \neg p$ none of the above
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
129
views
goclasses2024-topictest-1
goclasses
mathematical-logic
propositional-logic
1-mark
2
votes
0
answers
123
GO 2023 Topic Wise Free Test 1 | Question: 3
Which of the following expressions is always true? $\neg p \vee p$ $\neg p \wedge p$ $\neg p \wedge \neg p$ none of the above
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
106
views
goclasses2024-topictest-1
goclasses
mathematical-logic
propositional-logic
1-mark
2
votes
0
answers
124
GO 2023 Topic Wise Free Test 1 | Question: 4
Select the proposition that is a tautology. $(p \wedge q) \rightarrow \neg p$ $(p \vee q) \rightarrow p$ $(p \wedge q) \leftrightarrow p$ $(p \wedge q) \rightarrow p$
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
129
views
goclasses2024-topictest-1
goclasses
mathematical-logic
propositional-logic
multiple-selects
1-mark
2
votes
1
answer
125
GO 2023 Topic Wise Free Test 1 | Question: 5
Select the proposition that is a contradiction. $\neg(p \vee q) \wedge p$ $(p \vee q) \wedge p$ $(\neg p \wedge q) \leftrightarrow p$ $(\neg p \wedge q) \rightarrow p$
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
161
views
goclasses2024-topictest-1
goclasses
mathematical-logic
propositional-logic
multiple-selects
1-mark
2
votes
1
answer
126
GO 2023 Topic Wise Free Test 1 | Question: 6
In propositional logic, given $P$ and $P \rightarrow Q$, we can infer ________ $\sim Q$ $Q$ $P \wedge Q$ $\sim P \wedge Q$
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
229
views
goclasses2024-topictest-1
mathematical-logic
propositional-logic
multiple-selects
1-mark
2
votes
1
answer
127
GO 2023 Topic Wise Free Test 1 | Question: 7
In propositional logic if $\left ( P \rightarrow Q \right )\wedge \left ( R \rightarrow S \right )$ and $\left ( P \vee R \right )$ are two premises such that $\begin{array}{c} (P \to Q) \wedge (R \to S) \\ P \vee R \\ \hline Y \\ \hline \end{array}$ $Y$ is the premise : $P \vee R$ $P \vee S$ $Q \vee R$ $Q \vee S$
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
273
views
goclasses2024-topictest-1
mathematical-logic
propositional-logic
multiple-selects
1-mark
2
votes
1
answer
128
GO 2023 Topic Wise Free Test 1 | Question: 10
Recall the definitions of valid, satisfiable, and unsatisfiable in the propositional logic. What is the relationship between the above concepts? If a formula $\phi$ is valid then $\phi$ is satisfiable; and if $\phi$ is invalid then $\phi$ is not ... $\phi$ is invalid; and if $\neg \phi$ is satisfiable then $\phi$ is valid.
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
143
views
goclasses2024-topictest-1
goclasses
mathematical-logic
propositional-logic
multiple-selects
2-marks
8
votes
2
answers
129
GO 2023 Topic Wise Free Test 1 | Question: 11
A set of propositions is called a system specification. System specification is consistent if they do not contain conflicting requirements that could be used to derive a contradiction. When specifications are not consistent, there would be no way ... is retransmitted. Which of the above system specifications are consistent? Only $1$ Only $2$ Both None
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
419
views
goclasses2024-topictest-1
goclasses
mathematical-logic
propositional-logic
2-marks
5
votes
1
answer
130
GO 2023 Topic Wise Free Test 1 | Question: 12
Two compound propositions are logically equivalent if they have the same truth table. For example, the following two compound propositions are logically equivalent: $\mathrm{p} \rightarrow \mathrm{q}$ ... propositional variables, how many compound propositions are there that are Not logically equivalent to each other?
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
168
views
goclasses2024-topictest-1
numerical-answers
goclasses
mathematical-logic
propositional-logic
2-marks
2
votes
1
answer
131
GO 2023 Topic Wise Free Test 1 | Question: 13
Let $p,q,r$ be three propositional variables. Which of the following statements is/are false? $p \rightarrow(q \vee r)) \equiv((p \wedge \neg q) \rightarrow r)$ $(p \wedge q) \vee r \equiv p \wedge(q \vee r)$ If $(p \rightarrow q)$ is FALSE then $(q \rightarrow p)$ is TRUE. If $(p \rightarrow q)$ is TRUE then $(q \rightarrow p)$ is FALSE.
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
131
views
goclasses2024-topictest-1
goclasses
mathematical-logic
propositional-logic
multiple-selects
2-marks
2
votes
0
answers
132
GO 2023 Topic Wise Free Test 1 | Question: 14
Which of the following statements is true? The sentence $S$ is a logical consequence of $S_{1},\dots,S_{n}$ if and only if $S_{1}\wedge S_{2} \wedge \dots \wedge S_{n}\rightarrow S$ is satisfiable. The sentence $S$ ... $S_{1}\wedge S_{2}\wedge \dots \wedge S_{n}\wedge S$ is inconsistent.
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
176
views
goclasses2024-topictest-1
mathematical-logic
propositional-logic
2-marks
2
votes
0
answers
133
GO 2023 Topic Wise Free Test 1 | Question: 15
Consider a proposition given as: $x \geq 6$, if $x^2 \geq 25 $ and and its proof as: If $x \geq 6$, then $x^2 =x.x \geq 6.6 = 36 \geq 25$ Which of the following is correct with respect to the given proposition and its proof? The ... by assuming what is to be shown The proof is correct and there is nothing wrong $ a$ only $c$ only $a$ and $b$ $b$ only
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
159
views
goclasses2024-topictest-1
mathematical-logic
propositional-logic
2-marks
2
votes
0
answers
134
GO 2023 Topic Wise Free Test 1 | Question: 16
If the bank receipt is forged, then Mr. M is liable. If Mr. M is liable, he will go bankrupt. If the bank will loan him money, he will not go bankrupt. The bank will loan him money. Which of the following can be concluded from the above statements? Mr. M is liable The receipt is not forged Mr. M will go bankrupt The bank will go bankrupt
GO Classes
asked
in
Mathematical Logic
Dec 5, 2022
by
GO Classes
132
views
goclasses2024-topictest-1
mathematical-logic
propositional-logic
2-marks
0
votes
1
answer
135
Provided by teacher, topic -arguments
Show that: (r → ~ q, r ∪ S, S → ~ q, p → q) ↔ ~ p are inconsistent.
raj-123
asked
in
Mathematical Logic
Nov 26, 2022
by
raj-123
282
views
mathematical-logic
propositional-logic
descriptive
0
votes
1
answer
136
Translate the given statement into propositional logicexpressions:“A man qualifies for the marathon if his best previous time is less than 3 hours and a woman qualifies for the marathon if her best previous time is less than 3.5 hours.
VASEEMUN
asked
in
Mathematical Logic
Oct 29, 2022
by
VASEEMUN
692
views
discrete-mathematics
mathematical-logic
propositional-logic
0
votes
0
answers
137
UGC NET CSE | October 2022 | Part 1 | Question: 85
Consider $\alpha, \beta, \gamma$ as logical variables. Identify which of the following represents correct logical equivalence : (A) $(\alpha \wedge(\beta \vee \gamma)) \equiv((\alpha \wedge \beta) \vee(\alpha \wedge \gamma))$ ... options given below : (A) and (D) only (B) and (C) only, (A) and (C) only (B) and (D) only
admin
asked
in
Mathematical Logic
Oct 23, 2022
by
admin
186
views
ugcnetcse-oct2022-paper1
propositional-logic
0
votes
3
answers
138
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
prithatiti
asked
in
Mathematical Logic
Sep 6, 2022
by
prithatiti
672
views
propositional-logic
mathematical-logic
discrete-mathematics
2
votes
2
answers
139
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
asked
in
Mathematical Logic
May 2, 2022
by
GO Classes
468
views
goclasses_wq2
numerical-answers
goclasses
mathematical-logic
propositional-logic
1-mark
4
votes
4
answers
140
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)$
GO Classes
asked
in
Mathematical Logic
May 2, 2022
by
GO Classes
643
views
goclasses_wq2
numerical-answers
goclasses
mathematical-logic
propositional-logic
1-mark
0
votes
1
answer
141
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, 2022
by
ykrishnay
289
views
discrete-mathematics
engineering-mathematics
propositional-logic
kenneth-rosen
mathematical-logic
Page:
« prev
1
2
3
4
5
6
7
8
9
10
...
23
next »
Subscribe to GATE CSE 2024 Test Series
Subscribe to GO Classes for GATE CSE 2024
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
Post GATE 2024 Guidance [Counseling tips and resources]
GATE CSE 2024 Result Responses
[Project Contest] Pytorch backend support for MLCommons Cpp Inference implementation
Participating in MLCommons Inference v4.0 submission (deadline is February 23 12pm IST)
IIITH PGEE 2024 Test Series by GO Classes
Subjects
All categories
General Aptitude
(3.5k)
Engineering Mathematics
(10.4k)
Digital Logic
(3.6k)
Programming and DS
(6.2k)
Algorithms
(4.8k)
Theory of Computation
(6.9k)
Compiler Design
(2.5k)
Operating System
(5.2k)
Databases
(4.8k)
CO and Architecture
(4.0k)
Computer Networks
(4.9k)
Artificial Intelligence
(79)
Machine Learning
(48)
Data Mining and Warehousing
(25)
Non GATE
(1.4k)
Others
(2.7k)
Admissions
(684)
Exam Queries
(1.6k)
Tier 1 Placement Questions
(17)
Job Queries
(80)
Projects
(11)
Unknown Category
(870)
64.3k
questions
77.9k
answers
244k
comments
80.0k
users
Recent questions tagged propositional-logic
Recent Blog Comments
category ?
Hi @Arjun sir, I have obtained a score of 591 in ...
download here
Can you please tell about IIT-H mtech CSE self...
Please add your admission queries here:...