\begin{frame}[fragile]{formulecomponenten - logica} \begin{table} \centering {\renewcommand{\arraystretch}{1.2} \begin{tabular}{l|l} \mintinline{tex}{ \neg }& $ \neg $ \\ \hline \mintinline{tex}{ \lor }& $ \lor $ \\ \hline \mintinline{tex}{ \land }& $ \land $ \\ \hline \mintinline{tex}{ \implies }& $\{ x \in A | x > 4 \}$ \\ \hline \mintinline{tex}{ \iff }& $ \iff $ \\ \hline \end{tabular} } \end{table} \end{frame}