Please select a subject first
Advertisements
Advertisements
Using the truth table, prove the following logical equivalence :
p ↔ q ≡ (p ∧ q) ∨ (~p ∧ ~q)
Concept: Logical Connectives
Write the following compound statement symbolically.
If ΔABC is right-angled at B, then m∠A + m∠C = 90°.
Concept: Logical Connectives
Write converse, inverse and contrapositive of the following statement.
If x < y then x2 < y2 (x, y ∈ R)
Concept: Converse, Inverse, and Contrapositive
Write converse, inverse and contrapositive of the following statement. "If voltage increases then current decreases".
Concept: Converse, Inverse, and Contrapositive
Using the rule of negation write the negation of the following with justification.
p → (p ∨ ∼ q)
Concept: Negations of Compound Statements
Construct the switching circuit of the following:
(∼ p ∧ q) ∨ (p ∧ ∼ r)
Concept: Application of Logic to Switching Circuits
Give an alternative equivalent simple circuit for the following circuit:

Concept: Application of Logic to Switching Circuits
Using the rules in logic, write the negation of the following:
(p ∨ q) ∧ (q ∨ ∼r)
Concept: Algebra of Statements
Negation of p → (p ˅ ∼ q) is ______
Concept: Logical Connectives
A biconditional statement is the conjunction of two ______ statements.
Concept: Logical Connectives
If p → q is an implication, then the implication ∼ q → ∼ p is called its
Concept: Logical Connectives
Write the following compound statements symbolically.
Triangle is equilateral or isosceles
Concept: Logical Connectives
Without using truth table prove that:
~ (p ∨ q) ∨ (~ p ∧ q) ≡ ~ p
Concept: Logical Connectives
Write the following statement in symbolic form:
Milk is white if and only if the sky is not blue.
Concept: Logical Connectives
Write the following statements in symbolic form
If Kutab – Minar is in Delhi then Taj - Mahal is in Agra
Concept: Logical Connectives
Write the following statements in symbolic form
Even though it is not cloudy, it is still raining
Concept: Logical Connectives
Examine whether the statement pattern
[p → (∼q ˅ r)] ↔ ∼[p → (q → r)] is a tautology, contradiction or contingency.
Concept: Tautology, Contradiction, and Contingency
Use quantifiers to convert the given open sentence defined on N into a true statement
3x – 4 < 9
Concept: Quantifier, Quantified and Duality Statements in Logic
Use quantifiers to convert the given open sentence defined on N into a true statement
Y + 4 > 6
Concept: Quantifier, Quantified and Duality Statements in Logic
The negation of p ^ (q → r) is ______.
Concept: Negations of Compound Statements
