1. Write the following sentences in the form of if... then and then find the inverse, converse,
and contrapositive [8]
i) You can become successful and happy unless you lead a lazy life.
ii) We enter the password or we click on the forget password button is necessary for
us to login into the system and create a user profile.
2. With all the steps find out if the following system specifications are consistent or
not- [7]
i) If you study well, then you will get a good grade.
ii) We did all the assignments is necessary for us to get a good grade.
iii) We didn’t do all the assignments.
3. Use any of the two proof methods to prove the following- [5]
∼((∼a ∧ b) ∨ (∼a ∧ ∼b)) ∨ (a ∧ b) ≡ a
1)
i) You can become successful and happy unless you lead a lazy life.
define P = You can become successful and happy and Q = lead a lazy lazy life
Rewriting the sentence we have
If you can become successful and happy then you have to avoid being lazy in life.
inverse
if you cannot become successful and happy then you do not have to avoid being lazy in life.
converse
if you lead a lazy life then you can become successful and happy.
contrapositive
if you not lead a lazy life then you cannot become successful and happy.
ii) We enter the password or we click on the forget password button is necessary for
us to login into the system and create a user profile.
Define P = We enter the password or we click on the forget password button
Define Q = log into the system and create a user profile
Rewriting the sentence, we have
If we enter the password or we click on the forget password button then we can login into the system and create user profile.
inverse
If we do not enter the password or we do not click on the forget password button then we cannot login into the system and create user profile
converse
if we can log in to the system and create a user profile then we enter the password or we click on forget password button
contrapositive
if we cannot log into the system and create user profile then we do not enter the password or we do not click on the forget password button
2) Define if you study= a, get good grades = b, did assignments = c
Thus the three specifications can be reduced to
i) a"\\implies" b
ii) c"\\implies"b
iii) "\\lnot" c
when both a, b and c are false, then all the three statements are true. So the specification is consistent.
3. Use any of the two proof methods to prove the following- [5]
∼((∼a ∧ b) ∨ (∼a ∧ ∼b)) ∨ (a ∧ b) ≡ a
assuming that a = True (T) and b= False (F), then
(∼a ∧ b) =( ∼T∧ F ) = F
(∼a ∧ ∼b) =( ∼T ∧ ∼F ) = F
Thus (∼a ∧ b) ∨ (∼a ∧ ∼b) = (F∨ F) = F
Hence ∼((∼a ∧ b) ∨ (∼a ∧ ∼b)) = ∼F = T
(a ∧ b) = (T ∧ F) = F
Thus ∼((∼a ∧ b) ∨ (∼a ∧ ∼b)) ∨ (a ∧ b) =( T∨ F) = T
Since a = T, this means the left side(∼((∼a ∧ b) ∨ (∼a ∧ ∼b)) ∨ (a ∧ b) is equivalent to the right side(a). Hence we conclude that ∼((∼a ∧ b) ∨ (∼a ∧ ∼b)) ∨ (a ∧ b) ≡ a which concludes the proof.
Again, assuming a = false(F) and b= True(T), then
(∼a ∧ b) =( ∼F∧ T ) = T
(∼a ∧ ∼b) =( ∼F ∧ ∼T ) = F
Thus (∼a ∧ b) ∨ (∼a ∧ ∼b) = (T∨ F) = T
Hence ∼((∼a ∧ b) ∨ (∼a ∧ ∼b)) = ∼T = F
(a ∧ b) = (F ∧ T) = F
Thus ∼((∼a ∧ b) ∨ (∼a ∧ ∼b)) ∨ (a ∧ b) =( F∨ F) = F
Since a = False, this means the left side(∼((∼a ∧ b) ∨ (∼a ∧ ∼b)) ∨ (a ∧ b) is equivalent to the right side(a). Hence we conclude that ∼((∼a ∧ b) ∨ (∼a ∧ ∼b)) ∨ (a ∧ b) ≡ a which concludes the proof.
By the two proofs above where we have used different logical values for a and b, we conclude the proof as shown above in both proofs.
Comments
Leave a comment