Computer Science 2214A/B Study Guide - Final Guide: Propositional Calculus, Logical Equivalence, Contraposition

50 views3 pages

Document Summary

Problem 1 suppose the variable s represents students, c represents courses, and t (s, c) means s is taking c . Solution 1: ( c)( s) t (s, c), ( s)( c) t (s, c), ( s)( c) t (s, c), ( c)( s) t (s, c), ( s)( c) t (s, c), ( c)( s) t (s, c), ( s)( c) t (s, c), ( c)( s) t (s, c), 1: ( c)( s) t (s, c), ( s)( c) t (s, c). Problem 2 prove that the following is true for all positive integers n: n is even if and only if 3n2 + 8 is even . Solution 2: we rst prove that if n is even then so is 3n2+8. Hence we assume that n is even and deduce that 3n2 + 8 is even as well. The assumption means that there exists an integer k such that n = 2 k holds.

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers

Related Documents

Related Questions