enunciados y cuantificadores

se le llama cuantificadores a los smbolos o seas que se encuentran dentro de

los contextos, que nos sirven para indicar cuantos tipos de elementos
conforman un conjunto y para saber cuntos cumplen con dicha propiedad.
existen muchos tipos de cuantificadores, pero los as comunes son:
cuantificador universal
cuantificador existencial
enunciados

son parte de la lgica simblica, pues nos orilla a introducir letras o smbolos
tales como ( y, o, no). en si los enunciados son el estudio de oraciones.
esa nia es nia es gordita y bonita

Negaciones

la negacin es tener la verdad en un oracin falsa o viceversa

juan es guapo > juan no es guapo
Luis es feo> Luis no es feo

Smbolos
Son los representantes de los conectores
pedro compro un balo y se le rompi
juan no es feo

Cuantificadores
Son los sub salientes que sirven para indicar situaciones particulares
al menos un perro en el mundo muerde > ningn perro en el mundo muerde

Tabla de verdades y enunciados equivalentes

 Conjuncin
Son los enlaces u conectores que le dan un valor absoluto a la verdad si dicho
enunciado corresponde a lo cierto.
mayo sigue inmediatamente a abril
abril sigue inmediatamente a agosto

Disyunciones

es una expresin ambigua puesto que le da doble significado a una

sola expresin

podare el csped o podare los arbustos

(Probabilidad)

correr rpido o trotare rpido para alcanzar el autobs

(Puedo hacer una pero no ambas)

Negaciones

se trata de tener el valor opuesto al enunciado

ngel es feo > ngel no es feo

p -p
f v
v f
f v

Tabla de verdad

se basa en propuestas o enseanzas logias que pueda representar validez en situaciones

o propuesta para asi poder ser verdadero o a la vez falso un enunciado es as a como
llegamos a la tabla de la verdad.
 p q q q
v v v
v f f
f v v
f f v

Enunciados equivalentes a las leyes de Morgan

p q q q
v v v
v f f
f v v
f f v

p q ( p v q)
f f v
f v f
v f v
f v f

El condicional
Condicionales

se puede decir que la condicional es la relacin lgica binaria de un enunciado esto quiere
decir que son preposiciones que podemos volver de falsa a verdaderas o de verdaderas a
falsas o tambin volverlas negaciones.

Ejemplos
 p: el nio juega futbol

q:el padre lo premia

el nio juega futbol y el padre lo premia

el nio juega futbol entonces el adre no lo premia
el nio no juega futbol entonces el padre si lo premia
el nio no juega futbol entonces el padre no lo premia

p q p_-> q
v v v
v f f
f v v
f f v

negacin en condicional

Esta es la viceversa del enunciado o preposicin, si la preposicin es falsa entonces es

verdad y si es falsa entonces es verdad.

p q -p -q -p v-q
v v f f f
v f f v v
f v v f v
f f v v v

Condicional y enunciados relacionados

Biocondicional

Podramos decir que la condicional es la interpretacin de dos condicionales dicho sea de

paso que este suceso solo ocurre cuando dos enunciados afirman absoluta verdad o falso
cuando tienen diferentes valores.

Un ngulo de 90 es recto si y solo si es un ngulo recto

La conversa podramos decir que es la unin o interpretacin de lo anterior a lo posterior
o lo antecedente a l consecuente o de igual manera podramos explicarlo que es el
intercambio de la hiptesis a la conclusin.

si dos perros tienen el mismo tamao entonces estos son iguales.

La inversa est ms bien tiene como funcin hacer la negacin de lo antecedente y lo

consecuente, o mejor an negar la hiptesis y la conclusin del enunciado,

Si los dos perros no tienen el mismo tamao entonces estos no son iguales.

La contra positiva hace como funcin el intercambio de la antecedente a lo consecuente

haciendo con ellos su funcin de negacin es as como formamos un enunciado contra
positivista.

si los dos perros no tienen el mismo tamao entonces estos no son iguales.

p q
v v
v f
f v
f f
p->q p q
v f
f f
v v
v v
q->q
f v
v f
f v
v v

Entonces si hacen un resumen ms adjunto o mejor estructurado se lo resumira en una

sola oracin que quedara as

El inverso es lo contra positivo del converso