Assignment Discrete Mathematics 1236658028
Assignment Discrete Mathematics 1236658028
(ii) P r V ~q Λ p V r
p Q r ~p ~q Λ p p r B
T T T F F T T
T T F F F F F
T F T T T T T
T F F T T F T
F T T F F T T
F T F F F T T
F F T T F T T
F F F T F T T
Q1(b). What are conditional connectives? Give an example of
Biconditional Statement.
DIRECT PROOF: -
A direct proof of p q is a logically valid
argument that begins with the assumptions that p is true and in one
or more applications of the law of detachment concludes that q must
be true.
Therefore to construct a direct proof of p q, start by assuming that
p is true. In one or more steps of the form pq1, q1q2,qnq, it is
concluded that q is true.
INDIRECT PROOF: -
In indirect proof there are two method for
proving pq . They are proof by contra positive and proof by
contradiction.
(i) Proof by contra positive: - In this method we can use the fact that
the propositions pq is logically equivalent toits contra positive( –q
–p).
i.e. pq ≡ (~q ~p).
For example: - “If shiva does not agree with the communist then he is
not orthodox”.
Proof by Contradiction: -
Suppose that √5 is rational. Thus there exist positive integer a and b.
Such that √5 = a/b
a = √5b
a² = 5b² --------------------- (1)
5│a² = 5│a.
Therefore by definition, a = 5c for some c Є Z .
a² = 25c²
But from eq (1) a² = 5b²
25c² = 5b²
5c² = b²
5│b² = 5│b
COUNTER EXAMPLE: -
A counter example to a statement is an
example that shows that the statement is false. The name itself
suggests that it is an example to counter a given statement.
SOL: -Suppose that √17 is rational. Thus there exist positive integer a
and b.
Such that √17 = a/b
a = √17b
a² = 17b² --------------------- (1)
17│a² = 17│a.
Therefore by definition, a = 17c for some c Є Z .
a² = 289c²
But from eq (1) a² = 17b²
289c² = 17b²
17c² = b²
17│b² = 17│b
Hence by solving the Boolean expression for the output of the above
logic circuit is : [{( A’.B ). B’ }’ + C]’
(A ∆ B)UC~A
(iii) (A U B) ∩ (B~C)
(B~C)
(A U B)
(AUB)∩(B~C)
Q5(b). Give geometric representation for following:
(i) {3} x R
(ii) (1, 2) x (2, -3)
Ans: - The geometric diagram fir {3} X R is as follows: