Skip to main content
\(\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.4The Laws of Logic

SubsectionExercises

1

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

WeBWorK Exercise
2

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

WeBWorK Exercise
3

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

WeBWorK Exercise
4

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

WeBWorK Exercise
5

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

WeBWorK Exercise
6

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

WeBWorK Exercise
7

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

WeBWorK Exercise
8

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

WeBWorK Exercise
9

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

WeBWorK Exercise
10

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

WeBWorK Exercise
11

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

WeBWorK Exercise
12

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

WeBWorK Exercise
13

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

WeBWorK Exercise
14

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

WeBWorK Exercise