Home /
Expert Answers /
Computer Science /
the-positicas-of-the-jurmise-a-in-our-rxample-and-conclusion-b-so-the-coeverse-of-ab-is-b-pa465
(Solved): the positicas of the jurmise ( A in our rxample) and conclusion (B). So the coeverse of AB is B ...
the positicas of the jurmise ( A in our rxample) and conclusion (B). So the coeverse of A?B is B?A conclasion end replacing thrm with thrir moatices. So the comtraponitive of A?B in ¬B?¬A ofiginal (A?B=¬B?¬A). doon for ¬B?¬A. 6. Clack whether earh argumicut is vabid or not, athd justify your anowit with a trath ascigameat of truth tabk as aspecsiate. ¬(A?B) (a) ¬(B?A)¬A? (b) ¬Y?Xx?y?P??Q (c) ¬¬P¬Q? (1) QP? why not. Pave 2 (a) A satiodialke formala that is not a tantobogs (b) A satisfiable formmla that is abo a tautologs: (c) A coutingoney that is also a coitratiction (d) A formula that is bogirally equavaleat to A+4. (f) A consistent set formalse that includes the formula P?¬Q. (Thene have to be at knat two formulas is your wt.) (h) A cotsistent wit of formalas where anr of the formulas is a contralintien. sally answers.) Write your asswer in the form: "po and q= argament qp? is invalid Write your answer in the form: " p= and g=