SlideShare una empresa de Scribd logo
CENTRO UNIVERSITARIO DE LA COSTA
NORTE
LÓGICA Y CONJUNTOS
UNIDAD 4. PROPOSICIONES Y CUANTIFICADORES
ING. EN COMPUTACIÓN
Jazmín Aguirre Suárez
Puerto Vallarta, Jalisco, 01 de Diciembre del 2012
ING. JAZMÍNAGUIRRESUÁREZ Página 2
C O N T E N I D O
UNIDAD 4. PROPOSICIONES Y CUANTIFICADORES
TEMA PAGINA
4.1 Proposiciones singulares, particulares, universales 3
4.2 Traducción del lenguaje natural al simbólico utilizando
cuantificadores
5
4.3 Reglas de cuantificación y demostración de validez (Prueba formal
de validez y prueba condicional reforzada).
9
4.4 Prueba de invalidez. 11
4.5 Proposiciones múltiplemente generales.
12
4.6 Negación de cuantificadores.
15
4.7 Cuadro tradicional de oposición: contradictorias, contrarias y
subcontrarias, alternas y subalternas.
16
4.8 Forma, figura del silogismo y demostración de validez e invalidez del
mismo mediante diagramas de Venn-Euler.
18
4.9 Identidad y relaciones.
20
4.10 Cuantificadores múltiples.
22
ING. JAZMÍNAGUIRRESUÁREZ Página 3
4.1. PROPOSICIONES SINGULARES, PARTICULARES Y UNIVERSALES.
Preposiciones Singulares
Expresan un hecho concreto que ocurre en un momento determinado del tiempo.
Sólo son verdaderas aquí y ahora: “La pizarra de la clase es verde”, “El presidente
del gobierno del estado español es José Luis Rodríguez Zapatero”, “Todos los
alumnos de 1º A son inteligentes” (Aunque parece universal equivale a un número
finito de proposiciones singulares: el 1º de la lista de 1º A es inteligente, el 2º de la
lista de 1º A es inteligente….”)
Es decir si el sujeto es un sólo individuo, se habla de una proposición singular por
ejemplo: “Juan corre”. En las proposiciones singulares el sujeto no es un concepto,
sino un nombre propio. En el simbolismo lógico, estos individuos se expresan con
las letras minúsculas a, b, c…
Por ejemplo: “la torre Eiffel mide 325 metros”; “la torre Eiffel”(a) es el
individuo, y “mide 325 metros” es predicado (F); Los predicados se
expresan con las letras mayúsculas F, G, H… Entonces podemos simbolizar la
proposición singular anterior: (Fa).
Preposiciones particulares
Expresan que una propiedad determinada es poseída por un número indefinido de
una clase dada: “Algunas personas se enfadan si se les dice que no”, “cuando hay
cirros, casi nunca llueve”.
En las proposiciones particulares el sujeto es un concepto cuantificado. Como no
está definido como individuo concreto, sino como concepto abstracto. En el
simbolismo se usan las letras para lo desconocido, o sea las letras x, y, z…En
estricto sentido lógico la proposición singulares un sub caso de las proposiciones
particulares, porque ‘algunos’ también significa ‘por lo menos uno’.
ING. JAZMÍNAGUIRRESUÁREZ Página 4
Ejemplo: “algunos hombres son varones”; aquí “hombres” no es un individuo, sino
un concepto universal cuantificado (“algunos”).
Preposiciones Universales
Si el sujeto incluye todos los entes de una cierta clase, hablamos de una
proposición universal. Aquí el sujeto también es un concepto cuantificado, pero
con el cuantificador universal (‘todos’).Ejemplo: ‘el hombre es mortal’; esta misma
pro-posición puede expresarse de diferentes maneras:‘ todos los hombres son
mortales’; ‘ningún hombrees inmortal’. Una vez más, no hay que engañarse por la
forma lingüística
EN CONCLUSIÓN
Preposición Modalidad
Singular Uno Real
Particular Algunos Posible
Universal Todos Necesaria
ING. JAZMÍNAGUIRRESUÁREZ Página 5
4.2 TRADUCCIÓN DEL LENGUAJE NATURAL AL SIMBOLICO
UTILIZANDO CUANTIFICADORES
DEFINICIÓN DE CUANTIFICADORES
Los cuantificadores son símbolos utilizados para indicar cuántos elementos de
un conjunto cumplen con cierta propiedad. Cuando utilizamos funciones
proposicionales podemos incorporar dos nuevos símbolos denominados
cuantificadores.
Hay dos formas de cuantificar una función proposicional:
Cuantificador Existencial
Denota que existe “al menos” un elemento x del Universo, para el cual p(x) es
verdadera.
Notación
x p(x) ó
x y p(x, y) x, y p(x, y)
En lenguaje natural decimos...
Formas de expresarlo:
“Hay un x”
“Para algún x”
“Para al menos un x”
“Existe un x tal que”
La proposición es Verdadera, si existe al menos un elemento x del universo tal que
p(x) sea verdadera. De lo contrario es falsa.
Si p(x) es una función proposicional en U, entonces la expresión:
x; p(x) Se lee “existe x tal que p(x)”
y significa que hay al menos un elemento “a” que pertenece al universo, de modo
que p(a) es verdadera.
Observación Dentro de este cuantificador nos encontramos con el cuantificador
! que se lee existe un único y que es verdadero si y solo si la proposición es
solamente verdadera en una ocasión.
ING. JAZMÍNAGUIRRESUÁREZ Página 6
Ejemplos:
1. Determine el valor de verdad de las siguientes proposiciones, considerando que
U = {1,2,3,4,5,6,7}
a)
Valor de x Operación Conclusión
X=1 12
-1=13 Falso
X=2 22
-2=13 Falso
X=3 32
-3=13 Falso
X=4 42
-4=13 Falso
X=5 52
-5=13 Falso
X=6 62
-6=13 Falso
X=7 72
-7=13 Falso
La proposición es falsa, ya que para todos los elementos de U la proposición es falsa
b)
Valor de x Operación Conclusión
X=1 12
-1>20 Falso
X=2 22
-2>20 Falso
X=3 32
-3>20 Falso
X=4 42
-4>20 Falso
X=5 52
-5>20 Falso
X=6 62
-6>20 Verdadero
X=7 72
-7>20 Verdadero
La proposición es verdadera, ya que existen dos elemento de U que satisface la
proposición.
Ejemplos:
 q(x)=x/x estudia en la universidad de Guadalajara
 r(x)=x/x es mujer
Existen estudiantes de la universidad de Guadalajara que son mujeres
x:q(x)r(x)
 q(x)=x/x estudia en la universidad de Guadalajara
 r(x)=x/x estudia lógica
ING. JAZMÍNAGUIRRESUÁREZ Página 7
Existen estudiantes de la universidad que estudian lógica
x:q(x)r(x)
 q(x)=x/x estudia lógica
 r(x)=x/x gana el curso de lógica
Existen estudiantes que si estudian lógica, ganan el curso.
x:q(x)r(x)
Cuantificador Universal
Indica que una proposición es Verdadera para todos los valores de una variable en un
“universo” en particular. p(x) es verdadera, para todos los valores de x en el dominio.
Notación
En lenguaje natural decimos...
Formas de expresarlo:
“Para todo x”
“Para cada x”
“Para cualquier x”
“Para todo x y y”
“Para todo x,y”
La proposición es Verdadera, si para cada reemplazo de x, p(x) es verdadera. Es falsa, si
existe al menos un x para el cual p(x) es falsa.
Si p(x) es una función proposicional en U, entonces la expresión:
Se lee “para todo x, p(x)”
y significa que todos los elementos x de U hacen que p(x) sea verdadera.
ING. JAZMÍNAGUIRRESUÁREZ Página 8
Ejemplos
2. Determine el valor de verdad de las siguientes proposiciones, considerando que
a)
Valor de x Operación Conclusión
X=1 12
<34 Verdadero
X=2 22
-<34 Verdadero
X=3 32
<34 Verdadero
X=4 42
<34 Verdadero
X=5 52
<34 Verdadero
X=6 62
<34 Falso
La proposición es falsa, ya que no todos los elementos de U satisfacen la proposición.
b)
Valor de x Operación Conclusión
X=1 (5)(1)-1>2 Verdadero
X=2 (5)(2)-1>2 Verdadero
X=3 (5)(3)-1>2 Verdadero
X=4 (5)(4)-1>2 Verdadero
X=5 (5)(5)-1>2 Verdadero
X=6 (5)(6)-1>2 Verdadero
La proposición es verdadera, ya que todos los elementos de U satisfacen p(x).
Ejemplos:
 P(x)=x/x pertenece a la universidad de Guadalajara
 x:p(x)=“Para todo x, x es estudiante de la universidad de Guadalajara
 P(x):x/x profesor de la universidad
 x:p(x)=“Para todo x, x es profesor de la universidad de Guadalajara
 p(x)=x/x es estudiante de la universidad de Guadalajara
 q(x):x/x es mayor de 30 años
Todos los estudiantes de la universidad mayores de 30
 x:p(x)q(x)=“Para todo x, x es estudiante y es mayor de 30 años
ING. JAZMÍNAGUIRRESUÁREZ Página 9
4.3 REGLAS DE CUANTIFICACIÓN Y DEMOSTRACIÓN DE
VALIDEZ (PRUEBA FORMAL DE VALIDEZ Y PRUEBA
CONDICIONAL REFORZADA)
Cuantificación Universal
(con restricciones)
IU EU
Cuantificación Existencial
IE
(con restricciones)
EE
Reglas de Inferencia
Las reglas de inferencia son las fórmulas y métodos sintácticos que permiten
obtener conclusiones correctas (desde el punto de vista lógico, sin tener en cuenta
la semántica) a partir de otras denominadas premisas o hipótesis.
Existen cinco reglas clásicas fundamentales:
Regla uno: “Si p es condición suficiente para q y p es verdadera, entonces, q
también lo es”. Esta regla se denomina también “modus ponendo ponens”, del
latín ponerse=afirmar. En formulas se suele escribir así:
, aunque hay otras formas alternativas. En matemáticas describe lo que se
conoce como “demostración directa”.
Por ejemplo, sean
El queso de cabra es bueno
Deducimos que es cierto que “mi queso es bueno”
ING. JAZMÍNAGUIRRESUÁREZ Página 10
Otro ejemplo: éste más familiar sean
x es derivable : entonces
deducimos que es cierto que “ es continua.
Regla dos: “Si p es condición suficiente para que q y q no es verdadera, entonces
q p tampoco lo es”. Esta regla se denomina también “modus tollendo tollens” del
latín Tollere=negar.
En formulas: en Matemáticas describe lo que se conoce como
“demostración indirecta por contrarecíproco”.
Regla tres: “Si p condición suficiente para q, y q es condición sufiente para r,
entonces p es condición suficiente para r”.
Esta regla es el “silogismo hipotético”. Del griego syn(juntar)+lógos
(razonamiento).
Su fórmula:
El ejemplo clásico es “todos los hombres son mortales, “Sócrates es hombre”,
luego “Sócrates es mortal”.
Regla cuatro: “Si uno de los dos, p ó q, es cierto y p es falso, entonces q es
cierto” esta regla es un “silogismo disyuntivo”. En fórmulas:
Regla cinco: “Si ~p es condición suficiente para que se dé una contradicción,
entonces p es cierto”. En fórmulas:
En matemáticas se conoce como “demostración por contradicción”
ING. JAZMÍNAGUIRRESUÁREZ Página 11
4.4 PRUEBA DE INVALIDEZ
Se trata de una demostración indirecta por reducción al absurdo. Si la conclusión
tiene valor 0, es falsa, y las premisas pueden tener valor 1, el razonamiento es
inválido.
Modus operandi:
Se da valor 0 a la conclusión y se intenta que todas las premisas adquieran valor
de verdad - operando como hacíamos en las tablas veritativas.
Si las premisas son verdaderas y la conclusión falsa, el razonamiento es inválido.
Por ejemplo:
1 2 3
Operamos así:
1 2 3
1/0 1 1 1 1 0 1 1 0
0
El razonamiento es inválido, ya que hemos podido dar valor 1 a las premisas,
siendo falsa la conclusión.
Consideremos ahora el siguiente razonamiento:
1 2
0 11 1 0 1 0 0
Como la segunda premisa no puede tener valor 1, no se puede probar la invalidez
del razonamiento.
Sin embargo, para probar la validez de un razonamiento, es necesario además
realizar la prueba formal de validez.
ING. JAZMÍNAGUIRRESUÁREZ Página 12
4.5 PROPOSICIONES MÚLTIPLEMENTE GENERALES
Consiste en proposiciones con varios cuantificadores.
Por ejemplo:
"Si todos los perros son carnívoros, entonces algunos animales son carnívoros."
"Si todos los P son C, entonces algunos A son C."
P(x) [Px  Cx]  (x) [Ax . Cx]
Distinguiremos:
- función (no posee ninguna constante) —f(x,y, etc.).
- proposición
- función proposicional (posee por lo menos una variable independiente) —f(x,a, etc.).
Supongamos ahora la proposición
Fa . Gb  proposición
que puede ser ejemplificada por las siguientes tres funciones proposicionales
Fx . Gb  función proposicional
Fa . Gx  función proposicional
Fx . Gy  función proposicional
Si el perro del ejemplo tiene por nombre Lassie resulta
P(x) [Px  Cx]  Cl proposición
que a su vez es ejemplo de
P(x) [Px  Cx]  Cx  función proposicional
y donde se observa que hay dos tipos de «x»
- las ligadas al cuantificador «(x)» y su extensión «[...]»
- en este caso sólo es una: las «x» del primer miembro
- las libres del cuantificador «(x)» y su extensión «[...]»
- en este caso sólo es una: la «x» del segundo miembro
ING. JAZMÍNAGUIRRESUÁREZ Página 13
Recomendaciones
Las proposiciones no tienen variables ligadas o libres «x», sino que son sólo V o F.
Los conectivos «  » tienen mayor alcance que los cuantificadores «(x)».
Dada una función proposicional cualquiera, por ejemplo: Px  Cx
Si se diera que se trabajo con la sustitución proposicional
Pa  Ca  bien
No es correcto luego trabajar con una segunda sustitución que reemplace la constante
Pa  Cb  mal
Pero sí se puede hacer
Fx  Gy
Fa  Gb  bien
En suma:
al reemplazar variables por constantes, la misma variable debe ser reemplazada
siempre por la misma constante.
es posible reemplazar distintas variables por la misma constante.
Si ahora tenemos por ejemplo las siguientes dos funciones:
P(x) Fx
P(x) Fy
Podemos distinguirlas como iguales con la única diferencia el aspecto notacional. Pero no
es lo mismo con estas dos:
P(x) [Fx . Gy]
P(y) [Fx . Gy]
Porque a la v
segunda; y viceversa.
También se puede hacer el siguiente reemplazo para trabajar con claridad y utilidad:
P(x) [Px  Cx]  (x) [Ax . Cx]
P(x) [Px  Cx]  (y) [Ay . Cy]
ING. JAZMÍNAGUIRRESUÁREZ Página 14
Ejemplos:
1) "Si algo está mal en la casa, entonces todos en la casa se quejan."
"Si algo está M en la casa, entonces [todas las Personas] en la casa se Q."
(x) [Mx]  (y) [Py  Qy]
2) "Si algo anda mal, debe ser rectificado."
"Si algo anda M, debe ser R."
(x) [Mx]  Rx  mal
(x) [Mx  Rx  mal
(x) [Mx  Rx]  bien (el vocablo «algo» denota universalidad)
3) "Si algo se pierde, entonces si nadie llama a la policía, habrá un descontento."
"Si algo se M, entonces si [ninguna Persona] llama a la C, habrá un D."
(x) [Mx]  { (y) [Py  -Cy]  (z) [Pz . Dz] }
4) "Si algo se perdió, y entonces nadie llama a la policía, no será recobrado."
"Si algo se M, y entonces [ninguna Persona] llama a la C, no será R."
(x) [Mx]  { (y) [Py  -Cy]  -Rx } mal (la variable libre «x» no es
alcanzada por el cuantificador
«(x)»)
(x) { [Mx]  { (y) [Py  -Cy]  -Rx } }  bien
5) "Si algo se descompone, alguien será culpado."
"Si algo se D, [alguna Persona] será C."
P(x) [Dx]  (y) [Py  Cy] bien
P(x) [Dx]  (x) [Px  Cx] bien
6) "Si algo se pierde, alguien llamará a la policía."
"Si algo se M, [alguna Persona] llamará a la C."
P(x) [Mx]  (y) [Py . Cy]
7) "Si algo se pierde, entonces lo tomó la mucama."
"Si algo se M, entonces lo T la mucama."
P(x) [Mx  Tx]
8) "Si todos los diamantes son grandes, entonces algunos diamantes son caros."
"Si todos los D son G, entonces algunos D son $."
P(x) [Dx  Gx]  (y) [Dy . $y]
ING. JAZMÍNAGUIRRESUÁREZ Página 15
4.6 NEGACIÓN DE CUANTIFICADORES
La negación de la proposición en la cual se ha utilizado el cuantificador universal,
corresponde a una proposición en la cual se utiliza el cuantificador existencial; a
su vez, la negación de una proposición en la cual se ha usado el cuantificador
existencial, corresponde a una proposición en la cual se utiliza el cuantificador
universal.
EJEMPLOS
Negar las siguientes proposiciones cuantificadas. Luego, simbolizar la proposición
y la negación.
a. Todos los números naturales son impares
Negación: Existe por lo menos un números natural que no es impar
simbólicamente.
b. Existe un número par que no es múltiplo de 4.
Negación: Todos los números pares son múltiplos de 4
simbólicamente.
Sea p(x) una función proposicional con extensión A, entonces
¬( x A) p(x)≡( x A) ¬p(x)
¬ ( x A) p(x) ≡ ( x A) ¬p(x)
Ejemplos
1) Sea A = {1, 2, 3, 4, 5}
Determine el valor de verdad de cada uno de los enunciados siguiente
a) ( x A) (x+3 =10)
Solución: Es falso porque ningún número de A es una solución de x + 3 = 10
b) b) ( x A)(x+3<10)
Solución: Es Verdadero. Cualquier número de A cumple que x + 3<10
ING. JAZMÍNAGUIRRESUÁREZ Página 16
4.7 CUADRO TRADICIONAL DE OPOSICIÓN: CONTRADICTORIAS,
CONTRARIAS Y SUBCONTRARIAS, ALTERNAS Y SUBALTERNAS
CUADRO DE LA OPOSICIÓN:
Se llama cuadro de oposición de los juicios al esquema mediante el que se
estudian las relaciones formales entre los diversos tipos de juicios aristotélicos, A,
E, I, O, considerando cada juicio con términos idénticos. En su día fue considerado
por el mismo Aristóteles.
A = UNIVERSAL AFIRMATIVO. Término Sujeto tomado en su extensión universal;
término Predicado particular; cualidad afirmativa. Todo S es P.
E = UNIVERSAL NEGATIVO. Término Sujeto tomado en su extensión universal;
término Predicado universal; cualidad negativa. Ningún S es P.
I = PARTICULAR AFIRMATIVO. Término Sujeto tomado en su extensión
particular; término Predicado en su extensión particular; cualidad afirmativa. Algún
S es P.
O = PARTICULAR NEGATIVO. Término Sujeto tomado en su extensión particular;
término Predicado en su extensión universal; cualidad negativa. Algún S no es P.
Se llaman juicios opuestos a los que teniendo los mismos términos difieren en
cantidad, en cualidad o en ambas. Se representan en cada uno de los vértices del
cuadrado de oposición, estableciéndose las siguientes relaciones:
A y E son contrarios porque difieren en cualidad siendo universales.
I y O son subcontrarios, porque siendo particulares difieren en la cualidad.
CONTRARIOS
S
U
B
A
L
T
E
R
N
O
S
SUBCONTRARIOS
S
U
B
A
L
T
E
R
N
O
S
CONTRADICTORIOS
UNIVERSALES
A
F
I
R
M
A
T
I
V
O
S
N
E
G
A
T
I
V
O
S
PARTICULARES
ING. JAZMÍNAGUIRRESUÁREZ Página 17
A con respecto a O, e I con respecto a E son contradictorios, porque difieren en
cantidad y cualidad.
A con respecto a I, y E con respecto a O son subalternos porque difieren en la
cantidad.
Las relaciones con respecto al valor de verdad en relación de unos y otros se
muestran en los siguientes cuadros:
OPOSICIÓN JUICIOS
RELACIONADOS
RELACIÓN VERITATIVA
Contradictorios A - O
E - I
Si uno es verdadero el otro es falso y
viceversa.
Ni ambos verdaderos, ni ambos falsos.
Contrarios A - E
No pueden ser ambos verdaderos
Pero pueden ser los dos falsos
Subcontrarios I - O
Pueden ser ambos verdaderos
Pero no pueden ser los dos falsos
Subalternos
A - I
E - O
Si el universal (A, E) es verdadero,
entonces el particular (I, O) es verdadero
Pero si el particular (I, O) es verdadero
entonces el universal (A, E) no es
necesariamente verdadero
ING. JAZMÍNAGUIRRESUÁREZ Página 18
4.8 FORMA, FIGURA DEL SILOGISMO Y DEMOSTRACIÓN DE
VALIDEZ E INVALIDEZ DEL MISMO MEDIANTE DIAGRAMA DE
VENN-EULER
Se sabe que el silogismo categórico estructuralmente está compuesto por 3
proposiciones categóricas que contienen a su vez dentro de ellas 3 términos.
Además, estas 3 proposiciones categóricas se pueden representar mediante la
fórmula booleanas en diagramas.
Por este motivo es posible analizar el silogismo como la resultante de un
intersección de 3 clases, cada una de las cuales representa respectivamente al
término medio (T. medio), al término mayor o predicado de la conclusión (TM) y al
término menor o sujeto de la conclusión (tm).
De la relación de estas 3 clases resulta el siguiente diagrama en el que se
distinguen 8 áreas.
DIAGRAMA DE VENN DE 3 CLASES
ZONA CARACTERÍSTICA
1
2
3
4
5
6
7
8
8
M
7
5
6
42
P
S
1
3
U
S P
M
U
ING. JAZMÍNAGUIRRESUÁREZ Página 19
PASOS
1er. Paso: determinar las premisas y la conclusión. Hallar los 3 términos.
2do. Paso: determinar la fórmula booleana de cada proposición categórica.
3er. Paso: dibujar las 3 clases (términos mayor, menor y medio) así por
convención.
4to. Paso: Diagramar solo las premisas. El silogismo será válido si aparece, se
comprueba o verifica la conclusión.
Determine la validez del siguiente silogismo:
Todo argentino es sudamericano, además, algún lógico es argentino. Por lo tanto,
algún lógico es sudamericano.
PRIMER PASO: PM: Todo A es S, Pm: Algún L es A C: Algún L es S
SEGUNDO PASO: PM: AS= , Pm: LA , C: LS.
TERCER PASO:
CUARTO PASO: Vemos que la conclusión C, que señala que existen elementos
comunes a L y S, efectivamente queda diagramada cuando dibujamos las
premisas. El silogismo es válido
ING. JAZMÍNAGUIRRESUÁREZ Página 20
4.9 IDENTIDAD Y RELACIONES
En español se usa con frecuencia alguna forma del verbo "ser" entre dos términos,
para indicar que nombran o se refieren a una misma cosa.
Por ejemplo:
"Simón Bolívar fue el primer presidente de Colombia".
Esto significa, que Simón Bolívar nombra o indica lo mismo que " primer
presidente de Colombia". Así si s representa a Simón Bolívar y p al primer
presidente de Colombia este enunciado se puede simbolizar como:
s = p
El signo = (igual) se denomina también signo de identidad.
Sin embargo, el verbo "ser" se usa también en otro sentido, por ejemplo:
"Simón Bolívar fue un hombre valiente".
Aquí sería incorrecto decir que Simón Bolívar nombra o indica lo mismo que
"hombre valiente".
Debe tenerse presente que el signo de identidad se coloca entre términos que son
nombre de la misma cosa. Así, dos objetos aunque tengan una apariencia tan
igual que no se distingan, son sin embargo distintos, es decir no idénticos. Decir
que dos objetos son iguales, significa que son el mismo objeto, no que son tan
análogos que no se distinguen.
Axiomas do la Lógica de la identidad.
1) (" x)(x = x). (Todo objeto es igual así mismo).
2) (" x)(" y)(x = y Û y = x) (Simetría).
3) (" x)(" y)(" z)(x = y Ù y = z Þ x = z) (Transitividad).
4) (c = d),Þ (Pc Û Pd). (Regla de la identidad).
Intuitivamente, el axioma cuatro dice: Si dos objetos son iguales, entonces
verifican las mismas propiedades.
ING. JAZMÍNAGUIRRESUÁREZ Página 21
Ejemplo: Simbolizar el siguiente razonamiento, y mostrar que la inferencia es
válida deduciendo la conclusión.
 Eduardo podía haber visto el coche del asesino.
 Ricardo fue el primer testigo de la defensa.
 O Eduardo estaba en la fiesta o Ricardo dio testimonio falso.
 En efecto, nadie en la fiesta pudo haber visto el coche del asesino.
 Por tanto el primer testigo de la defensa dio testimonio falso.
Sean:
Ve: Eduardo pudo haber visto el coche del asesino.
r = p: Ricardo fue el primer testigo de la defensa.
Fe: Eduardo estaba en la fiesta.
Tr: Ricardo dio testimonio falso.
(" x)(Fx Þ Ø Vx): nadie en la fiesta pudo haber visto el coche del asesino.
Entonces:
1 Ve premisa.
2 r = p premisa.
3 Fe Ú Tr premisa.
4 (" x)( Fx Þ Ø Vx) premisa.
5 Fe Þ Ø Ve E.U. en 4.
6 Ve Þ Ø Fe contrarrecíproco en 5.
7 Ø Fe RV1 en 1 y 6.
8 Tr regla de disyunción 3 y 7.
9 Tp regla de identidad en 2 y 8.
ING. JAZMÍNAGUIRRESUÁREZ Página 22
4.10 Cuantificadores múltiples
Consideremos la función proposicional de dos variables P definida en A × B (A y B
son conjuntos no vacíos). Se puede transformar dicha función en una proposición
cuantificándola de las siguientes formas:
Observa que , no es una proposición, es la forma de una función
proposicional definida en B.
Ejemplos:
Consideremos la función proposicional , definida en x .
1) La proposición Es falsa
2) La proposición Es verdadera
3) La proposición Es falsa
4) La proposición Es verdadera

Más contenido relacionado

La actualidad más candente

Cálculo de Predicados
Cálculo de PredicadosCálculo de Predicados
Cálculo de Predicados
rezzaca
 
Funciones, dominio, recorrido, funcion inyectiva, sobreyectiva, biyectiva y f...
Funciones, dominio, recorrido, funcion inyectiva, sobreyectiva, biyectiva y f...Funciones, dominio, recorrido, funcion inyectiva, sobreyectiva, biyectiva y f...
Funciones, dominio, recorrido, funcion inyectiva, sobreyectiva, biyectiva y f...
Andres Silva
 
Proposiciones
ProposicionesProposiciones
Proposiciones
elier_lucero
 
Ejercicios resueltos grafos
Ejercicios resueltos grafosEjercicios resueltos grafos
Ejercicios resueltos grafos
TERE FERNÁNDEZ
 
Funciones: Exponencial y logaritmica
Funciones: Exponencial y logaritmicaFunciones: Exponencial y logaritmica
Funciones: Exponencial y logaritmica
Santiago Mejía Sánchez
 
Ppto composicion con funciones
Ppto composicion  con funcionesPpto composicion  con funciones
Ppto composicion con funciones
Beatriz Espinoza Peralta
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
HECTOR VILLAJUAN MORY
 
Diapositivas funciones 1
Diapositivas funciones 1Diapositivas funciones 1
Diapositivas funciones 1
silvanalazarte
 
Conjuntos
ConjuntosConjuntos
Conjuntos
edwinreyes1983
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
elisa pizano
 
PROBLEMAS RESUELTOS DE DETERMINANTES
PROBLEMAS RESUELTOS DE DETERMINANTESPROBLEMAS RESUELTOS DE DETERMINANTES
PROBLEMAS RESUELTOS DE DETERMINANTES
JUANCA
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
Carlos Davila
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
Cariela Loyo
 
Derivada por Definición
Derivada por DefiniciónDerivada por Definición
Derivada por Definición
Enely Freitez
 
Funciones y relaciones
Funciones y relaciones Funciones y relaciones
Funciones y relaciones
sitayanis
 
Modus Tollendo y Modus Ponendo
Modus Tollendo y Modus PonendoModus Tollendo y Modus Ponendo
Modus Tollendo y Modus Ponendo
Edin Francisco Calles López
 
1 enunciados y proposiciones 6
1 enunciados y proposiciones 61 enunciados y proposiciones 6
1 enunciados y proposiciones 6
Pedro Antonio Benavides Rios
 
Propiedades de los números imaginarios
Propiedades de los números imaginariosPropiedades de los números imaginarios
Propiedades de los números imaginarios
noel
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
Mariexis Cova
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
Wilbert Tapia
 

La actualidad más candente (20)

Cálculo de Predicados
Cálculo de PredicadosCálculo de Predicados
Cálculo de Predicados
 
Funciones, dominio, recorrido, funcion inyectiva, sobreyectiva, biyectiva y f...
Funciones, dominio, recorrido, funcion inyectiva, sobreyectiva, biyectiva y f...Funciones, dominio, recorrido, funcion inyectiva, sobreyectiva, biyectiva y f...
Funciones, dominio, recorrido, funcion inyectiva, sobreyectiva, biyectiva y f...
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Ejercicios resueltos grafos
Ejercicios resueltos grafosEjercicios resueltos grafos
Ejercicios resueltos grafos
 
Funciones: Exponencial y logaritmica
Funciones: Exponencial y logaritmicaFunciones: Exponencial y logaritmica
Funciones: Exponencial y logaritmica
 
Ppto composicion con funciones
Ppto composicion  con funcionesPpto composicion  con funciones
Ppto composicion con funciones
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Diapositivas funciones 1
Diapositivas funciones 1Diapositivas funciones 1
Diapositivas funciones 1
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
PROBLEMAS RESUELTOS DE DETERMINANTES
PROBLEMAS RESUELTOS DE DETERMINANTESPROBLEMAS RESUELTOS DE DETERMINANTES
PROBLEMAS RESUELTOS DE DETERMINANTES
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 
Leyes del álgebra de proposiciones
Leyes del álgebra de proposicionesLeyes del álgebra de proposiciones
Leyes del álgebra de proposiciones
 
Derivada por Definición
Derivada por DefiniciónDerivada por Definición
Derivada por Definición
 
Funciones y relaciones
Funciones y relaciones Funciones y relaciones
Funciones y relaciones
 
Modus Tollendo y Modus Ponendo
Modus Tollendo y Modus PonendoModus Tollendo y Modus Ponendo
Modus Tollendo y Modus Ponendo
 
1 enunciados y proposiciones 6
1 enunciados y proposiciones 61 enunciados y proposiciones 6
1 enunciados y proposiciones 6
 
Propiedades de los números imaginarios
Propiedades de los números imaginariosPropiedades de los números imaginarios
Propiedades de los números imaginarios
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 

Destacado

Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
guest654125c
 
Predicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezPredicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédez
Elsa Guédez
 
Cuantificadores abal robin
Cuantificadores abal robinCuantificadores abal robin
Cuantificadores abal robin
ROBINCITO120
 
Estrategias didáctico pedagógicas
Estrategias didáctico pedagógicasEstrategias didáctico pedagógicas
Estrategias didáctico pedagógicas
Isah Bdez
 
Estrategias Lógico Matemáticas
Estrategias Lógico Matemáticas Estrategias Lógico Matemáticas
Estrategias Lógico Matemáticas
Isah Bdez
 
Relaciones lógicas desde las matemáticas
Relaciones lógicas desde las matemáticas Relaciones lógicas desde las matemáticas
Relaciones lógicas desde las matemáticas
Tatiana Cortes
 
Lógica Mtemática
Lógica MtemáticaLógica Mtemática
Lógica Mtemática
Diego Delgado
 
Nociones, Proposiciones, Conceptos y Mentefactos
Nociones, Proposiciones, Conceptos y MentefactosNociones, Proposiciones, Conceptos y Mentefactos
Nociones, Proposiciones, Conceptos y Mentefactos
Luis Carlos Ochoa Padilla
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógica
Bertha Vega
 
Cap 3 logica y conjuntos
Cap 3 logica y conjuntosCap 3 logica y conjuntos
Cap 3 logica y conjuntos
nivelacion008
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
MaestroJCH
 
Ejercicios resueltos de conjuntos
Ejercicios resueltos de conjuntosEjercicios resueltos de conjuntos
Ejercicios resueltos de conjuntos
hernancarrilloa
 
Juegos matemáticos para Educación Infantil
Juegos matemáticos para Educación InfantilJuegos matemáticos para Educación Infantil
Juegos matemáticos para Educación Infantil
Miguel Santos Arévalo
 

Destacado (14)

Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Predicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezPredicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédez
 
Cuantificadores abal robin
Cuantificadores abal robinCuantificadores abal robin
Cuantificadores abal robin
 
Estrategias didáctico pedagógicas
Estrategias didáctico pedagógicasEstrategias didáctico pedagógicas
Estrategias didáctico pedagógicas
 
Estrategias Lógico Matemáticas
Estrategias Lógico Matemáticas Estrategias Lógico Matemáticas
Estrategias Lógico Matemáticas
 
Relaciones lógicas desde las matemáticas
Relaciones lógicas desde las matemáticas Relaciones lógicas desde las matemáticas
Relaciones lógicas desde las matemáticas
 
Lógica Mtemática
Lógica MtemáticaLógica Mtemática
Lógica Mtemática
 
Nociones, Proposiciones, Conceptos y Mentefactos
Nociones, Proposiciones, Conceptos y MentefactosNociones, Proposiciones, Conceptos y Mentefactos
Nociones, Proposiciones, Conceptos y Mentefactos
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógica
 
Cap 3 logica y conjuntos
Cap 3 logica y conjuntosCap 3 logica y conjuntos
Cap 3 logica y conjuntos
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Ejercicios resueltos de conjuntos
Ejercicios resueltos de conjuntosEjercicios resueltos de conjuntos
Ejercicios resueltos de conjuntos
 
Juegos matemáticos para Educación Infantil
Juegos matemáticos para Educación InfantilJuegos matemáticos para Educación Infantil
Juegos matemáticos para Educación Infantil
 

Similar a Lógica y conjuntos proposiciones y cuantificadores

Algebra ensayo
Algebra ensayoAlgebra ensayo
Algebra ensayo
Jose Rafael
 
Algebra Ensayo
Algebra Ensayo Algebra Ensayo
Algebra Ensayo
Militza Graterol
 
Calculos de predicados
Calculos de predicadosCalculos de predicados
Calculos de predicados
robert eleasther hernandez escobar
 
Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1
Cesar Mujica
 
itiel vilasmil
itiel vilasmilitiel vilasmil
itiel vilasmil
itielvillasmil
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
Saúl Qc
 
Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)
moncadalmz
 
Unidad 2
Unidad 2Unidad 2
Unidad 2
Alvi Vargas
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
JReales2
 
álgebra
álgebraálgebra
álgebra
greisonoguera
 
Principios de los Cuantificadores en matematicas y otros areas.ppt
Principios de  los Cuantificadores en matematicas y otros areas.pptPrincipios de  los Cuantificadores en matematicas y otros areas.ppt
Principios de los Cuantificadores en matematicas y otros areas.ppt
ssuser69d543
 
Modus ponens
Modus ponensModus ponens
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
Almarys Vargas Brito
 
331719652 tarea-angel-p
331719652 tarea-angel-p331719652 tarea-angel-p
331719652 tarea-angel-p
Jose David
 
GUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxGUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docx
CARLOSMARTINEZ532359
 
Semana 1. ASU. Lógica Proposicional (1).pptx
Semana 1.  ASU. Lógica Proposicional (1).pptxSemana 1.  ASU. Lógica Proposicional (1).pptx
Semana 1. ASU. Lógica Proposicional (1).pptx
DannyGuerrero18
 
Calculo predicadospartei
Calculo predicadosparteiCalculo predicadospartei
Calculo predicadospartei
PUCE SEDE IBARRA
 
Capitulo 1 1.1-1.2_pde
Capitulo 1 1.1-1.2_pdeCapitulo 1 1.1-1.2_pde
Capitulo 1 1.1-1.2_pde
Esteban Andres Diaz Mina
 
Calculo de predicados
Calculo de predicadosCalculo de predicados
Calculo de predicados
Alejandro Gonzalez
 
Calculo de predicados
Calculo de predicadosCalculo de predicados
Calculo de predicados
jose5196288
 

Similar a Lógica y conjuntos proposiciones y cuantificadores (20)

Algebra ensayo
Algebra ensayoAlgebra ensayo
Algebra ensayo
 
Algebra Ensayo
Algebra Ensayo Algebra Ensayo
Algebra Ensayo
 
Calculos de predicados
Calculos de predicadosCalculos de predicados
Calculos de predicados
 
Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1
 
itiel vilasmil
itiel vilasmilitiel vilasmil
itiel vilasmil
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
 
Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)
 
Unidad 2
Unidad 2Unidad 2
Unidad 2
 
1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx1 Lógica Proposicional.pptx
1 Lógica Proposicional.pptx
 
álgebra
álgebraálgebra
álgebra
 
Principios de los Cuantificadores en matematicas y otros areas.ppt
Principios de  los Cuantificadores en matematicas y otros areas.pptPrincipios de  los Cuantificadores en matematicas y otros areas.ppt
Principios de los Cuantificadores en matematicas y otros areas.ppt
 
Modus ponens
Modus ponensModus ponens
Modus ponens
 
Leyes algebra
Leyes algebraLeyes algebra
Leyes algebra
 
331719652 tarea-angel-p
331719652 tarea-angel-p331719652 tarea-angel-p
331719652 tarea-angel-p
 
GUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docxGUIADETRABAJO1PSTOMATE120211105.docx
GUIADETRABAJO1PSTOMATE120211105.docx
 
Semana 1. ASU. Lógica Proposicional (1).pptx
Semana 1.  ASU. Lógica Proposicional (1).pptxSemana 1.  ASU. Lógica Proposicional (1).pptx
Semana 1. ASU. Lógica Proposicional (1).pptx
 
Calculo predicadospartei
Calculo predicadosparteiCalculo predicadospartei
Calculo predicadospartei
 
Capitulo 1 1.1-1.2_pde
Capitulo 1 1.1-1.2_pdeCapitulo 1 1.1-1.2_pde
Capitulo 1 1.1-1.2_pde
 
Calculo de predicados
Calculo de predicadosCalculo de predicados
Calculo de predicados
 
Calculo de predicados
Calculo de predicadosCalculo de predicados
Calculo de predicados
 

Más de jazzme

Modem de datos
Modem de datosModem de datos
Modem de datos
jazzme
 
Estudio de los lenguajes de programación desde el punto de vista de su Nivel
Estudio de los lenguajes de programación desde el punto de vista de su Nivel Estudio de los lenguajes de programación desde el punto de vista de su Nivel
Estudio de los lenguajes de programación desde el punto de vista de su Nivel
jazzme
 
Paradigmas de Bases de Datos
Paradigmas de Bases de DatosParadigmas de Bases de Datos
Paradigmas de Bases de Datos
jazzme
 
Historia del internet
Historia del internetHistoria del internet
Historia del internet
jazzme
 
Primer curso de ecuaciones de primer grado con una incognita
Primer curso de ecuaciones de primer grado con una incognita Primer curso de ecuaciones de primer grado con una incognita
Primer curso de ecuaciones de primer grado con una incognita
jazzme
 
Estructura de archivos
Estructura de archivosEstructura de archivos
Estructura de archivos
jazzme
 

Más de jazzme (6)

Modem de datos
Modem de datosModem de datos
Modem de datos
 
Estudio de los lenguajes de programación desde el punto de vista de su Nivel
Estudio de los lenguajes de programación desde el punto de vista de su Nivel Estudio de los lenguajes de programación desde el punto de vista de su Nivel
Estudio de los lenguajes de programación desde el punto de vista de su Nivel
 
Paradigmas de Bases de Datos
Paradigmas de Bases de DatosParadigmas de Bases de Datos
Paradigmas de Bases de Datos
 
Historia del internet
Historia del internetHistoria del internet
Historia del internet
 
Primer curso de ecuaciones de primer grado con una incognita
Primer curso de ecuaciones de primer grado con una incognita Primer curso de ecuaciones de primer grado con una incognita
Primer curso de ecuaciones de primer grado con una incognita
 
Estructura de archivos
Estructura de archivosEstructura de archivos
Estructura de archivos
 

Último

La necesidad de bienestar y el uso de la naturaleza.pdf
La necesidad de bienestar y el uso de la naturaleza.pdfLa necesidad de bienestar y el uso de la naturaleza.pdf
La necesidad de bienestar y el uso de la naturaleza.pdf
JonathanCovena1
 
Evaluacion-Formativa-Nueva Escuela Mexicana NEM-ok.pdf
Evaluacion-Formativa-Nueva Escuela Mexicana NEM-ok.pdfEvaluacion-Formativa-Nueva Escuela Mexicana NEM-ok.pdf
Evaluacion-Formativa-Nueva Escuela Mexicana NEM-ok.pdf
EfranMartnez8
 
La filosofía presocrática y los filosofos más relvantes del periodo.
La filosofía presocrática y los filosofos más relvantes del periodo.La filosofía presocrática y los filosofos más relvantes del periodo.
La filosofía presocrática y los filosofos más relvantes del periodo.
DobbieElfo
 
DESARROLLO DE LAS RELACIONES CON LOS STAKEHOLDERS.pdf
DESARROLLO DE LAS RELACIONES CON LOS STAKEHOLDERS.pdfDESARROLLO DE LAS RELACIONES CON LOS STAKEHOLDERS.pdf
DESARROLLO DE LAS RELACIONES CON LOS STAKEHOLDERS.pdf
JonathanCovena1
 
Presentación de la historia de PowerPoint y sus características más relevantes.
Presentación de la historia de PowerPoint y sus características más relevantes.Presentación de la historia de PowerPoint y sus características más relevantes.
Presentación de la historia de PowerPoint y sus características más relevantes.
genesiscabezas469
 
Desarrollo-Embrionario-y-Diferenciacion-Celular.pptx
Desarrollo-Embrionario-y-Diferenciacion-Celular.pptxDesarrollo-Embrionario-y-Diferenciacion-Celular.pptx
Desarrollo-Embrionario-y-Diferenciacion-Celular.pptx
TatianaHerrera46
 
2024 planificacion microcurricular 7mo A matutino..docx
2024 planificacion microcurricular 7mo A matutino..docx2024 planificacion microcurricular 7mo A matutino..docx
2024 planificacion microcurricular 7mo A matutino..docx
WILLIAMPATRICIOSANTA2
 
Prueba/test conoce tus heridas de la infancia
Prueba/test conoce tus heridas de la infanciaPrueba/test conoce tus heridas de la infancia
Prueba/test conoce tus heridas de la infancia
LudmilaOrtega3
 
MATERIAL ESCOLAR 2024-2025 3 AÑOS CEIP SAN CRISTÓBAL
MATERIAL ESCOLAR 2024-2025 3 AÑOS CEIP SAN CRISTÓBALMATERIAL ESCOLAR 2024-2025 3 AÑOS CEIP SAN CRISTÓBAL
MATERIAL ESCOLAR 2024-2025 3 AÑOS CEIP SAN CRISTÓBAL
Ana Fernandez
 
Business Plan -rAIces - Agro Business Tech
Business Plan -rAIces - Agro Business TechBusiness Plan -rAIces - Agro Business Tech
Business Plan -rAIces - Agro Business Tech
johnyamg20
 
Los Dominios y Reinos de los Seres Vivos
Los Dominios y Reinos de los Seres VivosLos Dominios y Reinos de los Seres Vivos
Los Dominios y Reinos de los Seres Vivos
karlafreire0608
 
MATERIAL ESCOLAR 2024-2025. 4 AÑOS CEIP SAN CRISTOBAL
MATERIAL ESCOLAR 2024-2025. 4 AÑOS CEIP SAN CRISTOBALMATERIAL ESCOLAR 2024-2025. 4 AÑOS CEIP SAN CRISTOBAL
MATERIAL ESCOLAR 2024-2025. 4 AÑOS CEIP SAN CRISTOBAL
Ana Fernandez
 
proyectoszona21para el logro de real.pptx
proyectoszona21para el logro de real.pptxproyectoszona21para el logro de real.pptx
proyectoszona21para el logro de real.pptx
ChristianGmez48
 
Gracias papá hombre_letra y acordes de guitarra.pdf
Gracias papá hombre_letra y acordes de guitarra.pdfGracias papá hombre_letra y acordes de guitarra.pdf
Gracias papá hombre_letra y acordes de guitarra.pdf
Ani Ann
 
Papel histórico de los niños, jóvenes y adultos mayores en la historia nacional
Papel histórico de los niños, jóvenes y adultos mayores en la historia nacionalPapel histórico de los niños, jóvenes y adultos mayores en la historia nacional
Papel histórico de los niños, jóvenes y adultos mayores en la historia nacional
BrunoDiaz343346
 
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdfFEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
Jose Luis Jimenez Rodriguez
 
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdf
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdfMundo ABC Examen 1 Grado- Tercer Trimestre.pdf
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdf
ViriEsteva
 
Power Point: El conflicto inminente (Bosquejo)
Power Point: El conflicto inminente (Bosquejo)Power Point: El conflicto inminente (Bosquejo)
Power Point: El conflicto inminente (Bosquejo)
https://gramadal.wordpress.com/
 
1.- manual-para-la-creacion-33-dias-de-manifestacion-ulises-sampe.pdf
1.- manual-para-la-creacion-33-dias-de-manifestacion-ulises-sampe.pdf1.- manual-para-la-creacion-33-dias-de-manifestacion-ulises-sampe.pdf
1.- manual-para-la-creacion-33-dias-de-manifestacion-ulises-sampe.pdf
MiNeyi1
 
Estás conmigo Jesús amigo_letra y acordes de guitarra.pdf
Estás conmigo Jesús amigo_letra y acordes de guitarra.pdfEstás conmigo Jesús amigo_letra y acordes de guitarra.pdf
Estás conmigo Jesús amigo_letra y acordes de guitarra.pdf
Ani Ann
 

Último (20)

La necesidad de bienestar y el uso de la naturaleza.pdf
La necesidad de bienestar y el uso de la naturaleza.pdfLa necesidad de bienestar y el uso de la naturaleza.pdf
La necesidad de bienestar y el uso de la naturaleza.pdf
 
Evaluacion-Formativa-Nueva Escuela Mexicana NEM-ok.pdf
Evaluacion-Formativa-Nueva Escuela Mexicana NEM-ok.pdfEvaluacion-Formativa-Nueva Escuela Mexicana NEM-ok.pdf
Evaluacion-Formativa-Nueva Escuela Mexicana NEM-ok.pdf
 
La filosofía presocrática y los filosofos más relvantes del periodo.
La filosofía presocrática y los filosofos más relvantes del periodo.La filosofía presocrática y los filosofos más relvantes del periodo.
La filosofía presocrática y los filosofos más relvantes del periodo.
 
DESARROLLO DE LAS RELACIONES CON LOS STAKEHOLDERS.pdf
DESARROLLO DE LAS RELACIONES CON LOS STAKEHOLDERS.pdfDESARROLLO DE LAS RELACIONES CON LOS STAKEHOLDERS.pdf
DESARROLLO DE LAS RELACIONES CON LOS STAKEHOLDERS.pdf
 
Presentación de la historia de PowerPoint y sus características más relevantes.
Presentación de la historia de PowerPoint y sus características más relevantes.Presentación de la historia de PowerPoint y sus características más relevantes.
Presentación de la historia de PowerPoint y sus características más relevantes.
 
Desarrollo-Embrionario-y-Diferenciacion-Celular.pptx
Desarrollo-Embrionario-y-Diferenciacion-Celular.pptxDesarrollo-Embrionario-y-Diferenciacion-Celular.pptx
Desarrollo-Embrionario-y-Diferenciacion-Celular.pptx
 
2024 planificacion microcurricular 7mo A matutino..docx
2024 planificacion microcurricular 7mo A matutino..docx2024 planificacion microcurricular 7mo A matutino..docx
2024 planificacion microcurricular 7mo A matutino..docx
 
Prueba/test conoce tus heridas de la infancia
Prueba/test conoce tus heridas de la infanciaPrueba/test conoce tus heridas de la infancia
Prueba/test conoce tus heridas de la infancia
 
MATERIAL ESCOLAR 2024-2025 3 AÑOS CEIP SAN CRISTÓBAL
MATERIAL ESCOLAR 2024-2025 3 AÑOS CEIP SAN CRISTÓBALMATERIAL ESCOLAR 2024-2025 3 AÑOS CEIP SAN CRISTÓBAL
MATERIAL ESCOLAR 2024-2025 3 AÑOS CEIP SAN CRISTÓBAL
 
Business Plan -rAIces - Agro Business Tech
Business Plan -rAIces - Agro Business TechBusiness Plan -rAIces - Agro Business Tech
Business Plan -rAIces - Agro Business Tech
 
Los Dominios y Reinos de los Seres Vivos
Los Dominios y Reinos de los Seres VivosLos Dominios y Reinos de los Seres Vivos
Los Dominios y Reinos de los Seres Vivos
 
MATERIAL ESCOLAR 2024-2025. 4 AÑOS CEIP SAN CRISTOBAL
MATERIAL ESCOLAR 2024-2025. 4 AÑOS CEIP SAN CRISTOBALMATERIAL ESCOLAR 2024-2025. 4 AÑOS CEIP SAN CRISTOBAL
MATERIAL ESCOLAR 2024-2025. 4 AÑOS CEIP SAN CRISTOBAL
 
proyectoszona21para el logro de real.pptx
proyectoszona21para el logro de real.pptxproyectoszona21para el logro de real.pptx
proyectoszona21para el logro de real.pptx
 
Gracias papá hombre_letra y acordes de guitarra.pdf
Gracias papá hombre_letra y acordes de guitarra.pdfGracias papá hombre_letra y acordes de guitarra.pdf
Gracias papá hombre_letra y acordes de guitarra.pdf
 
Papel histórico de los niños, jóvenes y adultos mayores en la historia nacional
Papel histórico de los niños, jóvenes y adultos mayores en la historia nacionalPapel histórico de los niños, jóvenes y adultos mayores en la historia nacional
Papel histórico de los niños, jóvenes y adultos mayores en la historia nacional
 
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdfFEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
 
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdf
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdfMundo ABC Examen 1 Grado- Tercer Trimestre.pdf
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdf
 
Power Point: El conflicto inminente (Bosquejo)
Power Point: El conflicto inminente (Bosquejo)Power Point: El conflicto inminente (Bosquejo)
Power Point: El conflicto inminente (Bosquejo)
 
1.- manual-para-la-creacion-33-dias-de-manifestacion-ulises-sampe.pdf
1.- manual-para-la-creacion-33-dias-de-manifestacion-ulises-sampe.pdf1.- manual-para-la-creacion-33-dias-de-manifestacion-ulises-sampe.pdf
1.- manual-para-la-creacion-33-dias-de-manifestacion-ulises-sampe.pdf
 
Estás conmigo Jesús amigo_letra y acordes de guitarra.pdf
Estás conmigo Jesús amigo_letra y acordes de guitarra.pdfEstás conmigo Jesús amigo_letra y acordes de guitarra.pdf
Estás conmigo Jesús amigo_letra y acordes de guitarra.pdf
 

Lógica y conjuntos proposiciones y cuantificadores

  • 1. CENTRO UNIVERSITARIO DE LA COSTA NORTE LÓGICA Y CONJUNTOS UNIDAD 4. PROPOSICIONES Y CUANTIFICADORES ING. EN COMPUTACIÓN Jazmín Aguirre Suárez Puerto Vallarta, Jalisco, 01 de Diciembre del 2012
  • 2. ING. JAZMÍNAGUIRRESUÁREZ Página 2 C O N T E N I D O UNIDAD 4. PROPOSICIONES Y CUANTIFICADORES TEMA PAGINA 4.1 Proposiciones singulares, particulares, universales 3 4.2 Traducción del lenguaje natural al simbólico utilizando cuantificadores 5 4.3 Reglas de cuantificación y demostración de validez (Prueba formal de validez y prueba condicional reforzada). 9 4.4 Prueba de invalidez. 11 4.5 Proposiciones múltiplemente generales. 12 4.6 Negación de cuantificadores. 15 4.7 Cuadro tradicional de oposición: contradictorias, contrarias y subcontrarias, alternas y subalternas. 16 4.8 Forma, figura del silogismo y demostración de validez e invalidez del mismo mediante diagramas de Venn-Euler. 18 4.9 Identidad y relaciones. 20 4.10 Cuantificadores múltiples. 22
  • 3. ING. JAZMÍNAGUIRRESUÁREZ Página 3 4.1. PROPOSICIONES SINGULARES, PARTICULARES Y UNIVERSALES. Preposiciones Singulares Expresan un hecho concreto que ocurre en un momento determinado del tiempo. Sólo son verdaderas aquí y ahora: “La pizarra de la clase es verde”, “El presidente del gobierno del estado español es José Luis Rodríguez Zapatero”, “Todos los alumnos de 1º A son inteligentes” (Aunque parece universal equivale a un número finito de proposiciones singulares: el 1º de la lista de 1º A es inteligente, el 2º de la lista de 1º A es inteligente….”) Es decir si el sujeto es un sólo individuo, se habla de una proposición singular por ejemplo: “Juan corre”. En las proposiciones singulares el sujeto no es un concepto, sino un nombre propio. En el simbolismo lógico, estos individuos se expresan con las letras minúsculas a, b, c… Por ejemplo: “la torre Eiffel mide 325 metros”; “la torre Eiffel”(a) es el individuo, y “mide 325 metros” es predicado (F); Los predicados se expresan con las letras mayúsculas F, G, H… Entonces podemos simbolizar la proposición singular anterior: (Fa). Preposiciones particulares Expresan que una propiedad determinada es poseída por un número indefinido de una clase dada: “Algunas personas se enfadan si se les dice que no”, “cuando hay cirros, casi nunca llueve”. En las proposiciones particulares el sujeto es un concepto cuantificado. Como no está definido como individuo concreto, sino como concepto abstracto. En el simbolismo se usan las letras para lo desconocido, o sea las letras x, y, z…En estricto sentido lógico la proposición singulares un sub caso de las proposiciones particulares, porque ‘algunos’ también significa ‘por lo menos uno’.
  • 4. ING. JAZMÍNAGUIRRESUÁREZ Página 4 Ejemplo: “algunos hombres son varones”; aquí “hombres” no es un individuo, sino un concepto universal cuantificado (“algunos”). Preposiciones Universales Si el sujeto incluye todos los entes de una cierta clase, hablamos de una proposición universal. Aquí el sujeto también es un concepto cuantificado, pero con el cuantificador universal (‘todos’).Ejemplo: ‘el hombre es mortal’; esta misma pro-posición puede expresarse de diferentes maneras:‘ todos los hombres son mortales’; ‘ningún hombrees inmortal’. Una vez más, no hay que engañarse por la forma lingüística EN CONCLUSIÓN Preposición Modalidad Singular Uno Real Particular Algunos Posible Universal Todos Necesaria
  • 5. ING. JAZMÍNAGUIRRESUÁREZ Página 5 4.2 TRADUCCIÓN DEL LENGUAJE NATURAL AL SIMBOLICO UTILIZANDO CUANTIFICADORES DEFINICIÓN DE CUANTIFICADORES Los cuantificadores son símbolos utilizados para indicar cuántos elementos de un conjunto cumplen con cierta propiedad. Cuando utilizamos funciones proposicionales podemos incorporar dos nuevos símbolos denominados cuantificadores. Hay dos formas de cuantificar una función proposicional: Cuantificador Existencial Denota que existe “al menos” un elemento x del Universo, para el cual p(x) es verdadera. Notación x p(x) ó x y p(x, y) x, y p(x, y) En lenguaje natural decimos... Formas de expresarlo: “Hay un x” “Para algún x” “Para al menos un x” “Existe un x tal que” La proposición es Verdadera, si existe al menos un elemento x del universo tal que p(x) sea verdadera. De lo contrario es falsa. Si p(x) es una función proposicional en U, entonces la expresión: x; p(x) Se lee “existe x tal que p(x)” y significa que hay al menos un elemento “a” que pertenece al universo, de modo que p(a) es verdadera. Observación Dentro de este cuantificador nos encontramos con el cuantificador ! que se lee existe un único y que es verdadero si y solo si la proposición es solamente verdadera en una ocasión.
  • 6. ING. JAZMÍNAGUIRRESUÁREZ Página 6 Ejemplos: 1. Determine el valor de verdad de las siguientes proposiciones, considerando que U = {1,2,3,4,5,6,7} a) Valor de x Operación Conclusión X=1 12 -1=13 Falso X=2 22 -2=13 Falso X=3 32 -3=13 Falso X=4 42 -4=13 Falso X=5 52 -5=13 Falso X=6 62 -6=13 Falso X=7 72 -7=13 Falso La proposición es falsa, ya que para todos los elementos de U la proposición es falsa b) Valor de x Operación Conclusión X=1 12 -1>20 Falso X=2 22 -2>20 Falso X=3 32 -3>20 Falso X=4 42 -4>20 Falso X=5 52 -5>20 Falso X=6 62 -6>20 Verdadero X=7 72 -7>20 Verdadero La proposición es verdadera, ya que existen dos elemento de U que satisface la proposición. Ejemplos:  q(x)=x/x estudia en la universidad de Guadalajara  r(x)=x/x es mujer Existen estudiantes de la universidad de Guadalajara que son mujeres x:q(x)r(x)  q(x)=x/x estudia en la universidad de Guadalajara  r(x)=x/x estudia lógica
  • 7. ING. JAZMÍNAGUIRRESUÁREZ Página 7 Existen estudiantes de la universidad que estudian lógica x:q(x)r(x)  q(x)=x/x estudia lógica  r(x)=x/x gana el curso de lógica Existen estudiantes que si estudian lógica, ganan el curso. x:q(x)r(x) Cuantificador Universal Indica que una proposición es Verdadera para todos los valores de una variable en un “universo” en particular. p(x) es verdadera, para todos los valores de x en el dominio. Notación En lenguaje natural decimos... Formas de expresarlo: “Para todo x” “Para cada x” “Para cualquier x” “Para todo x y y” “Para todo x,y” La proposición es Verdadera, si para cada reemplazo de x, p(x) es verdadera. Es falsa, si existe al menos un x para el cual p(x) es falsa. Si p(x) es una función proposicional en U, entonces la expresión: Se lee “para todo x, p(x)” y significa que todos los elementos x de U hacen que p(x) sea verdadera.
  • 8. ING. JAZMÍNAGUIRRESUÁREZ Página 8 Ejemplos 2. Determine el valor de verdad de las siguientes proposiciones, considerando que a) Valor de x Operación Conclusión X=1 12 <34 Verdadero X=2 22 -<34 Verdadero X=3 32 <34 Verdadero X=4 42 <34 Verdadero X=5 52 <34 Verdadero X=6 62 <34 Falso La proposición es falsa, ya que no todos los elementos de U satisfacen la proposición. b) Valor de x Operación Conclusión X=1 (5)(1)-1>2 Verdadero X=2 (5)(2)-1>2 Verdadero X=3 (5)(3)-1>2 Verdadero X=4 (5)(4)-1>2 Verdadero X=5 (5)(5)-1>2 Verdadero X=6 (5)(6)-1>2 Verdadero La proposición es verdadera, ya que todos los elementos de U satisfacen p(x). Ejemplos:  P(x)=x/x pertenece a la universidad de Guadalajara  x:p(x)=“Para todo x, x es estudiante de la universidad de Guadalajara  P(x):x/x profesor de la universidad  x:p(x)=“Para todo x, x es profesor de la universidad de Guadalajara  p(x)=x/x es estudiante de la universidad de Guadalajara  q(x):x/x es mayor de 30 años Todos los estudiantes de la universidad mayores de 30  x:p(x)q(x)=“Para todo x, x es estudiante y es mayor de 30 años
  • 9. ING. JAZMÍNAGUIRRESUÁREZ Página 9 4.3 REGLAS DE CUANTIFICACIÓN Y DEMOSTRACIÓN DE VALIDEZ (PRUEBA FORMAL DE VALIDEZ Y PRUEBA CONDICIONAL REFORZADA) Cuantificación Universal (con restricciones) IU EU Cuantificación Existencial IE (con restricciones) EE Reglas de Inferencia Las reglas de inferencia son las fórmulas y métodos sintácticos que permiten obtener conclusiones correctas (desde el punto de vista lógico, sin tener en cuenta la semántica) a partir de otras denominadas premisas o hipótesis. Existen cinco reglas clásicas fundamentales: Regla uno: “Si p es condición suficiente para q y p es verdadera, entonces, q también lo es”. Esta regla se denomina también “modus ponendo ponens”, del latín ponerse=afirmar. En formulas se suele escribir así: , aunque hay otras formas alternativas. En matemáticas describe lo que se conoce como “demostración directa”. Por ejemplo, sean El queso de cabra es bueno Deducimos que es cierto que “mi queso es bueno”
  • 10. ING. JAZMÍNAGUIRRESUÁREZ Página 10 Otro ejemplo: éste más familiar sean x es derivable : entonces deducimos que es cierto que “ es continua. Regla dos: “Si p es condición suficiente para que q y q no es verdadera, entonces q p tampoco lo es”. Esta regla se denomina también “modus tollendo tollens” del latín Tollere=negar. En formulas: en Matemáticas describe lo que se conoce como “demostración indirecta por contrarecíproco”. Regla tres: “Si p condición suficiente para q, y q es condición sufiente para r, entonces p es condición suficiente para r”. Esta regla es el “silogismo hipotético”. Del griego syn(juntar)+lógos (razonamiento). Su fórmula: El ejemplo clásico es “todos los hombres son mortales, “Sócrates es hombre”, luego “Sócrates es mortal”. Regla cuatro: “Si uno de los dos, p ó q, es cierto y p es falso, entonces q es cierto” esta regla es un “silogismo disyuntivo”. En fórmulas: Regla cinco: “Si ~p es condición suficiente para que se dé una contradicción, entonces p es cierto”. En fórmulas: En matemáticas se conoce como “demostración por contradicción”
  • 11. ING. JAZMÍNAGUIRRESUÁREZ Página 11 4.4 PRUEBA DE INVALIDEZ Se trata de una demostración indirecta por reducción al absurdo. Si la conclusión tiene valor 0, es falsa, y las premisas pueden tener valor 1, el razonamiento es inválido. Modus operandi: Se da valor 0 a la conclusión y se intenta que todas las premisas adquieran valor de verdad - operando como hacíamos en las tablas veritativas. Si las premisas son verdaderas y la conclusión falsa, el razonamiento es inválido. Por ejemplo: 1 2 3 Operamos así: 1 2 3 1/0 1 1 1 1 0 1 1 0 0 El razonamiento es inválido, ya que hemos podido dar valor 1 a las premisas, siendo falsa la conclusión. Consideremos ahora el siguiente razonamiento: 1 2 0 11 1 0 1 0 0 Como la segunda premisa no puede tener valor 1, no se puede probar la invalidez del razonamiento. Sin embargo, para probar la validez de un razonamiento, es necesario además realizar la prueba formal de validez.
  • 12. ING. JAZMÍNAGUIRRESUÁREZ Página 12 4.5 PROPOSICIONES MÚLTIPLEMENTE GENERALES Consiste en proposiciones con varios cuantificadores. Por ejemplo: "Si todos los perros son carnívoros, entonces algunos animales son carnívoros." "Si todos los P son C, entonces algunos A son C." P(x) [Px  Cx]  (x) [Ax . Cx] Distinguiremos: - función (no posee ninguna constante) —f(x,y, etc.). - proposición - función proposicional (posee por lo menos una variable independiente) —f(x,a, etc.). Supongamos ahora la proposición Fa . Gb  proposición que puede ser ejemplificada por las siguientes tres funciones proposicionales Fx . Gb  función proposicional Fa . Gx  función proposicional Fx . Gy  función proposicional Si el perro del ejemplo tiene por nombre Lassie resulta P(x) [Px  Cx]  Cl proposición que a su vez es ejemplo de P(x) [Px  Cx]  Cx  función proposicional y donde se observa que hay dos tipos de «x» - las ligadas al cuantificador «(x)» y su extensión «[...]» - en este caso sólo es una: las «x» del primer miembro - las libres del cuantificador «(x)» y su extensión «[...]» - en este caso sólo es una: la «x» del segundo miembro
  • 13. ING. JAZMÍNAGUIRRESUÁREZ Página 13 Recomendaciones Las proposiciones no tienen variables ligadas o libres «x», sino que son sólo V o F. Los conectivos «  » tienen mayor alcance que los cuantificadores «(x)». Dada una función proposicional cualquiera, por ejemplo: Px  Cx Si se diera que se trabajo con la sustitución proposicional Pa  Ca  bien No es correcto luego trabajar con una segunda sustitución que reemplace la constante Pa  Cb  mal Pero sí se puede hacer Fx  Gy Fa  Gb  bien En suma: al reemplazar variables por constantes, la misma variable debe ser reemplazada siempre por la misma constante. es posible reemplazar distintas variables por la misma constante. Si ahora tenemos por ejemplo las siguientes dos funciones: P(x) Fx P(x) Fy Podemos distinguirlas como iguales con la única diferencia el aspecto notacional. Pero no es lo mismo con estas dos: P(x) [Fx . Gy] P(y) [Fx . Gy] Porque a la v segunda; y viceversa. También se puede hacer el siguiente reemplazo para trabajar con claridad y utilidad: P(x) [Px  Cx]  (x) [Ax . Cx] P(x) [Px  Cx]  (y) [Ay . Cy]
  • 14. ING. JAZMÍNAGUIRRESUÁREZ Página 14 Ejemplos: 1) "Si algo está mal en la casa, entonces todos en la casa se quejan." "Si algo está M en la casa, entonces [todas las Personas] en la casa se Q." (x) [Mx]  (y) [Py  Qy] 2) "Si algo anda mal, debe ser rectificado." "Si algo anda M, debe ser R." (x) [Mx]  Rx  mal (x) [Mx  Rx  mal (x) [Mx  Rx]  bien (el vocablo «algo» denota universalidad) 3) "Si algo se pierde, entonces si nadie llama a la policía, habrá un descontento." "Si algo se M, entonces si [ninguna Persona] llama a la C, habrá un D." (x) [Mx]  { (y) [Py  -Cy]  (z) [Pz . Dz] } 4) "Si algo se perdió, y entonces nadie llama a la policía, no será recobrado." "Si algo se M, y entonces [ninguna Persona] llama a la C, no será R." (x) [Mx]  { (y) [Py  -Cy]  -Rx } mal (la variable libre «x» no es alcanzada por el cuantificador «(x)») (x) { [Mx]  { (y) [Py  -Cy]  -Rx } }  bien 5) "Si algo se descompone, alguien será culpado." "Si algo se D, [alguna Persona] será C." P(x) [Dx]  (y) [Py  Cy] bien P(x) [Dx]  (x) [Px  Cx] bien 6) "Si algo se pierde, alguien llamará a la policía." "Si algo se M, [alguna Persona] llamará a la C." P(x) [Mx]  (y) [Py . Cy] 7) "Si algo se pierde, entonces lo tomó la mucama." "Si algo se M, entonces lo T la mucama." P(x) [Mx  Tx] 8) "Si todos los diamantes son grandes, entonces algunos diamantes son caros." "Si todos los D son G, entonces algunos D son $." P(x) [Dx  Gx]  (y) [Dy . $y]
  • 15. ING. JAZMÍNAGUIRRESUÁREZ Página 15 4.6 NEGACIÓN DE CUANTIFICADORES La negación de la proposición en la cual se ha utilizado el cuantificador universal, corresponde a una proposición en la cual se utiliza el cuantificador existencial; a su vez, la negación de una proposición en la cual se ha usado el cuantificador existencial, corresponde a una proposición en la cual se utiliza el cuantificador universal. EJEMPLOS Negar las siguientes proposiciones cuantificadas. Luego, simbolizar la proposición y la negación. a. Todos los números naturales son impares Negación: Existe por lo menos un números natural que no es impar simbólicamente. b. Existe un número par que no es múltiplo de 4. Negación: Todos los números pares son múltiplos de 4 simbólicamente. Sea p(x) una función proposicional con extensión A, entonces ¬( x A) p(x)≡( x A) ¬p(x) ¬ ( x A) p(x) ≡ ( x A) ¬p(x) Ejemplos 1) Sea A = {1, 2, 3, 4, 5} Determine el valor de verdad de cada uno de los enunciados siguiente a) ( x A) (x+3 =10) Solución: Es falso porque ningún número de A es una solución de x + 3 = 10 b) b) ( x A)(x+3<10) Solución: Es Verdadero. Cualquier número de A cumple que x + 3<10
  • 16. ING. JAZMÍNAGUIRRESUÁREZ Página 16 4.7 CUADRO TRADICIONAL DE OPOSICIÓN: CONTRADICTORIAS, CONTRARIAS Y SUBCONTRARIAS, ALTERNAS Y SUBALTERNAS CUADRO DE LA OPOSICIÓN: Se llama cuadro de oposición de los juicios al esquema mediante el que se estudian las relaciones formales entre los diversos tipos de juicios aristotélicos, A, E, I, O, considerando cada juicio con términos idénticos. En su día fue considerado por el mismo Aristóteles. A = UNIVERSAL AFIRMATIVO. Término Sujeto tomado en su extensión universal; término Predicado particular; cualidad afirmativa. Todo S es P. E = UNIVERSAL NEGATIVO. Término Sujeto tomado en su extensión universal; término Predicado universal; cualidad negativa. Ningún S es P. I = PARTICULAR AFIRMATIVO. Término Sujeto tomado en su extensión particular; término Predicado en su extensión particular; cualidad afirmativa. Algún S es P. O = PARTICULAR NEGATIVO. Término Sujeto tomado en su extensión particular; término Predicado en su extensión universal; cualidad negativa. Algún S no es P. Se llaman juicios opuestos a los que teniendo los mismos términos difieren en cantidad, en cualidad o en ambas. Se representan en cada uno de los vértices del cuadrado de oposición, estableciéndose las siguientes relaciones: A y E son contrarios porque difieren en cualidad siendo universales. I y O son subcontrarios, porque siendo particulares difieren en la cualidad. CONTRARIOS S U B A L T E R N O S SUBCONTRARIOS S U B A L T E R N O S CONTRADICTORIOS UNIVERSALES A F I R M A T I V O S N E G A T I V O S PARTICULARES
  • 17. ING. JAZMÍNAGUIRRESUÁREZ Página 17 A con respecto a O, e I con respecto a E son contradictorios, porque difieren en cantidad y cualidad. A con respecto a I, y E con respecto a O son subalternos porque difieren en la cantidad. Las relaciones con respecto al valor de verdad en relación de unos y otros se muestran en los siguientes cuadros: OPOSICIÓN JUICIOS RELACIONADOS RELACIÓN VERITATIVA Contradictorios A - O E - I Si uno es verdadero el otro es falso y viceversa. Ni ambos verdaderos, ni ambos falsos. Contrarios A - E No pueden ser ambos verdaderos Pero pueden ser los dos falsos Subcontrarios I - O Pueden ser ambos verdaderos Pero no pueden ser los dos falsos Subalternos A - I E - O Si el universal (A, E) es verdadero, entonces el particular (I, O) es verdadero Pero si el particular (I, O) es verdadero entonces el universal (A, E) no es necesariamente verdadero
  • 18. ING. JAZMÍNAGUIRRESUÁREZ Página 18 4.8 FORMA, FIGURA DEL SILOGISMO Y DEMOSTRACIÓN DE VALIDEZ E INVALIDEZ DEL MISMO MEDIANTE DIAGRAMA DE VENN-EULER Se sabe que el silogismo categórico estructuralmente está compuesto por 3 proposiciones categóricas que contienen a su vez dentro de ellas 3 términos. Además, estas 3 proposiciones categóricas se pueden representar mediante la fórmula booleanas en diagramas. Por este motivo es posible analizar el silogismo como la resultante de un intersección de 3 clases, cada una de las cuales representa respectivamente al término medio (T. medio), al término mayor o predicado de la conclusión (TM) y al término menor o sujeto de la conclusión (tm). De la relación de estas 3 clases resulta el siguiente diagrama en el que se distinguen 8 áreas. DIAGRAMA DE VENN DE 3 CLASES ZONA CARACTERÍSTICA 1 2 3 4 5 6 7 8 8 M 7 5 6 42 P S 1 3 U S P M U
  • 19. ING. JAZMÍNAGUIRRESUÁREZ Página 19 PASOS 1er. Paso: determinar las premisas y la conclusión. Hallar los 3 términos. 2do. Paso: determinar la fórmula booleana de cada proposición categórica. 3er. Paso: dibujar las 3 clases (términos mayor, menor y medio) así por convención. 4to. Paso: Diagramar solo las premisas. El silogismo será válido si aparece, se comprueba o verifica la conclusión. Determine la validez del siguiente silogismo: Todo argentino es sudamericano, además, algún lógico es argentino. Por lo tanto, algún lógico es sudamericano. PRIMER PASO: PM: Todo A es S, Pm: Algún L es A C: Algún L es S SEGUNDO PASO: PM: AS= , Pm: LA , C: LS. TERCER PASO: CUARTO PASO: Vemos que la conclusión C, que señala que existen elementos comunes a L y S, efectivamente queda diagramada cuando dibujamos las premisas. El silogismo es válido
  • 20. ING. JAZMÍNAGUIRRESUÁREZ Página 20 4.9 IDENTIDAD Y RELACIONES En español se usa con frecuencia alguna forma del verbo "ser" entre dos términos, para indicar que nombran o se refieren a una misma cosa. Por ejemplo: "Simón Bolívar fue el primer presidente de Colombia". Esto significa, que Simón Bolívar nombra o indica lo mismo que " primer presidente de Colombia". Así si s representa a Simón Bolívar y p al primer presidente de Colombia este enunciado se puede simbolizar como: s = p El signo = (igual) se denomina también signo de identidad. Sin embargo, el verbo "ser" se usa también en otro sentido, por ejemplo: "Simón Bolívar fue un hombre valiente". Aquí sería incorrecto decir que Simón Bolívar nombra o indica lo mismo que "hombre valiente". Debe tenerse presente que el signo de identidad se coloca entre términos que son nombre de la misma cosa. Así, dos objetos aunque tengan una apariencia tan igual que no se distingan, son sin embargo distintos, es decir no idénticos. Decir que dos objetos son iguales, significa que son el mismo objeto, no que son tan análogos que no se distinguen. Axiomas do la Lógica de la identidad. 1) (" x)(x = x). (Todo objeto es igual así mismo). 2) (" x)(" y)(x = y Û y = x) (Simetría). 3) (" x)(" y)(" z)(x = y Ù y = z Þ x = z) (Transitividad). 4) (c = d),Þ (Pc Û Pd). (Regla de la identidad). Intuitivamente, el axioma cuatro dice: Si dos objetos son iguales, entonces verifican las mismas propiedades.
  • 21. ING. JAZMÍNAGUIRRESUÁREZ Página 21 Ejemplo: Simbolizar el siguiente razonamiento, y mostrar que la inferencia es válida deduciendo la conclusión.  Eduardo podía haber visto el coche del asesino.  Ricardo fue el primer testigo de la defensa.  O Eduardo estaba en la fiesta o Ricardo dio testimonio falso.  En efecto, nadie en la fiesta pudo haber visto el coche del asesino.  Por tanto el primer testigo de la defensa dio testimonio falso. Sean: Ve: Eduardo pudo haber visto el coche del asesino. r = p: Ricardo fue el primer testigo de la defensa. Fe: Eduardo estaba en la fiesta. Tr: Ricardo dio testimonio falso. (" x)(Fx Þ Ø Vx): nadie en la fiesta pudo haber visto el coche del asesino. Entonces: 1 Ve premisa. 2 r = p premisa. 3 Fe Ú Tr premisa. 4 (" x)( Fx Þ Ø Vx) premisa. 5 Fe Þ Ø Ve E.U. en 4. 6 Ve Þ Ø Fe contrarrecíproco en 5. 7 Ø Fe RV1 en 1 y 6. 8 Tr regla de disyunción 3 y 7. 9 Tp regla de identidad en 2 y 8.
  • 22. ING. JAZMÍNAGUIRRESUÁREZ Página 22 4.10 Cuantificadores múltiples Consideremos la función proposicional de dos variables P definida en A × B (A y B son conjuntos no vacíos). Se puede transformar dicha función en una proposición cuantificándola de las siguientes formas: Observa que , no es una proposición, es la forma de una función proposicional definida en B. Ejemplos: Consideremos la función proposicional , definida en x . 1) La proposición Es falsa 2) La proposición Es verdadera 3) La proposición Es falsa 4) La proposición Es verdadera