argumento válido e inválido - Válido seria na impossiblidade de suas premissas serem verdadeiras sem que também seja verdadeira sua conclusão e inválido ao contrário.
teoria de dedução - Pretende explicar as relaçãoes entre as premissas e a cloclusão de um raciocínio ou argumento válido e estabelecer tecnicas para avaliação dos argumentos.
classes - uma classe e a reunião de todos os objetos que possuem caracteristicas em comum e as classes podem relacionar-se entre si de várias maneiras. Se todo membro esta contido dentro de outra classe se diz que a primeira esta contido ou incluido na segunda. Se alguns membros estão contidos dentro de outros se diz que estão que a primeira esta parcialmente contida na segunda. Do mesmo modo que existem pares de classes que integram os mebros, há pares de classes que não, ou seja, que não possuem qualquer membro em comum.
Há quatro tipos tipos de de proposição categórica, assim expressadas:
A primeira é uma proposição universal afirmativa que pode ser representada simbólicamente por: TODO S É P; É a união de dois membros, todos os jovens, com todos os espertos. Assim o sujeito (S) jovens, caracteriza o membro todos os jovens enquanto o predicado (P) espertos, caracteriza o membro todos os espertos.O nome "universal afirmativa" porque a proposição afirma a inclusão entre as duas classes e que a inclusão é completa e universal.
A segunda é uma proposição universal negativa que pode ser representado simbólicamente por: NENHUM S É P; nega universalmente que os jovens sejam espertos, se ve que a primeira classe esta excluida da segunda, com isso podemos dizer que não há membro algum da primeira na segunda.
A terceira é uma proposição particular afirmativa que pode ser representada simbólicamente por: ALGUM S É P; esta proposição não afirma e nem nega que todos os jovens sejam espertos; torna-se neutro. a palavra algum pode significar " pelo menos um".
A quarta é uma proposição particular negativa que pode ser representada simbólicamente por: ALGUM S NÃO É P; ela não afirma que os membros particulares da primeira classe a que se refere estejam incluidos na segunda classe , isto é, afirma que pelo menos um membro da primeira classe esta na segunda.
OBS !!!
Nem todas as proposições categóricas de forma típica são tão simples e diretas quanto aos exemplos enunciados até agora.