blob: 34eea2c7a8ad2c5d542b6e9b9b5597df4d06aeea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
\documentclass[letterpaper,
10pt,
]{article}
\usepackage[T1]{fontenc}
\usepackage[english]{babel}
\usepackage{xcolor}
\usepackage{syllogism}
% . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
\colorlet{sred}{red!60!black}
\newcommand{\syllp}{\texttt{\color{sred}syllogism}\xspace}
\colorlet{comcol}{green!45!black}
\newcommand{\comm}[1]{\texttt{\color{comcol}\textbackslash{}#1}\xspace} % commands
% . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
\title{Examples for the \syllp package}
\author{(c) 2007--2008 \textsc{Nicolas Vaughan}\\ \\
Report bugs and submit questions to:\\
\texttt{nivaca@gmail.com}
}
\date{Oct. 10, 2008}
\begin{document}% =============================================================
\setlength{\parindent}{0em}
\maketitle
\def\preA{All men except Socrates are able to laugh}
\def\preB{Socrates is a man}
\def\Conc{Socrates is not able to laugh}
\comm{syllog} example:
\syllog{\preA}{\preB}{\Conc}
\comm{syllogC} example:
\syllogC{\preA}{\preB}{\Conc}
\comm{syllogTA} example:
\syllogTA{\preA}{\preB}{\Conc}
\comm{syllogTAC} example:
\syllogTAC{\preA}{\preB}{\Conc}
\end{document}% =============================================================
|
