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 goclasses_wq3
2
votes
1
answer
1
GO Classes 2023 | Weekly Quiz 3 | Question: 1
If $F_1, F_2$ and $F_3$ are propositional formulae/expressions, over same set of propositional variables, such that $F_1\wedge F_2\rightarrow F_3$ is a contradiction, then which of the following is/are necessarily true? Both $F_1$ and $F_2$ ... $F_1\wedge F_2$ is a tautology $F_3$ is a contradiction $F_1,\;F_2$ and $F_3$ all are contradictions.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
447
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
1-mark
2
votes
1
answer
2
GO Classes 2023 | Weekly Quiz 3 | Question: 2
If $F_1, F_2$ and $F_3$ are propositional formulae/expressions, over same set of propositional variables, such that $(F_1\rightarrow F_2)\rightarrow F_3$ is a contradiction, then which of the following is/are necessarily true? It is not ... Contradiction. $F_3$ is a contradiction. It is not possible that $F_1$ is Contingency and $F_2$ is Contradiction.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
194
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
2
votes
2
answers
3
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.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
280
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
3
votes
2
answers
4
GO Classes 2023 | Weekly Quiz 3 | Question: 4
Let $A,\;B$ represent two propositions. Which of the following logical formulae is/are tautology? $A\wedge B\rightarrow (A\rightarrow B)$ $A\wedge \neg B \rightarrow \neg (A\rightarrow B)$ $\neg A\wedge B \rightarrow (A\rightarrow B)$ $\neg A\wedge \neg B \rightarrow (A\rightarrow B)$
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
236
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
1-mark
2
votes
1
answer
5
GO Classes 2023 | Weekly Quiz 3 | Question: 5
Let’s consider the interpretation $v$ where $v(p) = F, v(q) = T, v(r) = T.$ Which of the following propositional formulas are satisfied by $v$? $(p \rightarrow \neg q) \vee \neg(r \wedge q)$ $(\neg p \vee \neg q) \rightarrow (p \vee \neg r)$ $\neg(\neg p \rightarrow \neg q) \wedge r$ $\neg (\neg p \rightarrow q \wedge \neg r)$
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
244
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
1-mark
3
votes
1
answer
6
GO Classes 2023 | Weekly Quiz 3 | Question: 6
If $F1$, and $F2$ are propositional formulae/expressions, over same set of propositional variables, such that $F1,F2$ both are contingencies, then which of the following is/are necessarily false(i.e. Never Possible): $F1 \vee F2$ is a ... a tautology. $F1 \vee F2$ is a contradiction $(F1 \rightarrow F2) \vee (F2 \rightarrow F1)$ is contingency.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
335
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
1
vote
1
answer
7
GO Classes 2023 | Weekly Quiz 3 | Question: 7
Let $p,q$ be two atomic propositional assertions. Then which of the following is/are false? $(p \rightarrow q) \vee (p \rightarrow \neg q)$ is necessarily tautology. $(p \rightarrow q) \vee (q \rightarrow p)$ ... $(p \rightarrow q) \vee (\neg q \rightarrow \neg p)$ is necessarily tautology.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
154
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
1
vote
1
answer
8
GO Classes 2023 | Weekly Quiz 3 | Question: 8
A sufficient condition that a triangle $T$ be a right triangle is that $a^2+b^2=c^2$. An equivalent statement is If $T$ is a right triangle then $a^2+b^2=c^2$. If $a^2+b^2=c^2$ then $T$ is a right triangle. If $a^2+b^2\neq c^2$ then $T$ is not a right triangle. $T$ is a right triangle only if $a^2+b^2=c^2$.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
169
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
1-mark
3
votes
1
answer
9
GO Classes 2023 | Weekly Quiz 3 | Question: 9
Consider the statement form $S$ : $\left((p\Rightarrow (q\Rightarrow r)) \Leftrightarrow ((p\wedge q)\Rightarrow r)\right)\wedge \sim p\wedge \sim q\wedge \sim r$ Which of the following is true ? $S$ is a tautology $S$ is a Contradiction $S$ is a Contingency $S$ is equivalent to $ \sim (p\vee q\vee r)$.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
249
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
2
votes
3
answers
10
GO Classes 2023 | Weekly Quiz 3 | Question: 10
The shortest formula in propositional logic is $``p”$ where $p$ is a propositional atom. Which one of the following statements is TRUE? The formula $p$ is valid and satisfiable. The formula $p$ is invalid and unsatisfiable. The formula $p$ is invalid and satisfiable. The formula $p$ is valid and unsatisfiable.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
304
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
1-mark
5
votes
3
answers
11
GO Classes 2023 | Weekly Quiz 3 | Question: 11
Let $P$ be a compound proposition over $4$ propositional variables: $a,b,c,d$. We know that for a compound proposition over $n$ propositional variables, we have $2^n$ rows in the truth table. Every row of truth table of $P$ is called an ... $P$ be $"a \rightarrow b"$. How many models are there for $P$ ?
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
433
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
numerical-answers
2-marks
4
votes
2
answers
12
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
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
176
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
2-marks
1
vote
2
answers
13
GO Classes 2023 | Weekly Quiz 3 | Question: 13
Consider the following proposition : $A_n=\underbrace{(p\rightarrow (q\rightarrow (p\rightarrow (q\rightarrow (\dots )))))}_{\text{number of p's+ number of q's = n}}$ Which of the following is true for $A_n$ : For every $n \geq 2$, $A_n$ ... every $n \geq 2$, $A_n$ is a contingency. For every $n \geq 2$, $A_n$ is either a tautology or a contingency.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
278
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
1-mark
2
votes
1
answer
14
GO Classes 2023 | Weekly Quiz 3 | Question: 14
If $F1, F2$ and $F3$ are propositional formulae/expressions, over same set of propositional variables, such that $F1 \wedge F2 \wedge F3$ is unsatisfiable and such that the conjunction of any pair of them is satisfiable, then which of the ... $(F1\rightarrow F2),(F2\rightarrow F3),(F3\rightarrow F1)$, all are contingency.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
232
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
2
votes
1
answer
15
GO Classes 2023 | Weekly Quiz 3 | Question: 15
Let $F$ and $G$ be two propositional formula. Which of the following is/are True? $F \vee G$ is a tautology iff one of them is a tautology if $F \rightarrow G$ is a tautology and $F$ is a tautology, then $G$ ... $(F \rightarrow G) \wedge (F \rightarrow \neg G)$ is a tautology iff $F$ is a contradiction.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
158
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
1
vote
2
answers
16
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?
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
380
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
numerical-answers
1-mark
2
votes
1
answer
17
GO Classes 2023 | Weekly Quiz 3 | Question: 17
If the statement $q \wedge r$ is true, then the number of all combinations of truth values for $p$ and $s$ such that the statement $(q \rightarrow [\neg p \vee s]) \wedge [\neg s \rightarrow r]$ is TRUE is ______
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
180
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
numerical-answers
1-mark
3
votes
1
answer
18
GO Classes 2023 | Weekly Quiz 3 | Question: 18
The number of combinations of truth values for $p, q$ and $r$ for which the statement $\neg p \leftrightarrow (q \wedge \neg (p \rightarrow r))$ is true ______
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
163
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
numerical-answers
1-mark
3
votes
1
answer
19
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.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
324
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
2
votes
2
answers
20
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)$.
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
176
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
3
votes
1
answer
21
GO Classes 2023 | Weekly Quiz 3 | Question: 21
Of all the connectives we've seen, the implication $\rightarrow$ connective is probably the trickiest. Let $F$ and $G$ be two propositional formulas, over same set of propositional variables, such that $(F \rightarrow G)$ ... $(F \rightarrow G)\wedge (G \rightarrow F)$ is necessarily a Tautology. $F$ is necessarily equivalent to $G.$
GO Classes
asked
in
Mathematical Logic
Mar 24
by
GO Classes
185
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
To see more, click for the
full list of questions
or
popular tags
.
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)
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 tagged goclasses_wq3
Recent Blog Comments
@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.
@Arjun @Deepak Sir, In Test Schedule google...