negando que una clase este incluida en otra ya sea total o parcialmente. Son adirmaciones acerca de categoras o clases Clases de proposiciones categricas 1) Proposicion universal afirmativa: (A) Indica que la primera clase esta incluida o contenidad en la segunda. Esquema: S es P. Ejemplo: Todo S es O. 2) Proposicion universal negativa: (E) Indica que no hay ningn miembro de la primera clase que tambin lo sea de la segunda. Esquema: Ningun S es P Ejemplo: ningn poltico es mentiroso. 3) Proposicion afirmativa paticular: (I) La proposicin afirma que se cumple la ralacion de inclusin entre clases, pero no lo afirma de la primera clase universalmente, sino solo parcialmente de algunos miembros particulaes de la primera clase. Esquema: Algun S es P Ejemplo: Algunos polticos son mentirosos. 4) Proposicion negativa particular (O): Indica que por lo menos un miebro pertenece a la clase designada por totalidad de la clase designada por el termino predicado. Esquema: Algun S no es P Ejemplo: Algunos polticos no son mentirosos.
Caracteristicas de las proposiciones Cualidad: es afirmativa o negativa. Cantidad: De una proposicin es unviersal o particular segn la proposicin se refiera a todos los miembros de la clase designda por sujeto. Distribucin: se introduce para carcaterizar las formas en las que los terminso pueden ocurrir en las proposiciones categricas.
INFERENCIA INMEDIATA
Conversion Procede por simple intercambio del termino sujeto y termino predicado en la proposicon. Ejemplo Ningun hombre es un angel Ningun angel es hombre.
OBVERSION El termino sujero permance igual, lo mismo que la cantidad de la proposicin que es obverida, para obvertir una proposicin cambiamos su calidad y reemplazamos el termino predicado por su complemento. Ejemplo: Todos los residentes son votantes Ningun residente es no votante
Contrapositiva Reemplazamos su termino sujeto por el complemento de su termino predicado y reemplazamos su termino predicado por el complemento de su termino sujeto Ejemplo Todos los miembros son votantes Todos los no votantes son no miembros.
SILOGISMO CATEGORICO Es un argumento deductivo que consiste en tres proposiciones categricas que contiene exactamente tres trminos, cada uno de los cuales aparece en dos de las proposiciones que lo constituyen.
Reglas
1) Un silogismo categrico de forma estndar vlido debe contener exactamente tres trminos, cada uno de los cuales debe usa en el mismo sentido a travs de todo el argumento.
2) En un silogismo categrico de forma estndar vlido, el trmino medio debe estar distribuido en una de las premisas, por lo menos.
3) En un silogismo categrico de forma estndar vlido no puede haber en la conclusin ningn trmino distribuido que no est tambin distribuido en las premisas
4) Ningun silogsmo categrico con las dos premisas negativas es vlido.
5) Si una de las premisa de un silogislno categrico vlido es negativa, la conclucin, debe ser negativa.
6) Si la conclusin de un silogismo categrico es una proposicin particular, sus premisas no pueden. Ser ambas universales.
Lgica proposicional Es un sistema cuyos elementos ms simples representa proposiciones y cuyas constantes lgicas llamadas conectores representa operaciones sobre proposiciones
Funcion veritativa Conjunto univoco de valores que es suscpetible una propsocion molecular a partir de los valores de las variables segn la ralcion expresador por los constantes de conexin.
Formas enunciativas tautolgicas, contradictorias y contigentes.
Las tres leyes del pensamiento El principio de identidad afirma que si cualquier enunciado es verdadero, entonces es verdadero. El principio de contradiccin afirma que ningn enunciado puede ser verdadero y falso a la vez El principio del tercero excluido afirma que cualquier enunciado es o bien verdadero o falso.
Reglas de Inferencia Es un esquema para construir inferencias vlidas. Con su ayuda, es posible construir pruebas formales de validez para una variedad de argumentos ms complicados.