CSC165H1 Lecture Notes - Lecture 2: Txe, Natural Number, Dvd Region Code
3
CSC165H1 Full Course Notes
Verified Note
3 documents
Document Summary
Order logic) reason about same predicates / domain functions over universe discourse of. { on } range is less than or equal to y. Wer2( letsus geery single element of predicate that p pain . ofup quantifiers express : ft. Power 2 ( x ) is the same as ( power v. False it is the same as n the. Even x can is be true if ( and only if ) written as: y for some. Demorgan "s rules in propositional logic last week. ^^ of predicate logic : ncpvq ) ( p^q ) i ^ pvnq. Negation ( rw )vr( 1) rc2) zpemorgan. Rcx ) ] a rco ) n the. , g) ( weill write this as x=y ) Xoez tthen ( otyo=s ) - is the. In this case if it pick a sing yoek ( not possible ) is true such the of y different we that must txt 24 +40=5)
