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
4
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, 2022
by
GO Classes
672
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
1-mark
4
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, 2022
by
GO Classes
280
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
3
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, 2022
by
GO Classes
526
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
5
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, 2022
by
GO Classes
365
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
1-mark
4
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, 2022
by
GO Classes
463
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
1-mark
5
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, 2022
by
GO Classes
514
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
4
votes
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 a tautology. $(p \rightarrow q) \vee (q \rightarrow p)$ is a tautology. $(p \rightarrow q) \vee (q \rightarrow \neg p)$ is a tautology. $(p \rightarrow q) \vee (\neg q \rightarrow \neg p)$ is a tautology.
GO Classes
asked
in
Mathematical Logic
Mar 24, 2022
by
GO Classes
279
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
8
votes
4
answers
8
GO Classes Weekly Quiz 4 | Propositional Logic | Question: 2
A sufficient condition for 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, 2022
by
GO Classes
687
views
goclasses
goclasses_wq3
goclasses2024_wq4
mathematical-logic
propositional-logic
multiple-selects
1-mark
3
votes
2
answers
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, 2022
by
GO Classes
417
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
4
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, 2022
by
GO Classes
454
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
1-mark
13
votes
4
answers
11
GO Classes Weekly Quiz 4 | Propositional Logic | Question: 12
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$ is true for that row. Let $P$ be $'a \rightarrow b'$. How many models are there for $P?$
GO Classes
asked
in
Mathematical Logic
Mar 24, 2022
by
GO Classes
1.1k
views
goclasses
goclasses_wq3
goclasses2024_wq4
mathematical-logic
propositional-logic
numerical-answers
2-marks
5
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, 2022
by
GO Classes
316
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
2-marks
2
votes
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, 2022
by
GO Classes
428
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
1-mark
4
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, 2022
by
GO Classes
374
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
6
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 at least 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, 2022
by
GO Classes
298
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
4
votes
3
answers
16
GO Classes Weekly Quiz 4 | Propositional Logic | Question: 3
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, 2022
by
GO Classes
1.1k
views
goclasses
goclasses_wq3
goclasses2024_wq4
mathematical-logic
propositional-logic
numerical-answers
1-mark
5
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, 2022
by
GO Classes
259
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
numerical-answers
1-mark
8
votes
4
answers
18
GO Classes Weekly Quiz 4 | Propositional Logic | Question: 13
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, 2022
by
GO Classes
525
views
goclasses
goclasses_wq3
goclasses2024_wq4
mathematical-logic
propositional-logic
numerical-answers
2-marks
6
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, 2022
by
GO Classes
484
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
4
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, 2022
by
GO Classes
296
views
goclasses
goclasses_wq3
mathematical-logic
propositional-logic
multiple-selects
2-marks
5
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, 2022
by
GO Classes
313
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 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
DRDO Scientist -B
ISRO Scientist-B 2023
BARC RECRUITMENT 2023
COAP Responses | GATE CSE 2023
Interview Experience : M.Tech AI at IIT Jodhpur, Self Sponsored
Subjects
All categories
General Aptitude
(2.8k)
Engineering Mathematics
(9.7k)
Digital Logic
(3.4k)
Programming and DS
(5.9k)
Algorithms
(4.6k)
Theory of Computation
(6.7k)
Compiler Design
(2.3k)
Operating System
(5.0k)
Databases
(4.6k)
CO and Architecture
(3.8k)
Computer Networks
(4.7k)
Non GATE
(1.4k)
Others
(2.4k)
Admissions
(665)
Exam Queries
(1.0k)
Tier 1 Placement Questions
(17)
Job Queries
(77)
Projects
(9)
Unknown Category
(867)
Recent questions tagged goclasses_wq3
Recent Blog Comments
Indeed the reasons are valid, hope the positive...
@Shubham Sharma 2 Is it possible to get a...
are MSc.(CS) students eligible?
It is said that the gate score will have 80%...
Maybe we should raise our concern in Supreme...