From 58555e2d23ffb3ffe15227590097d573823379c1 Mon Sep 17 00:00:00 2001 From: Mark Date: Mon, 30 Mar 2026 19:21:28 -0700 Subject: [PATCH] "Definable Sets" edits --- src/Advanced/Definable Sets/main.tex | 3 ++- src/Advanced/Definable Sets/parts/0 logic.tex | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/Advanced/Definable Sets/main.tex b/src/Advanced/Definable Sets/main.tex index 2d7f09a..0e0fa77 100755 --- a/src/Advanced/Definable Sets/main.tex +++ b/src/Advanced/Definable Sets/main.tex @@ -2,7 +2,8 @@ % use [solutions] flag to show solutions. \documentclass[ solutions, - singlenumbering + singlenumbering, + shortwarning ]{../../../lib/tex/handout} \usepackage{../../../lib/tex/macros} diff --git a/src/Advanced/Definable Sets/parts/0 logic.tex b/src/Advanced/Definable Sets/parts/0 logic.tex index fb82d01..5b4754a 100644 --- a/src/Advanced/Definable Sets/parts/0 logic.tex +++ b/src/Advanced/Definable Sets/parts/0 logic.tex @@ -158,7 +158,7 @@ the same $A$ and $B$. \par \vfill \problem{} -Write an expression equivalent to $A \lor B$ using only $\lnot$, $\rightarrow$, and $()$? +Write an expression equivalent to $A \lor B$ using only $\lnot$, $\rightarrow$, and $()$. \begin{solution} $((\lnot A) \rightarrow B)$