PROPOSICIN LGICA, PROPOSICIONES SIMPLES Y COMPUESTAS

Una proposicin es una oracin con valor referencial o informativo, de la cual se puede
predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a
la vez.

La proposicin es la expresin lingstica del razonamiento, que se caracteriza por ser

verdadera o falsa empricamente, sin ambigedades.

TIPOS DE PROPOSICIONES

Proposiciones Simples:

Son aquellas que no tienen oraciones componentes afectadas por negaciones

(no) o trminos de enlace como conjunciones (y), disyunciones (o) o
implicaciones (si . . . entonces). Pueden aparecer trminos de enlace en el
sujeto o en el predicado, pero no entre oraciones.

Proposiciones Compuestas:

Una proposicin ser compuesta si no es simple. Es decir, si est afectada por

negaciones o trminos de enlace entre oraciones componentes.

EJEMPLOS:

Simples:

La ballena es roja.
Gustavo es alto.

Compuestas

La ballena no es roja
Gustavo no es alto
CUATRO TABLAS DE VERDAD

DISYUNCIN

La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son
falsas.

Tabla de verdad de la disyuncin

CONJUNCIN

La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera
cuando ambas son verdaderas.

Tabla de verdad de la conjuncin

NEGACION

La negacin es un operador que se ejecuta. sobre un nico valor de verdad, devolviendo el

valor contradictorio de la proposicin considerada.
 Tabla de verdad de Negacin

CONDICIONAL

El condicional material es un operador que opera sobre dos valores de verdad, tpicamente
los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo
cuando la primera proposicin es verdadera y la segunda falsa, verdadero en cualquier otro
caso.

La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se

representa por p q

Tabla de Verdad Condicional

CONDICIONAL

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de

verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso
cuando sus valores de verdad difieren.
 Tabla de Verdad Bicondicional

TAUTOLOGAS
Hace referencia a una frmula que siempre es verdadera, existen figuras
derivadas de la tautologa son perogrullada y pleonasmo, la figura perogrullada
se trata de hacer una explicacin redundante (cuando no hace frio hace calor)
y la figura pleonasmo comprende la tautologa que refuerza una idea (Bajar a
bajo)

CONTRADICCIONES

Es una proposicin que siempre va a ser falsa ya que es una oposicin entre dos o ms
conceptos los cuales resultan ser opuestos (La amo y la odio al mismo tiempo).

CONTINGENCIAS

Se entiende como verdad de hecho a la proposicin que puede ser verdadera o falsa es
una combinacin entre tautologa y contradicciones todo depende de la valoracin de los
smbolos proporcionales que contiene.

CUANTIFICADORES Y PROPOSICIONES CATEGRICAS

Las proposiciones categricas son aqullas que hacen afirmaciones incondicionales. Por
ejemplo, todos los hombres son mortales es una proposicin categrica, mientras que
si tengo el da libre, voy a la playa no lo es, ya que hay un condicionante para el hecho
de ir a la playa: que tenga el da libre. La forma general de toda proposicin categrica es
la siguiente: cuantificador + sujeto + cpula + predicado
Dnde:
El cuantificador determina si la proposicin se refiere a todos los sujetos de un
conjunto, a una parte de ellos o slo a un elemento del conjunto.
El sujeto es el conjunto o subconjunto de individuos o cosas de los que trata la
proposicin
La cpula (es decir, lazo) es el verbo que une al sujeto con el predicado. Tiene la
doble funcin de llevar a cabo esta relacin y de hacer posible el enunciado.
El predicado es lo que se afirma o niega del sujeto.

Calidad y cantidad de las proposiciones categricas.

 Las proposiciones categricas, en cuanto a calidad, puede ser afirmativas o negativas.
Son afirmativas cuando el predicado asigna al sujeto alguna caracterstica o cualidad, por
ejemplo: es estudiante, son voladoras. Son negativas cuando el predicado niega al sujeto
la caracterstica o cualidad, por ejemplo: no es estudiante, no son voladoras. En cuanto a
cantidad, las proposiciones categricas pueden ser universales, particulares o singulares.
Son universales cuando se refieren a la totalidad del conjunto de los sujetos. Son
particulares cuando se refieren slo a una parte del conjunto de los sujetos y son
singulares cuando se refieren a slo un miembro especfico del conjunto de los sujetos.
De la combinacin de estas cuatro categoras se obtiene lo que se conoce como las cuatro
formas clsicas de las proposiciones categricas:
a) Universal afirmativa, o tipo A.
b) Particular afirmativa, o tipo I.
c) Universal negativa, o tipo E.
d) Particular negativa, o tipo O.

SILOGISMOS CATEGRICOS

En cada uno de los ejemplos, se nos muestran las dos premisas y la conclusin de un
silogismo categrico.

La meta est determinar si la conclusin es vlida dado que las premisas lo son.

Cada una de las premisas se nos ir apareciendo en cada uno de los diagramas de Venn

Finalmente la combinacin de las premisas nos revelar si el contenido de la conclusin es

vlida segn los diagramas de Venn.
Si la conclusin se nos muestra dentro del Diagrama de Venn, entonces la conclusin
es vlida.
Por el contrario si la conclusin no est contenida dentro de Diagrama de Venn,
entonces la conclusin no es vlida.
Considere el siguiente argumento:
Premisa 1 Ningn fosil est traspasado de amor.
Premisa 2 Algunos que estn traspasados de amor son ostras.

Conclusin Algn ostras no son fsiles.

BIBLIOGRAFIA
http://www.paginasobrefilosofia.com/html/Diagramas%20de
%20Venn/Example1/welcome.html

Lgica matemtica 20/10/2011 Filed under DOCUMENTOS recuperado de

https://angelarendon.wordpress.com/2011/10/20/3-1-4-tautologias-
contradiccion-y-contingencia-2/

Matemticas discreta por sector ok (18 de octubre) tema proposiciones compuestas

(disyuncin, conjuncin, negacin, condicional, bicondicional) recuperado de
https://matedisunidad3.wordpress.com/2011/10/18/proposiciones-compuestas-disyuncion-
conjuncion-negacion-condicional-bicondicional/

Proposiciones categricas recuperado del link

http://cursos.clavijero.edu.mx/cursos/007_cp/modulo1/contenidos/documentos/proposicion
es_categoricas.pdf