Wenn ich das Beispiel so laufen lasse, beschwert LaTeX sich bei mir wie folgt
! LaTeX Error: Command \quotedblbase unavailable in encoding OT1.
See the LaTeX manual or LaTeX Companion for explanation.
Type H <return> for immediate help.
...
l.17 ... sein müssen, um den gegeben Ausdruck „
wahr“ zu machen. Dabei s...
?
Das soll und sagen, dass das Anführungszeichen unten ist mit der gewählten Fontcodierung nicht verfügbar ist. Leider sagt uns die Meldung nicht, was wir stattdessen machen sollen. Aber dafür gibt es ja TeX-Foren
Lade \usepackage[T1]{fontenc}. Das sollte man (zumindest in deutschen Texten) eh machen, da pdfLaTeX nur dann Worte mit Umlauten auch trennen kann. Hier löst es das Problem, da die Anführungszeichen unten mit dieser Fontcodierung ein echtes eigenes Zeichen sind.
Ferner würde ich babel laden und die Option ngerman angeben, um LaTeX mitzuteilen, dass es sich um ein deutsches Dokument handelt (dann bekommst Du auch Silbentrennung nach deutschen Regeln).
Ich empfehle außerdem dringend, auf \\ (in normalem Text) zu verzichten. Absätze werden mit einer leeren Zeile oder mit \par beendet. \\ sorgt lediglich für einen Zeilenumbruch, der innerhalb eines Absatzes nur automatisch erfolgen sollte.
\documentclass[ngerman]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage[T1]{fontenc}
\usepackage{babel}
\title{Aufgaben mit verschiedenen Repräsentationstypen: Formel und Text}
\begin{document}
\maketitle
\section{Aufgabe 1}
Gegeben ist die Menge $M_1$.
Sie enthält die Kreise $A$, $B$ und $C$.
Jeder dieser Kreise kann angemalt oder nicht angemalt sein.
Überlege, welche Kreise angemalt sein müssen, um den gegeben Ausdruck „wahr“ zu machen.
Dabei steht $X_{an}$ für „Kreis $X$ ist angemalt“.
\end{document}
Hübscher finde ich es, für Anführungszeichen das Paket csquotes zu nutzen
\documentclass[ngerman]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage[T1]{fontenc}
\usepackage{babel}
\usepackage{csquotes}
\title{Aufgaben mit verschiedenen Repräsentationstypen: Formel und Text}
\begin{document}
\maketitle
\section{Aufgabe 1}
Gegeben ist die Menge $M_1$.
Sie enthält die Kreise $A$, $B$ und $C$.
Jeder dieser Kreise kann angemalt oder nicht angemalt sein.
Überlege, welche Kreise angemalt sein müssen, um den gegeben Ausdruck \enquote{wahr} zu machen.
Dabei steht $X_{an}$ für \enquote{Kreis $X$ ist angemalt}.
\end{document}
Wenn Du den Befehl \enquote nicht magst, kannst Du es mit \MakeAutoQuote probieren und „ und “ behalten.
\documentclass[ngerman]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage[T1]{fontenc}
\usepackage{babel}
\usepackage[german=quotes]{csquotes}
\MakeAutoQuote{„}{“}
\title{Aufgaben mit verschiedenen Repräsentationstypen: Formel und Text}
\begin{document}
\maketitle
\section{Aufgabe 1}
Gegeben ist die Menge $M_1$.
Sie enthält die Kreise $A$, $B$ und $C$.
Jeder dieser Kreise kann angemalt oder nicht angemalt sein.
Überlege, welche Kreise angemalt sein müssen, um den gegeben Ausdruck „wahr“ zu machen.
Dabei steht $X_{an}$ für „Kreis $X$ ist angemalt“.
\end{document}
Der Vorteil ist, dass Du mit einer Codezeile die Anfürhsungzeichen wechseln kannst. Ändere mal \usepackage[german=quotes]{csquotes} zu \usepackage[german=guillemets]{csquotes}.