0% found this document useful (0 votes)
4 views2 pages

DM Question Bank

The document outlines various logical concepts and exercises related to propositions, including definitions of dual, contradiction, and quantifiers. It includes tasks such as proving tautologies, writing symbolic forms, and verifying the validity of arguments. The content is structured into units with specific questions aimed at understanding logical reasoning and argument validity.

Uploaded by

prajwaldaredevil
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOC, PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
4 views2 pages

DM Question Bank

The document outlines various logical concepts and exercises related to propositions, including definitions of dual, contradiction, and quantifiers. It includes tasks such as proving tautologies, writing symbolic forms, and verifying the validity of arguments. The content is structured into units with specific questions aimed at understanding logical reasoning and argument validity.

Uploaded by

prajwaldaredevil
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOC, PDF, TXT or read online on Scribd
You are on page 1/ 2

VIGNAN INSTITUTE OF TECHNOLOGY AND SCIENCE

(AN AUTONOMOUS INSTITUTION)


Deshmukhi (V), Pochampally (M), Yadadri Bhuvanagiri Dist., TS-508284

UNIT –I
1. A Define Dual of a proposition.
B For a specified real number x, write Negation of “If x is an integer, then it is a rational number”

C i) Prove whether the following is tautology: .


ii) Prove that is logically implied by .

2 A Define Contradiction. Give an example.


B Write converse, inverse, and contrapositive of “If quadrilateral is a parallelogram, then diagonals
bisect each other”.
C i)Show that the following premises are consistent.
.
ii)Obtain the principal disjunctive normal form of
.

3 A Write about Quantifiers.


B “All Humming birds are colorful” Write the symbolic form and find its negation.
C i)Without using truth tables, Show the following logical equivalence
.

ii)Prove that the following argument is valid

4 A Write Modus pones and Modus tollens rules.


B Define logical NAND.
C Verify the validity of the following argument “every living thing is a plant or an animal. Joe’s gold
fish is alive and it is not a plant. All animals have hearts. Therefore Joe’s gold fish has a heart.”
D Prove that is a valid conclusion from the premises .
5 A What is PDNF of a compound proposition?
B Define Argument and its Validity.
C Construct the truth table for

D Test the validity of the following argument.


If I study, I will not fail in the examination.
If I do not watch TV in the evenings, I will study.
I failed in the examination.
Therefore, I must have watched TV in the evenings.
6 A Write about Conjunction and Conditional.
VIGNAN INSTITUTE OF TECHNOLOGY AND SCIENCE
(AN AUTONOMOUS INSTITUTION)
Deshmukhi (V), Pochampally (M), Yadadri Bhuvanagiri Dist., TS-508284

B Write the symbolic form of “Every integer is either positive or negative”.


C Obtain the PCNF of

D Verify the validity of the following arguments

You might also like