que esta no predicado e sempre considerado parcialmente, salvo nas proposicoes universais negativas aquelas iniciadas por nenhum).Classificacao de proposicoes A logica silogistica (ou aristotelica) estuda apenas argumentos constituidos por proposicoes que tenham qualquer uma das seguintes quatro formas logicas (os termos sao substituidos por letras): Todos os A sao B Universal afirmativa Nenhum A sao B Universal negativa Alguns A sao B Particular afirmativa Alguns A nao sao B Particular negativaInferencias Inferir e obter uma proposicao como conclusao de uma outra ou de varias outras proposicoes que a antecedem e sao sua explicacao ou causa.Inferencias Imediatas A inferencia imediata e a passagem de uma proposicao para outra que se faz sem termo intermediario e, por isso, as proposicoes dada e a resultante sao compostas pelos mesmos termos. Ou seja, podemos fazer consideracoes a respeito da verdade ou falsidade de uma proposicao e partir de outra com o mesmo sujeito e predicado imediatamente, somente pela relacao entre suas formas logicas. Existem varios tipos de inferencias imediatas, para as quais os filosofos medievais fizeram ate um quadro, chamado quadrado dos opostos relacionando as quatro formas logicas utilizadas na logica aristotelica. Pelo quadrado dos opostos encontramos quatro tipos de relacao entre proposicoes, chamando estas de contraditorias, contrarias, sub-contrarias ou subalternas (chama-se tambem as inferencias imediatas feitas a partir dessas relacoes de inferencias por oposicao). Outro tipo de inferencia imediata sao as conversoes. A conversao de uma proposicao consiste em fazer do sujeito o predicado e do predicado o sujeito. Por exemplo, eu tenho a seguinte proposicao dada alguns homens sao mortais e a respectiva proposicao conversa sera alguns mortais sao homens. Existem, tambem, diferentes tipos de conversao: I) Conversao simples: ocorre quando a proposicao dada e a proposicao conversa sao do mesmo tipo. As conversoes simples sao validas, ou seja, conservam o valor de verdade da proposicao original se estas forem universais negativas ou particulares afirmativas.II) Conversao por limitacao: ocorre a partir de uma proposicao universal afirmativa em que a proposicao conversa sera particular afirmativa.Inferencias Mediatas Inferencias nas quais so conhecemos a conclusao por meio ou pela mediacao de outra(s) proposicao(s), e o que mais propriamente chamamos de raciocinio Silogismo Raciocinio mediato formado por duas premissas, uma conclusao e tres termos, sendo que um deles aparece nas duas premissas e nao na conclusao (termo medio) porque media a relacao entre os outros dois.Exemplo de silogismo:Todo homem e mortal. 1a premissa (premissa maior)Socrates e homem. 2a premissa (premissa menor)Logo, Socrates e mortal. - ConclusaoOnde:- homem e o termo medio- "mortal" e o termo maior (aparece na primeira premissa - que, por isto, sera chamada tambem de premissa maior) e como predicado da conclusao- "Socrates" e o termo menor (aparece na segunda premissa - que sera chamada tambem de premissa menor) e como sujeito da conclusaoOITO REGRAS PARA TESTAR SILOGISMOS1. um silogismo deve ter um termo maior, um menor e um medio e somente tres termos, nem mais, nem menos;2. o termo medio deve aparecer nas duas premissas e jamais aparecer na conclusao; deve ser tomado em toda a sua extensao (isto e, como um universal) pelo