Um pacote para produzir argumentos silogísticos é o: syllogism. No Debian GNU/Linux, este pacote encontra-se no texlive-math-extra. Esse pacote pode ser encontrado aqui: http://www.ctan.org/tex-archive/macros/latex/contrib/syllogism. Para a instalação manual, basta fazer o download do syllogism.sty e copiar o arquivo para a pasta de instalação de (aqui: /usr/share/texmf/tex/latex) e depois fazer um update no banco de dados de pacotes instalados com o comando: mktexlsr (como root no terminal).
Para usar o pacote syllogism, introduza no preâmbulo o comando
\usepackage{syllogism}
Exemplo de preâmbulo:
\documentclass[10pt,a4paper]{article} % tipo de documento \usepackage[utf8]{inputenc} % permitir uso da acentuação \usepackage[brazil]{babel} % especifica a língua \usepackage[T1]{fontenc} %%%%%%%%%%%%%%%%%%%%%%%%%%%% %Pacotes matemáticos %%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % pacote syllogism %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{syllogism} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %Dados do artigo: autor e t´itulo %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \author{Alessandro Duarte} \title{Syllogism}
A documentação do pacote encontra-se aqui. O syllogism tem 4 tipos de comandos
\syllog[texto]{Primeira Premissa}{Segunda premissa}{Conclusão}
\syllogC{Primeira Premissa}{Segunda premissa}{Conclusão}
\syllogTA[texto]{Primeira Premissa}{Segunda premissa}{Conclusão}
\syllogTAC{Primeira Premissa}{Segunda premissa}{Conclusão}
Exemplo usando o primeiro comando
\documentclass[10pt,a4paper]{article} % tipo de documento \usepackage[utf8]{inputenc} % permitir uso da acentuação \usepackage[brazil]{babel} % especifica a língua \usepackage[T1]{fontenc} %%%%%%%%%%%%%%%%%%%%%%%%%%%% %Pacotes matemáticos %%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % pacote syllogism %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{syllogism} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %Dados do artigo: autor e t´itulo %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \author{Alessandro Duarte} \title{Syllogism} \begin{document} \maketitle \syllog{B é predicado de todo A}{C é predicado de todo B}{C é predicado de todo A} \end{document}
Compilando
É possível adicionar um texto na frente do argumento, usando o opcional [ ]. Exemplo:
\documentclass[10pt,a4paper]{article} % tipo de documento \usepackage[utf8]{inputenc} % permitir uso da acentuação \usepackage[brazil]{babel} % especifica a língua \usepackage[T1]{fontenc} %%%%%%%%%%%%%%%%%%%%%%%%%%%% %Pacotes matemáticos %%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % pacote syllogism %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{syllogism} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %Dados do artigo: autor e t´itulo %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \author{Alessandro Duarte} \title{Syllogism} \begin{document} \maketitle \syllog[(Barbara)]{B é predicado de todo A}{C é predicado de todo B}{C é predicado de todo A} \end{document}
Compilando
O segundo comando produz a mesma coisa que o primeiro, mas faz numeração dos argumentos. A numeração é dada por S1, S2, etc...
Exemplo:
\documentclass[10pt,a4paper]{article} % tipo de documento \usepackage[utf8]{inputenc} % permitir uso da acentuação \usepackage[brazil]{babel} % especifica a língua \usepackage[T1]{fontenc} %%%%%%%%%%%%%%%%%%%%%%%%%%%% %Pacotes matemáticos %%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % pacote syllogism %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{syllogism} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %Dados do artigo: autor e t´itulo %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \author{Alessandro Duarte} \title{Syllogism} \begin{document} \maketitle \syllogC{B é predicado de todo A}{C é predicado de todo B}{C é predicado de todo A} \syllogC{B é predicado de todo A}{C é predicado de nenhum B}{C é predicado de nenhum A} \syllogC{B é predicado de todo A}{C é predicado de algum B}{C é predicado de algum A} \end{document}
Compilando:
Os dois últimos comandos são similares a estes dois acima, embora introduza as partículas: But e therefore. O pacote syllogism tem 4 opções de língua: english (inglês - padrão), spanish (espanhol), latin1 e latin2. A sintaxe é:
\usepackage[língua]{syllogism}
Exemplo 1:
\documentclass[10pt,a4paper]{article} % tipo de documento \usepackage[utf8]{inputenc} % permitir uso da acentuação \usepackage[brazil]{babel} % especifica a língua \usepackage[T1]{fontenc} %%%%%%%%%%%%%%%%%%%%%%%%%%%% %Pacotes matemáticos %%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % pacote syllogism %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{syllogism} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %Dados do artigo: autor e t´itulo %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \author{Alessandro Duarte} \title{Syllogism} \begin{document} \maketitle \syllogTA{B é predicado de todo A}{C é predicado de todo B}{C é predicado de todo A} \syllogTA{B é predicado de todo A}{C é predicado de nenhum B}{C é predicado de nenhum A} \syllogTA{B é predicado de todo A}{C é predicado de algum B}{C é predicado de algum A} \end{document}
Compilando
Exemplo 2 (língua espanhola):
\documentclass[10pt,a4paper]{article} % tipo de documento \usepackage[utf8]{inputenc} % permitir uso da acentuação \usepackage[brazil]{babel} % especifica a língua \usepackage[T1]{fontenc} %%%%%%%%%%%%%%%%%%%%%%%%%%%% %Pacotes matemáticos %%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % pacote syllogism %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage[spanish]{syllogism} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %Dados do artigo: autor e t´itulo %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \author{Alessandro Duarte} \title{Syllogism} \begin{document} \maketitle \syllogTA{B é predicado de todo A}{C é predicado de todo B}{C é predicado de todo A} \syllogTA{B é predicado de todo A}{C é predicado de nenhum B}{C é predicado de nenhum A} \syllogTA{B é predicado de todo A}{C é predicado de algum B}{C é predicado de algum A} \end{document}
Fiz uma pequena modificação no syllogism.sty para introduzir com \syllogTA e \syllogTAC as palavras: "mas" e "portanto". O código pode ser visto e baixado daqui. Para instalá-lo, copie-o para a pasta de instalação de e depois faça um update: mktexlsr (como root no terminal). Não esqueça de mudar no preâmbulo o comando: \usepackage{syllogism} para \usepackage{syllogism2}. No syllogism2, adicionei o opcional: portugues
Exemplo de arquivo com syllogism2.sty
\documentclass[10pt,a4paper]{article} % tipo de documento \usepackage[utf8]{inputenc} % permitir uso da acentuação \usepackage[brazil]{babel} % especifica a língua \usepackage[T1]{fontenc} %%%%%%%%%%%%%%%%%%%%%%%%%%%% %Pacotes matemáticos %%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage{amsmath} \usepackage{amsfonts} \usepackage{amssymb} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % pacote syllogism %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \usepackage[portugues]{syllogism2} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %Dados do artigo: autor e t´itulo %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \author{Alessandro Duarte} \title{Syllogism} \begin{document} \maketitle \syllogTA{B é predicado de todo A}{C é predicado de todo B}{C é predicado de todo A} \syllogTA{B é predicado de todo A}{C é predicado de nenhum B}{C é predicado de nenhum A} \syllogTA{B é predicado de todo A}{C é predicado de algum B}{C é predicado de algum A} \end{document}
Compilando
Para usar o syllogism no LyX, basta introduzir o comando \usepackage{syllogism} no preâmbulo LaTeX do documento LyX. Isso feito da seguinte forma:
documento > configurações.
Basta "setar": \usepackage{syllogism}
Clique em "aplicar" e depois em "fechar". Para introduzir o código referente ao pacote, aperte Ctrt+L. Abrirá uma janela no documento
Outra opção é clicar em TeX:
Dentro da janela, insira os comandos
Compilando