Professional Documents
Culture Documents
Sede Jan
norte de la universidad peruana
Bolvar n 1342-plaza de armas-telf-731080
TEMA:LOGICA CUANTIFICAIONAL
INTEGRANTES
4.1
PREFACIO.
La lgica formal, al nivel de la lgica de enunciados, slo puede analizar formalmente
aquellos razonamientos en cuya validez no desempea ningn papel la estructura interna
de las proposiciones que los componen.
q(x): x es blanca
x=tiza
Si en una forma compuesta hay por lo menos una funcin proposicional como
componente, entonces toda la forma compuesta es una funcin proposicional.
Ejercicios
1) Simbolizar las siguientes expresiones e indicar si son funciones proposicionales o
proposiciones:
Fulano es muy generoso. , r(fulano)= fulano es muy generoso
x es par y 6 tambin.
s(x)=x es par
4.3 Cuantificadores
Las expresiones:
Todo hombre es mortal.
Algunos hombres son sabios.
pueden traducirse respectivamente como:
Para todo x, si x es hombre entonces x es mortal.
Existe un x, tal que x es hombre y x es sabio.
Otros giros utilizados para la expresin "para todo x" son:
Todo x
cualquiera x
cada x
que se simbolizan por
en una proposicin a
saber:
en
enunciado verdadero.
Un enunciado de la forma
donde M x es la
funcin proposicional "X es mecnico" que toma valores dentro del conjunto de referencia
formado por los hombres.
Las palabras "ningn", "ninguno", "nada", "nadie" corresponden tambin a enunciados
universales con negaciones, pero de una manera distinta a las proposiciones anteriores. La
proposicin "ninguno es mecnico" no equivale a la proposicin "no todos son mecnicos"
sino a la expresin "para todo x, x no es mecnico" que se simboliza
Las proposiciones existenciales pueden estar negadas, como por ejemplo "no es cierto que
hay fantasmas" la cual se simboliza como
donde F x simboliza la
donde M x simboliza la
(cuantificador universal).
, entonces
designa la frmula
Notas:
1. Diremos que una frmula P no est cuantificada bajo el trmino x , si en P no figura
o
.
2. En adelante, cuando una expresin figure cuantificada, se sobreentiende que se
satisfacen las condiciones requeridas.
Convenciones.
1. Sea P una frmula no cuantificada en x y no cuantificada en y . Designaremos por
y se lee y sustituye a x en P , la frmula que resulta de sustituir todas
las ocurrencias de x en la frmula P , por y.
Ejemplo:
Si
; entonces
;
2.5
2.6
2.7
3. Sean:
Determinar:
3.1
3.4
3.2
3.5
3.3
3.6
ningn significado en muchos otros contextos; por ejemplo: conjunto de los animales,
seres vivos, hombres o cosas en general. En este caso la funcin proposicional
recibe el nombre de restriccin y el enunciado se estructurara as:
.
Observaciones.
Como puede concluirse de los ejemplos anotados, la restriccin se articula en forma
diferente segn el enunciado corresponda a una expresin cuantificada existencialmente o
universalmente.
Cuando el enunciado se cuantifica existencialmente la restriccin corresponde al
conjunto referencial ms amplio, a partir del cual la proposicin es cada vez especificada
mediante una serie de conjunciones.
Cuando el enunciado se cuantifica universalmente, la restriccin se constituye en el
antecedente de un condicional, actuando en esta forma de filtro o tamiz, con relacin a las
propiedades subsiguientes que se le asignan a los objetos.
Notacin.
Dado el uso continuo que presenta la cuantificacin restringida, utilizaremos las siguientes
convenciones para designarla:
Sean C , P frmulas no cuantificadas en x .
Designaremos por:
la frmula
; esta expresin
la frmula
; esta expresin
Cuantificacin restringida:
Cuantificacin restringida:
Existe un nmero real; que sumado con cualquier nmero real, da por resultado este
ltimo.
Simbolizacin:
Cuantificacin restringida:
Ejercicios propuestos 4.4
1. Simbolizar los siguientes enunciados:
1.1 Hay cisnes negros.
1.2 Existen animales carnvoros.
1.3 Hay nmeros perfectos.
1.4 Existen ciudades de clima fro.
1.5 Todos los nevados son colombianos.
2.5 Existe un nmero natural menor o igual que cualquier nmero natural.
2.6 Para todo nmero real, existe un nmero real tal que su suma es igual a cero.
2.7 Si x , y son enteros positivos, existe un entero positivo n tal que nx > y .
2.8 Para todo nmero entero existe otro nmero entero mayor que l.
2.9 El producto de dos enteros consecutivos es un nmero par.
2.10 Todo entero de la forma 6 k +5 es tambin de la forma 3 k +2.
2.11 Existe c , c nmero real tal que para todo real x mayor que c , f(x) es real.
2.12 Dado cualquier E real, existe un real D de tal forma que para todo real mayor que D ;
su imagen bajo la funcin f , es mayor que E .
3. Expresar en el lenguaje corriente los enunciados simbolizados que se presentan a
continuacin.
Sean: A x : x es un animal H x : x es un hombre
M x : x es un mamfero V x : x es un vertebrado
3.1
3.2
3.3
3.4
3.5
3.6
3.7
3.8
4.5 Teoremas bsicos del clculo cuantificaional
Presentamos a continuacin los resultados fundamentales del clculo cuantificacional.
Aunque omitimos sus demostraciones por las razones ya expuestas, estas se pueden
desarrollar en gran parte por los lectores y esperamos que avancen en este aspecto.
Negacin de expresiones cuantificadas.
Sea P una frmula no cuantificada en x , entonces:
Negacin:
Negacin:
Negacin:
es teorema, o
es falsa.
es teorema.
es
Enunciado simblico:
es verdadera, equivale a
vemos que 0
Designando por P x :
podemos verificar que x =8 es un contraejemplo, puesto que P 8 es verdadera.
Nota.
Con este mtodo hemos completado la fundamentacin de los mtodos de demostracin,
uno de nuestros objetivos principales en este trabajo. Nos queda por analizar el mtodo de
Induccin matemtica, que corresponde a propiedades derivadas del conjunto de nmeros
enteros y en consecuencia se desarrollar como un apndice de este texto.
Distributividad en los cuantificadores.
Sean P , Q frmulas no cuantificadas en x , entonces:
Q x ).
( " x)(P x
M x ).
( $ x)(A x B x ).
Determinar la negacin para cada una de las frmulas simbolizadas en el ejercicio 4.4
numeral 2, utilizando al mximo las equivalencias establecidas. Exprese finalmente las
proposiciones negadas en trminos de cuantificadores restringidos.
Utilice contraejemplos para mostrar que los recprocos de los siguientes teoremas no son
teoremas.
Teorema 4.5.2 numeral 3.
Teorema 4.5.2 numeral 4.
Teorema 4.5.3 numeral 3.
Utilizar las equivalencias correspondientes para probar que los siguientes pares de
frmulas son equivalentes.
,
,
Hp
( $ x)(H x
Hp
Sx)
Sp por simplificacin en 2.
Nota: Cuando en una demostracin haya que aplicar la E.E y P.U como en el ejemplo
siguiente, es necesario aplicar en primer trmino E.E que es la regla que tiene restricciones
y luego la P.U puede hacerse en la misma constante sin ningn problema.
1. ( " x)(P x V x
2. ( $ x)(P x
3. P w
G x ) / \ ( $ x)(V x
G x ).
4. P w V w
5. V w
M x ).
M w P.U en 1.
M w Simplificacin en 3 y RV2.
6. V w simplificacin en 5.
7. G w simplificacin en 3.
8. G w
9. ( $ x) (G x
V w conjuncin 6 y 7.
V x ) G. E en 8.
un teorema. Si bajo el
1.
Premisa
Observaciones Generales.
Presentamos ahora un resumen de observaciones metodolgicas, que facilitan la
comprensin y aplicacin de las reglas de inferencia anteriores.
Pruebas de existencia:
El axioma 5 permite establecer un procedimiento para demostrar que una frmula
especfica de la forma
es teorema.
es teorema.
Verificar que
. Axioma 5.
. Regla de validez 2.
Ilustracin 5.
Demostrar que
es teorema.
Designamos por P x :
es verdadera.
Luego
es teorema.
Ilustracin 6.
Demostrar: Todo entero de la forma
es tambin de la forma
Enunciado simblico:
Supongamos:
esto es;
Hiptesis 1.
Simplificacin en la hiptesis
es teorema.
por tanto
como
Mtodo directo
G.U.
Ilustracin 7.
Demostrar que de las premisas
concluir
1)
Premisa
Premisa
Equivalencia en (1)
Supongamos:
Hiptesis Auxiliar 1
Simplificacin en (4)
se puede
P.U. en (2)
Las serpientes son reptiles. Los reptiles no son animales mamferos. Por lo
tanto, las serpientes no son animales mamferos.
A x ).
( $ x)(P x
A x ) / \ ( $ x)(G x
Gw
A w E.E en 1
Pw
A w E.E en 2.
G w simplificacin en 3.
P x ).
P w simplificacin en 4.
Gw
P w conjuncin en 5 y 6.
( $ x)(G x
P x ) G. E en 7.
Premisa
( $ x )( A x
R x ) Premisa
Premisa
Supongamos: A x
R x Hiptesis Auxiliar
P.U. en (1)
P.U. en (3)
Utilizar las reglas necesarias del clculo proposicional y cuantificacional, para escribir
cada uno de los pasos requeridos en las demostraciones que se proponen a continuacin.
5.7 Cualquiera que ocupe un cargo pblico no puede participar en poltica. Cada uno de los
asistentes al banquete ocupa un cargo pblico o es candidato a la presidencia.
Algunos de los asistentes al banquete no son candidatos a la presidencia.
Conclusin : Algunos de los asistentes al banquete no pueden participar en poltica.
5.8 Ningn estudiante que no dedica mucho tiempo a su labor, obtiene un ttulo bien
respaldado. Hay estudiantes que obtienen un titulo bien respaldado.
Todo estudiante que dedica mucho tiempo a su labor amerita la institucin que lo certifica.
Conclusin : Hay estudiantes que ameritan la institucin que los certifica.
5.9 Quien quiera que compuso la Obertura 1.812, muri en plena madurez.
Scarlatti escribi para el clavicordio.
Nadie a la vez fue buen msico y muri en plena madurez.
Todos los que escribieron para el clavicordio fueron buenos msicos
Conclusin : Scarlatti no compuso la obertura 1.812.
Demostrar: Para todo entero a , 2| a ( a +1).
4.7 Existencia nica
Sea P x una frmula no cuantificada en x .
designa la frmula
Ilustracin 8.
Demostrar que existe un entero nico que satisface la ecuacin:
Enunciado simblico:
designemos por:
Probemos existencia:
En particular
es verdadero.
luego:
es verdadero.
Probemos unicidad.
Supongamos que:
esto es:
Simplificacin
Transitividad en la igualdad
Ley cancelativa en la suma
Ley cancelativa en el producto.
Mtodo directo
G.U
G.U
Demostrar que:
. Se designar por A.
Universal negativa:
. Se designar por E.
Particular afirmativa:
. Se designar por I.
Particular negativa:
. Se designar por O.
Ilustracin 9.
Tomemos las siguientes proposiciones para ilustrar las formas categricas vistas:
A. Todos los estudiantes presentaron el examen de lgica.
E. Todos los estudiantes no presentaron el examen de lgica.
I. Algn estudiante present el examen de lgica.
O. Algn estudiante no present el examen de lgica.
tambin
E.
tambin
I.
O.
, tambin
tambin
En este caso particular podemos tambin interpretar las proposiciones anteriores as:
A. Todo E es P .
E. Todo E es no P .
I. Algn E es P .
O. Algn E no es P .
Ilustracin 10.
Consideremos el silogismo.
Todos los cocodrilos son anfibios
Todos los anfibios son animales que viven en la tierra o en el agua.
Todos los cocodrilos son animales que viven en la tierra o en el agua.
Designaciones y convenciones.
Las proposiciones 1) y 2) se denominan premisas.
La proposicin 3) se denomina conclusin.
El trmino - predicado de la conclusin, animales que viven en la tierra o en el agua se
denomina el trmino mayor del silogismo .
La premisa donde figura el trmino mayor, se denomina premisa - mayor , en nuestro
ejemplo corresponde a la premisa 2).
El trmino - sujeto de la conclusin, cocodrilo, se denomina trmino menor del
silogismo .
La premisa donde figura el trmino menor, se denomina premisa menor , en nuestro
ejemplo corresponde a la premisa 1).
El trmino anfibio que no figura en la conclusin pero que aparece en cada premisa se
denomina trmino medio , pues su funcin es servir de nexo entre el trmino mayor y el
menor.
La descripcin anterior la podemos resumir esquemticamente as:
Premisa menor. Todo C es A
Premisa mayor. Todo A es T
Conclusin Todo C es T.
Tenemos en consecuencia que T corresponde al trmino mayor; C corresponde al trmino
menor y A corresponde al trmino medio. Usualmente se escribe primero la premisa
mayor y a continuacin la premisa menor, designando esta distribucin como la forma
estndar del silogismo . Con base en esta forma el ejemplo anterior lo representamos as:
Premisa mayor. Todo A es T
Premisa menor. Todo C es A
Conclusin Todo C es T.
La localizacin del trmino medio en las premisas es llamado la figura del silogismo .
Puesto que hay dos premisas y dos posibles posiciones en cada premisa, se generan por lo
tanto cuatro figuras que se identifican en general con los siguientes nmeros:
1
P mayor
P menor
Conclusin
Como en cada figura las premisas y la conclusin pueden corresponder a una cualquiera de
las cuatro formas categricas, se hace necesario para identificar completamente un
silogismo indicar tanto el modo de las proposiciones , como la figura . Para ello
indicaremos inicialmente la secuencia de letras correspondientes al modo de cada una de
las proposiciones categricas y al final, el nmero asociado a la figura . En el ejemplo que
hemos ilustrado su designacin corresponde a AAA - 1.
Ilustracin 11.
Para los silogismos que se enuncian a continuacin, presentar su estructura simblica y
establecer su cdigo de clasificacin.
Ningn ave ornamental es un animal rapaz.
Todos los canarios son aves ornamentales .
Ningn canario es un animal rapaz.
Estructura simblica.
P mayor. Ningn O es R
P menor. Todo C es O
Algunos burcratas no son elegidos con base en su habilidad y todos los burcratas son
servidores civiles, por eso algunos servidores civiles no han sido elegidos con base en su
habilidad.
Ninguna mquina es capaz de mantener un movimiento perpetuo; porque toda mquina
est sujeta a friccin, y nada que est sujeto a friccin es capaz de mantener un
movimiento perpetuo.
Todo buen poema merece leerse pero algunos poemas buenos son difciles. Por lo tanto
algunas cosas que merecen leerse son difciles.
Todas las personas inteligentes pueden aprender lgica, cualquiera que lea este texto es
inteligente. Por tanto cualquiera que lea este texto puede aprender lgica.
Todo A es M
En este caso podemos observar que el trmino medio V es consecuente en ambas premisas,
y por esta razn se dice que viola la regla 1 y en consecuencia este silogismo (AAA - 2) es
invlido . Un ejemplo de esta estructura es: