Answer to Question #198636 in Discrete Mathematics for Shadleigh

Question #198636

Determine whether ( 𝑝∨𝑞)∧(𝑝→𝑟)∧( 𝑞→𝑠)→𝑟∨𝑠 is a Tautology or a contradiction 


1
Expert's answer
2021-05-26T15:06:56-0400

Let us prove that "( \ud835\udc5d\u2228\ud835\udc5e)\u2227(\ud835\udc5d\u2192\ud835\udc5f)\u2227( \ud835\udc5e\u2192\ud835\udc60)\u2192\ud835\udc5f\u2228\ud835\udc60" is a tautology using proof by contraposition. Suppose that the formula is not a tautology. Then there exists "(p_0,q_0,r_0,s_0)\\in\\{T,F\\}^4" such that "|( \ud835\udc5d_0\u2228\ud835\udc5e_0)\u2227(\ud835\udc5d_0\u2192\ud835\udc5f_0)\u2227( \ud835\udc5e_0\u2192\ud835\udc60_0)\u2192\ud835\udc5f_0\u2228\ud835\udc60_0|=F." The definition of implication implies that "|( \ud835\udc5d_0\u2228\ud835\udc5e_0)\u2227(\ud835\udc5d_0\u2192\ud835\udc5f_0)\u2227( \ud835\udc5e_0\u2192\ud835\udc60_0)|=T" and "|\ud835\udc5f_0\u2228\ud835\udc60_0|=F".

The definitions of conjunction and disjunction imply that "| \ud835\udc5d_0\u2228\ud835\udc5e_0|=|\ud835\udc5d_0\u2192\ud835\udc5f_0|=|\ud835\udc5e_0\u2192\ud835\udc60_0|=T" and "|\ud835\udc5f_0|=|\ud835\udc60_0|=F." It follows from "|\ud835\udc5d_0|\u2192F=|\ud835\udc5e_0|\u2192F=T" that "|p_0|=|q_0|=F." Consequently, "|p_0\\lor q_0|=F\\lor F=F" and we have a contradiction with "|p_0\\lor q_0|=T." Therefore, our assumption is not true, and we conclude that the formula "( \ud835\udc5d\u2228\ud835\udc5e)\u2227(\ud835\udc5d\u2192\ud835\udc5f)\u2227( \ud835\udc5e\u2192\ud835\udc60)\u2192\ud835\udc5f\u2228\ud835\udc60" is a tautology.



Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!

Leave a comment

LATEST TUTORIALS
New on Blog
APPROVED BY CLIENTS