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

672 views

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

280 views

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

526 views

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

365 views

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

463 views

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

514 views

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

279 views

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

687 views

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

417 views

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

454 views

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

1.1k views

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

316 views

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

428 views

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

374 views

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

298 views

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

1.1k views

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

259 views

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

525 views

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

484 views

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

296 views

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

313 views

To see more, click for the full list of questions or popular tags.

Recent questions tagged goclasses_wq3