CSI 2101 Lecture Notes - Lecture 3: Contraposition, Universal Instantiation, Modus Ponens
Document Summary
Assignment 1 solutions: t he truth value of fred and j ohn are happy is min(0. 8, 0. 4) = 0. 4. T he truth value of neither fred nor. T hen the given specif cations are l q , l n , q b , If we want consistency, then we had better have b false in order that b be true. T his requires that both l and q betrue, by thetwo conditional statements that have b as their consequence. T he f rst conditional statement therefore is of the form f t , which is true. Finally, the biconditional l n can be satisf ed by taking n to be false. T hus this set of specif cations is consistent. T hen we have (m (8) s(56)) . If a is false, then both sides of the equivalence are true, because a conditional statement with a false hypothesis is true.
