Determine whether ( 𝑝∨𝑞)∧(𝑝→𝑟)∧( 𝑞→𝑠)→𝑟∨𝑠 is a Tautology or a contradiction
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.
Comments
Leave a comment