$\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\vec}[1]{\mathbf{#1}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&}$

## Section3.3Equivalence and Implication

### SubsectionExercises

###### 1

Description: Library/SDSU/Discrete/Logic/formallogicB20.pg

WeBWorK Exercise
###### 2

Description: Library/SDSU/Discrete/Logic/ttlogicequivA5.pg

WeBWorK Exercise
###### 3

Description: Library/MontanaState/Equivalence/1.1A5Equiv.pg

WeBWorK Exercise
###### 4

Description: Library/SDSU/Discrete/Logic/ttcontratautA3.pg

WeBWorK Exercise
###### 5

Description: Library/MontanaState/Equivalence/1.5B13Equiv1.pg

WeBWorK Exercise
###### 6

Description: Library/MontanaState/Equivalence/1.5B13Equiv2.pg

WeBWorK Exercise
###### 7

Description: Library/MontanaState/Equivalence/1.5B14Equiv1.pg

WeBWorK Exercise
###### 8

Description: Library/MontanaState/Equivalence/Equiv2.pg

WeBWorK Exercise
###### 9

Description: Library/MontanaState/Equivalence/1.1A5Equiv2.pg

WeBWorK Exercise
###### 10

Description: Library/SDSU/Discrete/Logic/ttcontratautB5.pg

WeBWorK Exercise
###### 11

Description: Library/SDSU/Discrete/Logic/ttcontratautB6.pg

WeBWorK Exercise
###### 12

Description: Library/SDSU/Discrete/Logic/ttlogicequivA10.pg

WeBWorK Exercise
###### 13

Description: Library/SDSU/Discrete/Logic/ttlogicequivA1.pg

WeBWorK Exercise
###### 14

Description: Library/SDSU/Discrete/Logic/ttlogicequivA9.pg

WeBWorK Exercise
###### 15

Description: Library/SDSU/Discrete/Logic/ttlogicequivB2.pg

WeBWorK Exercise
###### 16

Description: Library/SDSU/Discrete/Logic/ttlogicequivB3.pg

WeBWorK Exercise