LaTeX und Logik-Beispiel

[Maverick]

Hallo!

Folgendes Beispiel für einen Syllogismus (Logik):

% Syllogismus
\begin{itemize}[noitemsep]
	\item[(1)] Wenn es möglich ist, dass alle X die Maxime p befolgen, dann ist p universell erlaubt.
	\item[(2)] Alle X befolgen ausnahmslos p.
	\item[(3)] \underline{Das ist aber nicht möglich.}
	\item[Also:] p ist ausnahmslos verboten.
\end{itemize}
% Syllogismus Ende
%

Meine Frage: Ich hätte gerne, dass die Unterstreichung bis zum Ende von "universell erlaubt" reicht. Ist sowas in LaTeX möglich?

[marius79]

Hallo,

vielleicht klappt es mit einer Tabelle?

\documentclass{scrartcl}

\usepackage[ngerman]{babel}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}

\begin{document}

\begin{tabular}{@{}rp{.6\textwidth}}
(1) & Wenn es möglich ist, dass alle X die Maxime p befolgen, dann ist p universell erlaubt.\\
(2) & Alle X befolgen ausnahmslos p.\\
(3) & Das ist aber nicht möglich.\\
\hline
Also: & p ist ausnahmslos verboten.
\end{tabular}

\end{document}

Grüße
marius

[Maverick]

Danke Marius, das erbrint das gewünschte Ergebnis!

Frage: Weißt du, woran es liegen könnte, dass bei mir die Tabelle sofort in der nächsten Zeile beginnt? Will heißen: Ich habe vor und nach der Tabelle keine korrekten Abstände zum Text?!

[marius79]

Frage: Weißt du, woran es liegen könnte, dass bei mir die Tabelle sofort in der nächsten Zeile beginnt? Will heißen: Ich habe vor und nach der Tabelle keine korrekten Abstände zum Text?!

Ich denke, das ist halt so bei den Tabellen. Abstand musst Du nach eigenem Gusto einfügen. Ein \vspace{\topsep} sieht ganz nett aus, finde ich (das ist, glaube ich, der Abstand, der auch vor und nach den Standardlisten eingefügt wird).

\documentclass[ngerman]{scrartcl}

\usepackage{babel}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{blindtext}

\begin{document}

\blindtext

\vspace*{\topsep}
\begin{tabular}{@{}rp{.6\textwidth}}
(1) & Wenn es möglich ist, dass alle X die Maxime p befolgen, dann ist p universell erlaubt.\\
(2) & Alle X befolgen ausnahmslos p.\\
(3) & Das ist aber nicht möglich.\\
\hline
Also: & p ist ausnahmslos verboten.
\end{tabular}
\vspace*{\topsep}

\blindtext
\end{document}

Grüße
marius

[Maverick]

Vielen Dank Marius. Du hast mir sehr geholfen!!

[edico]

... oder so:

\documentclass{article}
\usepackage{showframe}

%%% ------------------------------------------------------------------
%%% LogicBox
%%% ------------------------------------------------------------------
\usepackage{varwidth}
\newbox{\logicbox}
\newlength{\logiclen}
\newcommand*{\logicparam}{}
\newenvironment{logic}[1]{%
\renewcommand*{\logicparam}{#1}
\vskip\baselineskip% Abstand vor Logicbox
\begin{lrbox}{\logicbox}% speichere Liste in Box
\begin{varwidth}[t]{\linewidth}
\begin{enumerate}
\setlength{\itemsep}{-.5ex}% Itemabstand einstellen
}{%
\strut
\end{enumerate}%
\end{varwidth}%
\end{lrbox}
\settowidth{\logiclen}{\usebox{\logicbox}}% messe Box aus
\usebox{\logicbox}\par% setze Liste
\vskip.5\baselineskip
\rule{\logiclen}{.4pt}\par% setze Linie
\begin{varwidth}[b]{\linewidth}% setze letzen Satz
\begin{enumerate}
\item[] \logicparam
\end{enumerate}
\end{varwidth}%
\vskip\baselineskip% Abstand nach Logicbox
}

\begin{document}
\noindent here comes the text

\begin{logic}{Also: p ist ausnahmslos verboten.}
\item Wenn alle X die Maxime p befolgen, dann ist p universell erlaubt.
\item Alle X befolgen ausnahmslos p.
\item Das ist aber nicht m\"oglich.
\end{logic}

\noindent here goes the text
\end{document}

edico

[Maverick]

Danke Edico!

Werde ich mal testen. Ich bräuchte aber das Paket Varwith. Auf Cetan-Servern habe ich es nicht gefunden. Weißt du, wo es das zum Dowload gibt?

EDIT: Hab' es!

http://www.ctan.org/tex-archive/help.../varwidth.html

[Maverick]

Edit: Klappt ....

DANKE!