Proposiciones categricas

Establecen relaciones entre clases, afirmando o

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.