Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Recent questions tagged propositional-logic
1
votes
1
answer
61
Discrete Mathematics | Propositional Logic | Test 1 | Question: 5
A compound sentence is a $\textit{tautology}$ if it is true independently of the truth values of its component atomic sentences. A sentence is $\textit{atomic}$ if it contains no sentential connectives. A sentence $P$ ... ) $\neg P \rightarrow P$ $P \rightarrow \neg P$ $P \vee Q$ $P \vee \neg P$
A compound sentence is a $\textit{tautology}$ if it is true independently of the truth values of its component atomic sentences. A sentence is $\textit{atomic}$ if it con...
ankitgupta.1729
254
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
mathematical-logic
propositional-logic
1-mark
multiple-selects
+
–
2
votes
1
answer
62
Discrete Mathematics | Propositional Logic | Test 1 | Question: 6
A compound sentence is a $\textit{tautology}$ if it is true independently of the truth values of its component atomic sentences. A sentence is $\textit{atomic}$ if it contains no sentential connectives. Now, consider the following statements: For any ... (iii) are correct (i),(iii) and (iv) are correct (i),(ii) and (iv) are correct
A compound sentence is a $\textit{tautology}$ if it is true independently of the truth values of its component atomic sentences. A sentence is $\textit{atomic}$ if it con...
ankitgupta.1729
213
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
mathematical-logic
propositional-logic
1-mark
+
–
6
votes
0
answers
63
Discrete Mathematics | Propositional Logic | Test 1 | Question: 7
The $\textit{well-formed formulas (wff)}$ of propositional logic are obtained by using the following rules: 1. An atomic proposition $\phi$ is a well-formed formula. 2. If $\phi$ ... (P, Q and R are atomic propositions) Total number of well-formed formulas are ______
The $\textit{well-formed formulas (wff)}$ of propositional logic are obtained by using the following rules: 1. An atomic proposition $\phi$ is a well-formed formula. 2. ...
ankitgupta.1729
637
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
numerical-answers
mathematical-logic
propositional-logic
2-marks
+
–
3
votes
1
answer
64
Discrete Mathematics | Propositional Logic | Test 1 | Question: 8
Consider the following truth table for the connective $\rightarrow:$ ... (i) and (iii) are correct (i) and (ii) are correct (i), (ii) and (iii) are correct
Consider the following truth table for the connective $\rightarrow:$ $$\begin{array}{c|c|c}p & q & p \rightarrow q \\\hlineT & T & T \\T & F & F \\F & T...
ankitgupta.1729
254
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
mathematical-logic
propositional-logic
2-marks
+
–
2
votes
0
answers
65
Discrete Mathematics | Propositional Logic | Test 1 | Question: 9
Consider the following statements: "Ralph is a dog if he's not a puppet" can be formalized as $\neg$ (Ralph is a puppet) $\rightarrow$ (Ralph is a dog) "Ralph is not a dog because he's a puppet" ... correct $(i)$ and $(iii)$ are correct $(i),(ii)$ and $(iii)$ are correct
Consider the following statements: "Ralph is a dog if he’s not a puppet" can be formalized as $\neg$ (Ralph is a puppet) $\rightarrow$ (Ralph is a dog) ...
ankitgupta.1729
391
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
mathematical-logic
propositional-logic
2-marks
+
–
3
votes
1
answer
66
Discrete Mathematics | Propositional Logic | Test 1 | Question: 10
Consider the following two statements: i. Sentence $\textit{Neither A nor B}$ can be represented by $A \downarrow B$ where $\downarrow$ is used in Boolean circuits for $\textit{nor}$ function. ii. Sentence $\textit{not at once A and B}$ ... $(i)$ is correct Only $(ii)$ is correct Both $(i)$ and $(ii)$ are correct None of the above
Consider the following two statements: i. Sentence $\textit{Neither A nor B}$ can be represented by $A \downarrow B$ where $\downarrow$ is used in Boolean circui...
ankitgupta.1729
196
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
mathematical-logic
propositional-logic
2-marks
+
–
5
votes
1
answer
67
Discrete Mathematics | Propositional Logic | Test 1 | Question: 11
A function $f:\{0,1\}^n \rightarrow \{0,1\}$ is called an $\textit{n-ary Boolean function}$ or $\textit{truth function}.$ We denote their totality by the set $\mathbf{B_n}.$ Now, $f \in \mathbf{B_n}$ is called $\textit{linear}$ ... of $\textit{n-ary linear Boolean functions}$ is: $2^{2^n}$ $2^{2^{n+1}}$ $2^n$ $2^{n+1}$
A function $f:\{0,1\}^n \rightarrow \{0,1\}$ is called an $\textit{n-ary Boolean function}$ or $\textit{truth function}.$ We denote their totality by the set $\m...
ankitgupta.1729
464
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
mathematical-logic
propositional-logic
2-marks
+
–
6
votes
0
answers
68
Discrete Mathematics | Propositional Logic | Test 1 | Question: 12
The atomic propositional variables $p_0,p_1,...$ are $\textit{formulas},$ called $\textit{prime formulas},$ also called $\textit{atomic}$ formulas, or simply $\textit{primes}.$ ... a DNF nor a CNF. $p \vee \neg (\neg p \wedge q)$ is either a DNF or a CNF.
The atomic propositional variables $p_0,p_1,...$ are $\textit{formulas},$ called $\textit{prime formulas},$ also called $\textit{atomic}$ formulas, or simply $\textit{pri...
ankitgupta.1729
531
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
mathematical-logic
propositional-logic
multiple-selects
2-marks
+
–
2
votes
1
answer
69
Discrete Mathematics | Propositional Logic | Test 1 | Question: 13
The set of logical symbols of a propositional language is called the $\textit{logical signature}.$ A logical signature is called $\textit{functionally complete}$ if every Boolean function is representable by a formula in this ... $\{\rightarrow\}$ is $\textit{not}$ functionally complete.
The set of logical symbols of a propositional language is called the $\textit{logical signature}.$ A logical signature is called $\textit{functionally complete}$ if every...
ankitgupta.1729
293
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
mathematical-logic
propositional-logic
multiple-selects
2-marks
+
–
4
votes
1
answer
70
Discrete Mathematics | Propositional Logic | Test 1 | Question: 14
A compound sentence is a $\textit{tautology}$ if it is true independently of the truth values of its component atomic sentences. A sentence is $\textit{atomic}$ if it contains no sentential connectives. Let $P,Q$ and ... $(P \leftrightarrow P) \leftrightarrow P$ is a tautology Number of correct statements are ______
A compound sentence is a $\textit{tautology}$ if it is true independently of the truth values of its component atomic sentences. A sentence is $\textit{atomic}$ if it con...
ankitgupta.1729
318
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
numerical-answers
mathematical-logic
propositional-logic
2-marks
+
–
3
votes
2
answers
71
Discrete Mathematics | Propositional Logic | Test 1 | Question: 15
A compound sentence is a $\textit{tautology}$ if it is true independently of the truth values of its component atomic sentences. A sentence is $\textit{atomic}$ if it contains no sentential connectives. A sentence $P$ ... ) $\neg Q \rightarrow \neg P$ $Q \rightarrow P$ $P \rightarrow Q$ $\neg P \wedge Q$
A compound sentence is a $\textit{tautology}$ if it is true independently of the truth values of its component atomic sentences. A sentence is $\textit{atomic}$ if it con...
ankitgupta.1729
421
views
ankitgupta.1729
asked
Apr 11, 2023
Mathematical Logic
testsbyankitg-dm-1
mathematical-logic
propositional-logic
multiple-selects
2-marks
+
–
4
votes
2
answers
72
GO Classes CS 2025 | Weekly Quiz 3 | Propositional Logic | Question: 1
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)$ ... $(p \rightarrow q) \vee (\neg q \rightarrow \neg p)$ is a tautology.
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 ...
GO Classes
552
views
GO Classes
asked
Apr 5, 2023
Mathematical Logic
goclasses2025_cs_wq3
goclasses
mathematical-logic
propositional-logic
multiple-selects
1-mark
+
–
9
votes
3
answers
73
GO Classes CS 2025 | Weekly Quiz 3 | Propositional Logic | Question: 2
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)$
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) \...
GO Classes
606
views
GO Classes
asked
Apr 5, 2023
Mathematical Logic
goclasses2025_cs_wq3
goclasses
mathematical-logic
propositional-logic
multiple-selects
1-mark
+
–
10
votes
6
answers
74
GO Classes CS 2025 | Weekly Quiz 3 | Propositional Logic | Question: 3
Consider the following atomic propositions: $\text{R}$: It is Raining $\text{S}$ ... , and vice versa It is raining is equivalent to sonu is sick It is raining or sonu is sick but not both
Consider the following atomic propositions:$\text{R}$: It is Raining$\text{S}$: Sonu is SickWhich of the following is/are correct English Translation of the following log...
GO Classes
690
views
GO Classes
asked
Apr 5, 2023
Mathematical Logic
goclasses2025_cs_wq3
goclasses
mathematical-logic
propositional-logic
multiple-selects
1-mark
+
–
7
votes
2
answers
75
GO Classes CS 2025 | Weekly Quiz 3 | Propositional Logic | Question: 4
Consider the following arguments. $\text{Argument 1:}$ ... ? Only Argument $1$ is valid. Only Argument $2$ is valid. Both Arguments are valid. No Argument is valid.
Consider the following arguments.$\text{Argument 1:}$ Kerry errs or Myrna fails to show. If Kerry errs, then he does not break the record. Myrna fails to show. Therefore,...
GO Classes
464
views
GO Classes
asked
Apr 5, 2023
Mathematical Logic
goclasses2025_cs_wq3
goclasses
mathematical-logic
propositional-logic
1-mark
+
–
7
votes
2
answers
76
GO Classes CS 2025 | Weekly Quiz 3 | Propositional Logic | Question: 10
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. $(F \rightarrow G) \wedge (F \rightarrow \neg G)$ is a tautology iff $F$ is a contradiction.
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 tautologyIf $F \rightarrow G$ is a...
GO Classes
737
views
GO Classes
asked
Apr 5, 2023
Mathematical Logic
goclasses2025_cs_wq3
goclasses
mathematical-logic
propositional-logic
multiple-selects
2-marks
+
–
4
votes
2
answers
77
GO Classes CS 2025 | Weekly Quiz 3 | Propositional Logic | Question: 6
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$ ... $R,$ the following statement is always true: $(P \rightarrow Q) \vee (R \rightarrow Q)$.
The “implies” connective “$\rightarrow$” is one of the stranger connectives in propositional logic. Below are a series of statements regarding implications.Which ...
GO Classes
359
views
GO Classes
asked
Apr 5, 2023
Mathematical Logic
goclasses2025_cs_wq3
goclasses
mathematical-logic
propositional-logic
multiple-selects
2-marks
+
–
11
votes
2
answers
78
GO Classes 2024 | Weekly Quiz 7 | Propositional Logic | Question: 13
Consider the following list of $137$ statements: $\left(S_1\right): $ There is exactly $1$ false statement in this list. $\left(S_2\right): $ There are exactly $2$ ... true. It is possible that more than one statement in this list is true. Exactly one statement in this list is true.
Consider the following list of $137$ statements:$\left(S_1\right): $ There is exactly $1$ false statement in this list.$\left(S_2\right): $ There are exactly $2$ false st...
GO Classes
598
views
GO Classes
asked
Apr 5, 2023
Mathematical Logic
goclasses2024_wq7
goclasses
mathematical-logic
propositional-logic
2-marks
+
–
7
votes
2
answers
79
GO Classes CS 2025 | Weekly Quiz 3 | Propositional Logic | Question: 7
Which of the following logical arguments is/are valid? $\begin{aligned} & P \rightarrow(Q \rightarrow R) \\ & \neg R \\ \therefore & \neg P \\ & \end{aligned}$ ...
Which of the following logical arguments is/are valid?$\begin{aligned} & P \rightarrow(Q \rightarrow R) \\ & \neg R \\ \therefore & \neg P \\ & \end{aligned}$$\begin{alig...
GO Classes
472
views
GO Classes
asked
Apr 5, 2023
Mathematical Logic
goclasses2025_cs_wq3
goclasses
mathematical-logic
propositional-logic
multiple-selects
2-marks
+
–
12
votes
2
answers
80
GO Classes CS 2025 | Weekly Quiz 3 | Propositional Logic | Question: 8
The Logic Problem, taken from $\text{"WFF'N PROOF, The Game of Logic"}$ has these two assumptions: "Logic is difficult or not many students like logic." "If mathematics is easy, then logic ... is not easy or logic is difficult." "Logic is not difficult or mathematics is not easy."
The Logic Problem, taken from $\text{"WFF'N PROOF, The Game of Logic"}$ has these two assumptions:"Logic is difficult or not many students like logic.""If mathematics is ...
GO Classes
460
views
GO Classes
asked
Apr 5, 2023
Mathematical Logic
goclasses2025_cs_wq3
goclasses
mathematical-logic
propositional-logic
multiple-selects
2-marks
+
–
21
votes
6
answers
81
GO Classes CS 2025 | Weekly Quiz 3 | Propositional Logic | Question: 9
Which of the following statements is/are true? The argument form with premises $p_1, p_2, \ldots, p_n$ and conclusion $q \rightarrow r$ is valid iff the argument form with premises $p_1, p_2, \ldots, p_n, r$ ... the argument form with premises $p_1, p_2, \ldots, p_n, \sim r$, and conclusion $\sim q$ is valid.
Which of the following statements is/are true?The argument form with premises $p_1, p_2, \ldots, p_n$ and conclusion $q \rightarrow r$ is valid iff the argument form with...
GO Classes
929
views
GO Classes
asked
Apr 5, 2023
Mathematical Logic
goclasses2025_cs_wq3
goclasses
mathematical-logic
propositional-logic
multiple-selects
2-marks
+
–
5
votes
2
answers
82
GO Classes CS 2025 | Weekly Quiz 2 | Propositional Logic | 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 ... to the shopping mall. If it is not raining then Kareena and Parineeti do not go to the shopping mall.
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 n...
GO Classes
428
views
GO Classes
asked
Mar 26, 2023
Mathematical Logic
goclasses2025_cs_wq2
goclasses
mathematical-logic
propositional-logic
1-mark
+
–
7
votes
3
answers
83
GO Classes CS 2025 | Weekly Quiz 2 | Propositional Logic | 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
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...
GO Classes
366
views
GO Classes
asked
Mar 26, 2023
Mathematical Logic
goclasses2025_cs_wq2
goclasses
mathematical-logic
propositional-logic
1-mark
+
–
4
votes
3
answers
84
GO Classes CS 2025 | Weekly Quiz 2 | Propositional Logic | Question: 3
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$
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
383
views
GO Classes
asked
Mar 26, 2023
Mathematical Logic
goclasses2025_cs_wq2
goclasses
mathematical-logic
propositional-logic
multiple-selects
1-mark
+
–
6
votes
1
answer
85
GO Classes CS 2025 | Weekly Quiz 2 | Propositional Logic | Question: 4
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$
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
312
views
GO Classes
asked
Mar 26, 2023
Mathematical Logic
goclasses2025_cs_wq2
goclasses
mathematical-logic
propositional-logic
multiple-selects
1-mark
+
–
7
votes
3
answers
86
GO Classes CS 2025 | Weekly Quiz 2 | Propositional Logic | Question: 5
In propositional logic, given $P$ and $P \rightarrow Q$, we can infer ________ $\sim Q$ $Q$ $P \wedge Q$ $\sim P \wedge Q$
In propositional logic, given $P$ and $P \rightarrow Q$, we can infer ________$\sim Q$$Q$$P \wedge Q$$\sim P \wedge Q$
GO Classes
606
views
GO Classes
asked
Mar 26, 2023
Mathematical Logic
goclasses2025_cs_wq2
goclasses
mathematical-logic
propositional-logic
multiple-selects
1-mark
+
–
11
votes
3
answers
87
GO Classes CS 2025 | Weekly Quiz 2 | Propositional Logic | Question: 6
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$ is a logical ... $S_{1}\wedge S_{2}\wedge \dots \wedge S_{n}\wedge S$ is inconsistent.
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}\rig...
GO Classes
922
views
GO Classes
asked
Mar 26, 2023
Mathematical Logic
goclasses2025_cs_wq2
goclasses
mathematical-logic
propositional-logic
1-mark
+
–
14
votes
2
answers
88
GO Classes CS 2025 | Weekly Quiz 2 | Propositional Logic | Question: 7
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$ ... $F_3$ is a contradiction $F_1,\;F_2$ and $F_3$ all are contradictions.
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, the...
GO Classes
398
views
GO Classes
asked
Mar 26, 2023
Mathematical Logic
goclasses2025_cs_wq2
goclasses
mathematical-logic
propositional-logic
multiple-selects
1-mark
+
–
21
votes
1
answer
89
GO Classes CS 2025 | Weekly Quiz 2 | Propositional Logic | Question: 9
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 ... satisfiable, then $\phi$ is invalid; and if $\neg \phi$ is satisfiable then $\phi$ is valid.
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 vali...
GO Classes
553
views
GO Classes
asked
Mar 26, 2023
Mathematical Logic
goclasses2025_cs_wq2
goclasses
mathematical-logic
propositional-logic
multiple-selects
2-marks
+
–
Page:
« prev
1
2
3
4
5
6
7
8
...
23
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register
