mm

ממן 11

שאלה 1:א: נתון $A\cap B = A\cap C$ ו$A^c\cap B = A^c\cap C$.כיוון 1:יהי $x\in B$. ממשפט 1.20, או $x\in A$ או $x\in A^c$ אבל לא שניהם. אם $x\in A$, אז $x \in A\cap B$, ולכן

\begin{thm} $\forall A: 1. A^c \cap A = U 2. A^c \cap A = \emptyset $ \end{thm}

Latex Preamble:
\usepackage{amsthm}
\newtheorem{thm}{Theorem}
\newtheorem{lem}{Lemma}


Error:
This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.5.17)  12 OCT 2014 15:52
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**maman11.tex
(./maman11.tex
LaTeX2e <2011/06/27>
Babel <3.9h> and hyphenation patterns for 12 languages loaded.

(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def
File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
LaTeX Font Info:    Redeclaring font encoding T1 on input line 43.
)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
Package: inputenc 2008/03/30 v1.1d Input encoding file
\inpenc@prehook=\toks14
\inpenc@posthook=\toks15
(/usr/share/texlive/texmf-dist/tex/latex/base/latin9.def
File: latin9.def 2008/03/30 v1.1d Input encoding file
) (/usr/share/texlive/texmf-dist/tex/generic/babel-hebrew/cp1255.def
File: cp1255.def 2004/02/20 v1.1b Hebrew input encoding file
)) (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
\thm@style=\toks16
\thm@bodyfont=\toks17
\thm@headfont=\toks18
\thm@notefont=\toks19
\thm@headpunct=\toks20
\thm@preskip=\skip43
\thm@postskip=\skip44
\thm@headsep=\skip45
\dth@everypar=\toks21
) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2013/01/14 v2.14 AMS math features
\@mathmargin=\skip46
For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks22
\ex@=\dimen103
)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen104
) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count87
LaTeX Info: Redefining \frac on input line 210.
\uproot@=\count88
\leftroot@=\count89
LaTeX Info: Redefining \overline on input line 306.
\classnum@=\count90
\DOTSCASE@=\count91
LaTeX Info: Redefining \ldots on input line 378.
LaTeX Info: Redefining \dots on input line 381.
LaTeX Info: Redefining \cdots on input line 466.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 566.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 567.
\macc@depth=\count92
\c@MaxMatrixCols=\count93
\dotsspace@=\muskip10
\c@parentequation=\count94
\dspbrk@lvl=\count95
\tag@help=\toks23
\row@=\count96
\column@=\count97
\maxfields@=\count98
\andhelp@=\toks24
\eqnshift@=\dimen106
\alignsep@=\dimen107
\tagshift@=\dimen108
\tagwidth@=\dimen109
\totwidth@=\dimen110
\lineht@=\dimen111
\@envbody=\toks25
\multlinegap=\skip47
\multlinetaggap=\skip48
\mathdisplay@stack=\toks26
LaTeX Info: Redefining \[ on input line 2665.
LaTeX Info: Redefining \] on input line 2666.
)
\c@thm=\count99
\c@lem=\count100
(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
Package: babel 2013/12/03 3.9h The Babel package
(/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf
Language: english 2012/08/20 v3.3p English support from the babel system
(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
File: babel.def 2013/12/03 3.9h Babel common definitions
\babel@savecnt=\count101
\U@D=\dimen112
)
\l@canadian = a dialect from \language\l@american
\l@australian = a dialect from \language\l@british
\l@newzealand = a dialect from \language\l@british
) (/usr/share/texlive/texmf-dist/tex/generic/babel-hebrew/rlbabel.def
File: rlbabel.def 2005/03/30 v2.3h Right-to-Left support from the babel system
Hebrew language support from the babel system
) (/usr/share/texmf/tex/generic/0babel/hebrew.ldf
File: hebrew.ldf 2004/02/20 v2.3h Hebrew language definition from the babel sys
tem Hebrew language support from the babel system

Package babel Warning: No hyphenation patterns were preloaded for
(babel)                the language `Hebrew' into the format.
(babel)                Please, configure your TeX system to add them and
(babel)                rebuild the format. Now I will use the patterns
(babel)                preloaded for english instead on input line 57.

\l@hebrew = a dialect from \language0
)) (/usr/share/texlive/texmf-dist/tex/generic/babel-hebrew/he8enc.def
File: HE8enc.def 2005/05/20 v1.2c 8-bit Hebrew font encoding (test version: sti
ll liable to change)
)
No file maman11.aux.
\openout1 = `maman11.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 24.
LaTeX Font Info:    ... okay on input line 24.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 24.
LaTeX Font Info:    ... okay on input line 24.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 24.
LaTeX Font Info:    ... okay on input line 24.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 24.
LaTeX Font Info:    ... okay on input line 24.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 24.
LaTeX Font Info:    ... okay on input line 24.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 24.
LaTeX Font Info:    ... okay on input line 24.
LaTeX Font Info:    Checking defaults for HE8/cmr/m/n on input line 24.
LaTeX Font Info:    Try loading font information for HE8+cmr on input line 24.
(/usr/share/texlive/texmf-dist/tex/generic/babel-hebrew/he8cmr.fd
File: HE8cmr.fd 2005/05/20 v1.2c Hebrew default font (test version: still liabl
e to change)
)
LaTeX Font Info:    ... okay on input line 24.
! Missing { inserted.
<to be read again>
                   $
l.35 \begin{thm} $
                  \forall A: 1. A^c \cap A = U 2. A^c \cap A = \emptyset $ \...
A left brace was mandatory here, so I've put one in.
You might want to delete and/or insert some corrections
so that I will find a matching right brace soon.
(If you're confused by all this, try typing `I}' now.)

)
Runaway text?
$\forall A: 1. A^c \cap A = U 2. A^c \cap A = \emptyset $ \end {thm} \ETC.
! File ended while scanning text of \dth@everypar.
<inserted text>
                }
<*> maman11.tex

I suspect you have forgotten a `}', causing me
to read past where you wanted me to stop.
I'll try to recover; but if the error is serious,
you'd better type `E' or `X' now and fix your file.

! Emergency stop.
<*> maman11.tex

*** (job aborted, no legal \end found)


Here is how much of TeX's memory you used:
 1863 strings out of 494728
 21080 string characters out of 6174918
 76617 words of memory out of 5000000
 5237 multiletter control sequences out of 15000+600000
 7251 words of font info for 20 fonts, out of 8000000 for 9000
 102 hyphenation exceptions out of 8191
 27i,3n,23p,203b,122s stack positions out of 5000i,500n,10000p,200000b,80000s
!  ==> Fatal error occurred, no output PDF file produced!