Wednesday, February 17, 2010

Assignment - 2 Logic


B. H. Gardi College of Engineering and Technology,Rajkot
Department of MCA
MCA Semester – II
Subject: 620007 – Theory of Computation

Assignment – 2 Logic                  Date: 17-Feb-2010


1
Proposition
2
Compound Proposition
3
Free Variable
4
Domain / Universe
Logical Connectives

a. Conjunction

b. Disjunction

c. Negation

d. Conditional

e. Biconditional
5
Truth table
6
Converse of the Other
7
Tautology
8
Contradiction
9
Logically Implies Proposition
10
Logically Equivalent Proposition
11
Existential Quantifier
12
Bound Variable
13
Universal Quantifier



Note: Write all definition with Truth Table(If Possible) and Example.