Professional Documents
Culture Documents
Disyunción Bi Disyunción
Negación Conjunción Condicional
p q Débil condicional Fuerte
(~) (∧) (→)
(⋁) (↔) (∆)
V V F V V V V F
V F F V F F F V
F V V V F V F V
F F V F F V V F
2. Indepotencia.-
𝑝 ∧𝑝 ≅𝑝
𝑝 ∨𝑝 ≅𝑝
3. Asociativa.-
𝑝 ∨ 𝑞 ∨ 𝑟 ≅ (𝑝 ∨ 𝑞) ∨ 𝑟 ≅ 𝑝 ∨ (𝑞 ∨ 𝑟)
𝑝 ∧ 𝑞 ∧ 𝑟 ≅ (𝑝 ∧ 𝑞) ∧ 𝑟 ≅ 𝑝 ∧ (𝑞 ∧ 𝑟)
4. Conmutativa.-
𝑝 ∧ 𝑞 ≅𝑞 ∧ 𝑝
𝑝 ∨ 𝑞 ≅𝑞 ∨ 𝑝
5. Distributiva.-
𝑝 ∧ 𝑞 ∨ 𝑟 ≅ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
𝑝 ∨ 𝑞 ∧ 𝑟 ≅ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
6. Identidad.-
𝑝 ∧ 𝐹 ≅ 𝐹
𝑝 ∧ 𝑉 ≅ 𝑝
𝑝 ∨ 𝐹 ≅ 𝑝
𝑝 ∨ 𝑉 ≅𝑉
7. Complemento.-
𝑝 ∧∼𝑝 ≅𝐹
𝑝 ∨∼𝑝 ≅𝑉
∼ (∼ 𝑝) ≅ 𝑝
∼𝐹 ≅𝑉
∼𝑉 ≅𝐹
8. De Morgan.-
∼ (𝑝 ∧ 𝑞) ≅ ∼ 𝑝 ∨ ∼ 𝑞
∼ (𝑝 ∨ 𝑞) ≅ ∼ 𝑝 ∧ ∼ 𝑞
9. Absorción.-
𝑝 ∧ (𝑝 ∨ 𝑞) ≅ 𝑝
𝑝 ∨ (𝑝 ∧ 𝑞) ≅ 𝑝
Método Directo 𝑝 ∨ 𝑞
𝑝
𝑞
𝑟
(𝑝 ∧ 𝑞) → 𝑟
Circulito en Serie
Método Indirecto
p q
𝑝
𝑞 𝑝 ∧ 𝑞
𝑟
(𝑝 ∧ 𝑞) → 𝑟 ≅ (𝑝 ∧ ∼ 𝑟) → ~𝑞
Circuito en Paralelo
q
Lógica de Predicados
Es la parte de la lógica que estudia las funciones proposicionales y su cuantificación.
Función Proposicional
Una función proposicional se define como la expresión P(x) tal que se convierte en
proposición cuando se sustituye x por un valor particular arbitrario perteneciente al
universo del discurso.
Ejemplo:
En una función proposicional hasta que no se sustituyan las variables que intervienen en
ella por valores particulares de U, no se puede decidir sobre su veracidad o falsedad.
Ejemplo:
Sea el Universo de los humanos, entonces las siguientes son funciones proposicionales
definidas en ese universo, la primera es un predicado (o función proposicional) de una
sola variable y la segunda es una relación binaria entre los elementos de U:
3
Al tomar elementos particulares de U para x, y y sustituirlos en P(x) y Q(x, y), se podrá
concluir sobre la verdad o falsedad de las proposiciones resultantes.
Ejemplo 2:
Sea U el conjunto de los números enteros, las siguientes son funciones proposicionales de
dos y tres variables respectivamente:
M(4,8) ≡ verdadero
M(9,5) ≡ falso
S(3,4,10) ≡ falso
S(3,5,8) ≡ verdadero
Cuantificadores:
Así, si U={a1, a2, …, an}, entonces ∀x[P(x)] y ∃x[P(x)] tienen el siguiente desarrollo:
4
Nota: El cuantificador universal se detecta por la presencia en la oración de palabras
como “todo”, “cualquiera”, “cada uno”, entre otras, y el cuantificador existencial por las
palabras “alguno”, “hay”, “existe”, “algún”, “al menos uno”.
Ejemplo:
Sea U = El conjunto de los estudiantes de FACYT.Las variables x, y ∈ U.
B(x): x es bachiller.
F(x): x estudia Física.
E(x, y): x y y estudian el mismo año.
∀x[F(x)] ≡ f ∃x[F(x)] ≡ v
¬∀x[F(x)] ≡ v ¬∃x[F(x)] ≡ f
¬∀x[P(x)] ≡
¬( P(a1) ∧ P(a2) ∧ … ∧ P(an) ) ≡ Desarrollo del ∀x.
¬∀x[P(x)] ≡ ∀x[¬P(x)]
¬∃x[P(x)] ≡ ∃x[¬P(x)]
5
2. Proposición universal negativa.
Ningún S es P ∀x [S(x) → ¬P(x)]
Nota: Es importante aclarar que una proposición cuantificada puede también tomar otra
forma, dependiendo del contenido de las funciones proposicionales que la constituyan y
del universo del discurso que se defina. En la práctica, las cuatro proposiciones
cuantificadas anteriores son las más comunes, para el caso de funciones
proposicionales de una sola variable.
Ejemplo:
Todas las sustancias que tienen la facultad de dar coloración azul al papel rojo de tornasol
son ácidas.
Ejemplo 2:
Algunos dirigentes del gobierno no son graduados universitarios.
∃x[D(x) ∧ ¬G(x)]
Ejemplo 3:
Los buenos consejos nunca hacen daño.
6
∀x[C(x) → ¬D(x)]
Ejemplo 4:
Sea U = el conjunto de los números naturales. x, y, z∈ U.
S(x, y, z): x + y = z
P(x, y, z): x. y = z
M(x, y): x < y
∀x∀y∃z[S(x, y, z)]
Ningún x es menor que 0
∀x[S(x, 0, x)]
Hay un x tal que x. y = y para todo y
∃ x∀y[P(x, y, y)]
Sean
x, y ∈ U,
7
Fuente: Unidad 1 semestre 2011, Universidad de Carabobo, Facultad Experimental de
Ciencias y Tecnología (FACyT), Departamento de Computación.
8
4.1 Introducción
La lógica formal, al nivel de la lógica de enunciados, sólo puede analizar formalmente aquellos razonamientos en
Hay razonamientos formalmente válidos que no lo son simplemente en virtud de las conexiones externas entre los
Ejemplo:
Luego,
R: Juan no es un árbol.
Se trata entonces de construir a partir del cálculo proposicional, nuevos elementos de análisis para poder tener u
Dada una proposición, la lógica cuantificacional distingue en esta a los individuos y a sus propiedades .
Ejemplo:
En las tres proposiciones anteriores los individuos son: "Lina", "Jardín" y "El Atrato". Las propiedades atribuidas a d
Este tipo de proposiciones en donde se atribuye una propiedad a un individuo determinado son las llamada
individuales o términos . Se llamará predicado a la propiedad que se afirma acerca del sujeto o término, y se si
Pl
9
Rj
Ta.
Las proposiciones simples pueden combinarse mediante conectivos lógicos para formar proposiciones compuestas
Gustavo es médico.
Alvaro es médico.
Enrique es médico.
Estas proposiciones tienen algo en común, y es la propiedad de "ser médico". Esto puede formularse recurriendo
que no es en cuanto tal ni verdadera ni falsa. Aquí x es una variable que toma valores dentro de un conjunto, llam
Cuando en una función proposicional se sustituyen las variables por constantes individuales o términos específico
medio de los conectivos.
Ejemplo:
Si en una forma compuesta hay por lo menos una función proposicional como componente, entonces toda la forma
Ejemplo:
10
Ejercicios propuestos 4.2
• x es par y 6 también.
• x e y son impares.
3) Dadas las siguientes funciones proposicionales, individualizar las variables para obtener proposiciones verdader
x es un nevado colombiano.
x divide a z y w.
4.3 Cuantificadores
Las expresiones:
Todo x
cualquiera x
cada x
11
Otros giros utilizados para la expresión 'Existe un x" son:
Hay x
Algún x
Algunos x
Existen tres formas de convertir una función proposicional en una proposición a saber:
Al anteponer a la función proposicional un cuantificador, se dice que la variable x ha pasado a ser variable li
Una proposición de la forma es verdadera cuando todas las sustituciones de la variable x por términos
Las proposiciones universales pueden aparecer negadas, como en el enunciado: "No todos son mecánicos". En este
Las palabras "ningún", "ninguno", "nada", "nadie" corresponden también a enunciados universales con negac
simboliza .
Las proposiciones existenciales pueden estar negadas, como por ejemplo "no es cierto que hay fantasmas" la cual
Observación.
Así como aclaramos en su momento en el cálculo proposicional, el cálculo cuantificacional presenta también una
Conservando la orientación que nos hemos propuesto, consideramos importante el conocimiento completo de la e
12
Signos primitivos del cálculo cuantificacional: (cuantificador universal).
Regla formativa: Si P designa una fórmula; en la cual no figura la expresión , entonces designa u
Signo definido: Si P designa una fórmula, en la cual no figura , entonces designa la fórmula
Notas:
Convenciones.
Ejemplo:
Si , ; entonces
; .
Regla Axiomática.
2. Indicar, con base en las reglas formativas establecidas en el cálculo de proposiciones y la última regla anotada
13
2.1
2.2
2.3
2.4
2.5
2.6
2.7
3. Sean:
Determinar:
3.1 3.4
3.2 3.5
3.3 3.6
Los enunciados cuantificados que tienen importancia en la matemática, tienen una característica común que los i
Ilustración 1.
El enunciado: “Existe al menos un x tal que x >0”, tiene sentido cuando especificamos el universo de valide
proposicional diremos que es una restricción.
Ilustración 2.
El enunciado: “Todos los x son positivos, negativos o cero” tiene sentido cuando nos ubicamos por ejemplo en el
14
Observaciones.
• Como puede concluirse de los ejemplos anotados, la restricción se articula en forma diferente según el enuncia
• Cuando el enunciado se cuantifica existencialmente la restricción corresponde al conjunto referencial más amp
Notación.
Dado el uso continuo que presenta la cuantificación restringida, utilizaremos las siguientes convenciones para des
Ilustración 3.
Para cada enunciado que se propone a continuación, se requiere simbolizarlo en términos de expresiones cuantifi
Simbolización:
Cuantificación restringida:
Designemos: P x : x es un paralelogramo.
E x : x es equilátero.
A x : x es equiángulo.
Simbolización:
Cuantificación restringida:
Simbolización:
Cuantificación restringida:
15
• Existe un número real; que sumado con cualquier número real, da por resultado este último.
Simbolización:
Cuantificación restringida:
2.5 Existe un número natural menor o igual que cualquier número natural.
2.6 Para todo número real, existe un número 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 número entero existe otro número entero mayor que él.
2.11 Existe c , c número real tal que para todo real x mayor que c , f(x) es real.
16
2.12 Dado cualquier E real, existe un real D de tal forma que para todo real mayor que D ; su imagen bajo la func
M x : x es un mamífero V x : x es un vertebrado
3.1
3.2
3.3
3.4
3.5
3.6
3.7
3.8
Presentamos a continuación los resultados fundamentales del cálculo cuantificacional. Aunque omitimos sus demo
Según lo anterior, se tiene que la negación de una proposición existencial es equivalente a la afirmación de un cu
También, decir que ( " x)(P x ) es falsa significa entonces que Ø ( " x)(P x ) es verdadera y por lo tanto lo es ( $
demostración que origina esta regla se fundamentará más adelante.
Ejemplo: La afirmación "todos los números primos son impares" es falsa porque, "existe un número primo que no e
Ilustración 4.
Determinar la negación para cada una de las fórmulas siguientes, utilizando al máximo las equivalencias estableci
17
•
Negación:
Negación:
Negación:
La equivalencia establecida en el numeral 2 del teorema 4.5.1 da lugar al método de demostración conocido bajo
Esquema Operativo.
Objetivo. Demostrar que una fórmula específica del tipo es teorema, o también que es fal
• Por lo anterior debe verificarse que para un objeto concreto a , es verdadera. En este caso de a dec
Ilustración 5.
Dar contraejemplos para mostrar que las siguientes proposiciones son falsas.
Enunciado simbólico:
• Para a , b , c enteros.
“Si a |( b + c ) entonces a | b ó a | c ”
18
Contraejemplo: Tomemos a =2, b =3, c =1; puede observarse que para estos valores la implicación es falsa.
• “Todo entero que se puede expresar en la forma 3 k +2, se puede expresar en la forma 6 n +5”.
Enunciado simbólico:
Designando por P x :
Nota.
Con este método hemos completado la fundamentación de los métodos de demostración, uno de nuestros objetivo
19
1) Negar las siguientes proposiciones cuantificadas.
• ( " x)(C x Þ D x ).
• ( $ x)(P x Q x ).
• ( " x)(P x M x ).
• ( $ x)(A x Þ B x ).
Exprese las proposiciones anteriores y sus correspondientes negaciones, en términos de cuantificadores restringid
• Determinar la negación para cada una de las fórmulas simbolizadas en el ejercicio 4.4 numeral 2, utilizando al
• Utilice contraejemplos para mostrar que los recíprocos de los siguientes teoremas no son teoremas.
20
• Teorema 4.5.2 numeral 4.
• Utilizar las equivalencias correspondientes para probar que los siguientes pares de fórmulas son equivalentes.
• ,
• ,
• ,
• ,
4.6.1 Particularización Universal (P.U). Dado un enunciado verdadero de la forma ( " x)(P x ), todo caso de susti
4.6.2 Generalización Universal (G.U). Si una función proposicional tiene todos sus casos de sustitución por const
4.6.3 Ejemplificación Existencial (E.E). Dado un enunciado verdadero de la forma ( $ x)(P x ), se infiere de él un
"Pedro es un hombre"
• Hp
• ( $ x)(H x Sx)
• Sp por simplificación en 2.
Puesto que la constante p ya ha aparecido en la proposición 1, la restricción impide que se la utilice en el paso 3.
21
4.6.4 Generalización Existencial (G.E). Si una función proposicional tiene por lo menos uno de sus casos de susti
Nota: Cuando en una demostración haya que aplicar la E.E y P.U como en el ejemplo siguiente, es necesario aplic
Luego,
1. ( " x)(P x Þ V x M x ).
2. ( $ x)(P x G x ) / \ ( $ x)(V x G x ).
4. P w Þ V w M w P.U en 1.
5. V w M w Simplificación en 3 y RV2.
6. V w simplificación en 5.
7. G w simplificación en 3.
8. G w V w conjunción 6 y 7.
9. ( $ x) (G x V x ) G. E en 8.
• Traslado del cuantificador existencial. Sea un teorema. Si bajo el supuesto de que P es verdadera s
1. Premisa
22
__________
__________
n. Q
• Observaciones Generales.
Presentamos ahora un resumen de observaciones metodológicas, que facilitan la comprensión y aplicación de las r
• Pruebas de existencia:
El axioma 5 permite establecer un procedimiento para demostrar que una fórmula específica de la forma
• . Axioma 5.
• . Regla de validez 2.
Ilustración 5.
Designamos por P x :
es verdadera.
Luego es teorema.
23
Fundamentados en el principio de que si una propiedad es válida para un objeto indeterminado cualquiera (variab
Ilustración 6.
Enunciado simbólico:
Supongamos: Hipótesis 1.
por tanto
Método directo
G.U.
Como ya se presentó el esquema operativo general de esta regla, observemos una aplicación.
24
Ilustración 7.
1) Premisa
• Premisa
• Equivalencia en (1)
• Simplificación en (4)
• P.U. en (2)
1. Por medio de las reglas de particularización y generalización, y las reglas necesarias del cálculo proposicio
o Si todo es espacial o temporal, entonces la tierra está en movimiento. Todo es temporal. Luego, l
o Hernández es estudiante y empleado. Todos los empleados cobrarán su sueldo y su aguinaldo. Lue
o Las serpientes son reptiles. Los reptiles no son animales mamíferos. Por lo tanto, las serpientes no
2. La argumentación que se presenta a continuación es obviamente inválida. Señalar dentro de “la prueba” donde
“Algunos gansos son animales; algunos perros son animales; en consecuencia, algunos gansos son perros”.
Deducción:
• ( $ x)(G x A x ).
• ( $ x)(P x A x ) / \ ( $ x)(G x P x ).
• Gw A w E.E en 1
25
• Pw A w E.E en 2.
• G w simplificación en 3.
• P w simplificación en 4.
• Gw P w conjunción en 5 y 6.
• ( $ x)(G x P x ) G. E en 7.
“Todos los animales racionales tienen lenguaje oral o escrito. Existen animales racionales. Todo aquel que tenga u
Deducción:
• Premisa
• ( $ x )( A x R x ) Premisa
• Premisa
• P.U. en (1)
• P.U. en (3)
• Simplificación en (4)
• Implicación de (8)
• G.U. en (10).
• Utilizar las reglas necesarias del cálculo proposicional y cuantificacional, para escribir cada uno de los pasos re
26
• Simbolizar los siguientes razonamientos y demostrar la conclusión dada a partir de las respectivas premisas.
27
Juan es un alumno pero no entiende el problema
x es un número par
Ocho es la suma de dos números pares. Doce es la suma de dos números pares.
5.4 Para cada x , no ocurre que x sea a la vez un número positivo y x sea un número negativo.
5.5 Cualquiera que esté matriculado en la Universidad es estudiante de tiempo parcial o de tiempo completo. Ca
5.6 Todos los estudiantes de la U de A. ingresan por examen de admisión o por transferencia.
Todos los estudiantes de la U de A que ingresan por examen de admisión superan un puntaje mínimo. Todos los es
Conclusión : Todo estudiante de la U de A que no acredita estudios superiores previos, supera un puntaje mínimo
5.7 Cualquiera que ocupe un cargo público no puede participar en política. Cada uno de los asistentes al banquet
5.8 Ningún estudiante que no dedica mucho tiempo a su labor, obtiene un título bien respaldado. Hay estudiantes
Todo estudiante que dedica mucho tiempo a su labor amerita la institución que lo certifica.
5.9 Quien quiera que compuso la Obertura 1.812, murió en plena madurez.
28
Todos los que escribieron para el clavicordio fueron buenos músicos
Observaciones.
• En esta fórmula se conjugan dos elementos importantes que caracterizan algunos teoremas fundamentales de l
• La segunda fórmula que conforma la conjunción principal, aporta la unicidad . Observemos que una prueba de
• Las características anteriores le asignan a esta fórmula el nombre de “existencia única de un x que verifica a P
Ilustración 8.
Enunciado simbólico:
designemos por:
• Probemos existencia:
En particular es verdadero.
luego: es verdadero.
• Probemos unicidad.
esto es:
29
Simplificación
Transitividad en la igualdad
Método directo
G.U
G.U
Demostrar que:
30
La distinción entre proposiciones afirmativas y negativas se llama distinción (u oposición) de cualidad , en tanto q
El diagrama representa la oposición de proposiciones de las cuatro formas. Dos proposiciones que tienen términos
A y E son contrarias, y las proposiciones contrarias se definen como aquellos pares de proposiciones universales qu
Obsérvese que la negación de cualquiera de las cuatro fórmulas analizadas es precisamente su contradictoria. Des
Ilustración 9.
Tomemos las siguientes proposiciones para ilustrar las formas categóricas vistas:
A. ó también
E. ó también
I. , ó también
O. ó también .
En este caso particular podemos también interpretar las proposiciones anteriores así:
31
A. Todo E es P .
E. Todo E es no P .
I. Algún E es P .
O. Algún E no es P .
Designamos bajo el nombre de silogismo categórico, la combinación de tres proposiciones categóricas, dispuestas
Ilustración 10.
Consideremos el silogismo.
Designaciones y convenciones.
• El término - predicado de la conclusión, “animales que viven en la tierra o en el agua” se denomina el término
• La premisa donde figura el término mayor, se denomina premisa - mayor , en nuestro ejemplo corresponde a la
• La premisa donde figura el término menor, se denomina premisa menor , en nuestro ejemplo corresponde a la
• El término “anfibio” que no figura en la conclusión pero que aparece en cada premisa se denomina término me
Conclusión Todo C es T.
Tenemos en consecuencia que T corresponde al término mayor; C corresponde al término menor y A corresponde
32
Premisa mayor. Todo A es T
Conclusión Todo C es T.
La localización del término medio en las premisas es llamado la figura del silogismo . Puesto que hay dos premisas
1 2 3
P mayor M P P M M P P
P menor S M S M M S M
Conclusión S P S P S P S
Como en cada figura las premisas y la conclusión pueden corresponder a una cualquiera de las cuatro formas cate
proposiciones categóricas y al final, el número asociado a la figura . En el ejemplo que hemos ilustrado su designa
Ilustración 11.
Para los silogismos que se enuncian a continuación, presentar su estructura simbólica y establecer su código de cl
Estructura simbólica.
P mayor. Ningún O es R
P menor. Todo C es O
Estructura simbólica.
P mayor. Ningún M es P
P menor. Todo C es P
33
Ejercicios propuestos 4.8.2
• Para cada código de clasificación que se indica, escriba un silogismo que lo ilustre.
• AII - 1
• EIO - 3
• AEE - 2
• AAI - 4
• IEO - 2
• AIE - 3
• EEO - 4
• AEO - 3
• AOE - 2
• AIA - 1
• Presentar cada uno de los siguientes silogismos en la forma estándar; indicando su código.
• Ningún poeta griego fue un genio, porque ningún poeta griego fue excéntrico, y los genios son excéntricos.
• Algunos burócratas no son elegidos con base en su habilidad y todos los burócratas son servidores civiles, por es
• Ninguna máquina es capaz de mantener un movimiento perpetuo; porque toda máquina está sujeta a fricción, y
• Todo buen poema merece leerse pero algunos poemas buenos son difíciles. Por lo tanto algunas cosas que mere
• Todas las personas inteligentes pueden aprender lógica, cualquiera que lea este texto es inteligente. Por tanto
Podemos observar que, puesto que cada premisa puede ser de cualquiera de las cuatro formas categóricas, A, E,
continuación entraremos a diferenciar las formas válidas de las no válidas; sin embargo antes debemos aclarar qu
Ilustración 12.
Consideremos el silogismo.
34
Todos los cocodrilos son flores.
Podemos observar que su estructura es análoga a la de nuestro primer ejemplo y el único cambio introducido es “
• Si una de las premisas es negativa, la conclusión debe ser negativa; y si la conclusión es negativa una premisa d
Ilustremos dos situaciones específicas. Considérense las formas simbólicas de los silogismos:
• Todo M es V
• Todo A es V
• Todo A es M
En este caso podemos observar que el término medio V es consecuente en ambas premisas, y por esta razón se dic
35
LÓGICA PROPOSICIONAL
1. Proposiciones Lógicas
36
la estructura del argumento, sino de los valores de verdad que
en ellas reside.
o 1.1 Ejemplos
Todos los perros tiene cuatro patas. (Verdadero)
Una gallina es un perro. (Falso)
La gallina tiene cuatro patas. (Falso)
Si los perros tiene cuatro patas y la gallina es un perro, entonces
la gallina tiene cuatro patas. (Verdadero) en el apartado
del contexto lógico explico el valor de verdad de esta
extraña incongruencia.
2 Contexto etimológico
La proposición viene del latín “propositio” y literalmente
hablando significa a favor o acción de proponer, al parecer,
indica una propuesta de algo a alguien.
3 Contexto coloquial
En este contexto, una proposición puede referirse a la idea
misma para expresar una situación que previamente habíamos
pensado, es decir, decidido, ¿Pero con que objetivo?, tenemos
dos casos alternos:
37
O una propuesta a notros mismos, es decir, fijarnos un
determinado fin.
4 Contexto gramatical
En gramática, una proposición es una oración con sujeto y
predicado, con la capacidad de lograr otros significados
similares o distintos si le añadimos o quitamos palabras
(complementos) sin que pierda su significa particular.
De hecho, puede relacionarse con otras proposiciones para
formar una oración mas grande, es decir, oraciones
compuestas.
o 4.1 Ejemplo
Sea la proposición gramatical: “La mayoría de mis amigos se van
de paseo al cuzco en un tren que resulta ser súper rápido y acampar
allí para comer tallarín verde junto con sus madres”. De esta
oración, podemos extraer otras proposiciones más:
5 Contexto lógico
Siendo este tipo de proposición el tema central de la
sección actual, decimos entonces que una proposición es
un enunciado que puede ser verdadero o falso.
Por tal razón, una proposición debe tener una estructura
bien formalizada que de cuenta de la lógica de la realidad
como la lógica de lo abstracto (como las matemáticas)
incluso si entre ellas mismas se contradicen.
o 5.1 Ejemplo
Si decimos que todos los números pares son de color verdes,
entonces el numero 4 es de color verde, en el contexto de la
realidad es ilógico pensar que los números se pueden
38
clasificar por colores, pero en lo abstracto, la lógica de la
conclusión es verdadera.
6 Contexto filosófico
En el contexto filosófico, una proposición es un juicio de
valor que expresa algo (predicado) sobre un sujeto de la
oración, en otras palabras afirma o niega algo. Ojo, no se
ha dicho nada si la negación o afirmación es verdadera o
falsa.
En este caso, la proposición no es mas que una emision de
información de un juicio por medio de una oración sea
verbal o escrita. Por ultimo, es criterio de nosotros indicar
si resulta ser verdadera o falsa.
39
de lo que dice el predicado de la variable. Si el sujeto es
una variable conocida, entonces el enunciado es
una proposición, si el sujeto es una variable desconocida,
entonces este tipo de enunciados se les llama enunciados
abiertos.
40
momento que estas leyendo estos párrafos, dime tu ¿Es de
día o es de noche?.
o “Hoy llueve“. puede ser verdadero si resulta ser cierto o
falso si no es el caso.
o 9.1 Ejemplo
es un enunciado abierto. (La variable es una incógnita)
Ella es muy bella. (“Ella” es una incógnita)
El grupo está muy contento. (“Grupo” es una incógnita)
41
10 Proposiciones simples y compuestas
Generalmente las proposiciones se pueden catalogar en
proposiciones simples y compuestas, una contiene a la otra,
aunque también se les llama proposiciones particulares y
universales respectivamente, pero en el transcurso del curso de
lógica proposicional esta distinción resulta muy poco útil y solo
es meramente reverencial, ya se darán cuenta a medida que
desarrollemos el curso.
o 10.1 Proposición simple o atómica
Las proposiciones simples o atómicas son aquellas
proposiciones que tienen un sujeto y predicado.
10.1.1 Ejemplo
Lima es la capital de Perú.
La lógica proposicional estudia los valores de verdad de las
proposiciones.
Los peces viven en el mar.
10.2.1 Ejemplo
42
“Ana y María son abogadas“, son dos proposiciones
compuestas y se pueden separar en dos proposiciones
atómicas: “Ana es abogada” y “María es abogada“.
“Mi perro tiene orejas y cola“, se puede separa en “Mi
perro tiene orejas” y “Mi perro tiene cola“.
“Lucho es gracioso o sarcástico“, se puede separar en
“Lucho es gracioso” y “Lucho es sarcástico“.
“Si xx es un numero par, entonces xx es un numero entero“, se
puede separar en “xx es un numero par” y “xx es un numero
entero“.
o 11.1 Ejemplos
p: mi loro es verde.
q: mi perro tiene cuatro patas.
r: mi loro es verde y mi perro tiene cuatro patas. En este caso
podemos escribir como r=p y q
o 11.2 Tipos de proposiciones lógicas
43
Existen solo 6 tipos de proposiciones lógicas y se clasifican
según el conector lógico que estas admitan, veamos 6
ejemplos que diferencian a este tipo de proposiciones.
11.2.1 Ejemplo
Aquellas aves tiene alas y los pingüinos no vuelan.
(Conjunción)
Los perros tienen cuatro patas o el gato tiene cola. (Disyunción
lógica)
O estoy con frío o estoy con calor. (Disyunción exclusiva)
Si los perros tiene cuatro patas, entonce es cuadrupedo.
(Condicional)
xx es par si y solo si x≠2n+1x≠2n+1. (Bicondicional)
Los gatos no son peces. (Negación)
44
Si existe un conjunto de proposiciones de
proposiciones P={p1,p2,p3,…pn}P={p1,p2,p3,…pn} y un conjunto de
valores de verdad V={V,F}V={V,F}, la relación entre PP y VV es:
45
p: Los perros tiene 2 orejas.
q: Los perros tiene 4 patas.
p∧q: Los perros tienen 2 orejas y 4 patas.
r: Los números pares son números naturales.
s: Los números primos son números naturales.
r∧s: Los números pares y primos son números naturales.
o 12.3 Disyunción lógica
También se le llama disyunción inclusiva, generalmente se
representa por la letra “o” y simbólicamente se escribe “∨∨”. Si
tenemos dos proposiciones pp y qq, la proposición formada por
la disyunción lógica seria p∨qp∨q.
El valor de verdad de la disyunción lógica es falsa si las dos
proposiciones que las forman es falsa y la disyunción lógica es
verdadera si por lo menos una proposición es verdadera.
12.3.1 Ejemplos
p: Los peros tienen 2 patas.
q: Los perros tienen 4 patas
p∨q: Los perros tienen 2 patas o 4 patas.
r: Los números pares son números naturales.
s: Los números primos son números naturales.
r∨s: Los números pares o primos son números naturales.
o 12.4 Disyunción exclusiva
La disyunción exclusiva es un conectivo lógico representado
por el símbolo △△ que tiene como propiedad incluir solo
aquellas proposiciones donde una y sola de las dos
proposiciones debe ser verdadera para que la disyunción
exclusiva sea verdadera, en caso contrario siempre será falsa.
Si tenemos dos proposiciones pp y qq, la proposición formada
por la disyunción exclusiva se representa así p△qp△q.
Literalmente se representa por la letra “o” dos veces así
“o proposición 1 o proposición 2“, veamos los siguientes
ejemplos.
12.4.1 Ejemplo
p: Rosa está fuera de casa.
q: Rosa está dentro de casa.
p△q: Rosa o esta fuera de casa o dentro de casa.
46
r: Es de día.
s: Es de noche.
r△s: O es de día o es de noche.
o 12.5 Condicional lógica
También se le llama condicional material y algunas veces se le
confunde con la implicación lógica cuando realmente tienen
significadores diferentes pero similares.
12.5.1 Ejemplo
: Hoy llueve.
: El piso esta mojado.
: Si hoy llueve, entonces el piso esta mojado.
47
1. p↔q: El sol ha salido si y solo si es de día.
2. q↔p: Es de día si y solo si el sol ha salido.
r: 88 es par.
s: 88 es múltiplo de 22.
r↔s: 88 es par si y solo si es múltiplo de 22.
s↔r: 88 es múltiplo de 22 si y solo si es par.
13 Tabla de verdad de los conectivos lógicos
Aquí te presento un resumen de la tabla de valores de
verdad de todos los conectivos lógicos estudiados
brevemente hasta el momento. Cada una de estas tablas
lógicas nos indica el comportamiento de cada una de las
conectivas lógicas que mas adelante trataremos con mas
detalle.
Negación Lógica
pp ∼p∼p
VV FF
FF VV
Conjunción Lógica
pp qq p∧qp∧q
VV VV VV
VV FF FF
FF VV FF
FF FF FF
Disyunción Inclusiva
p q p∨q
V V V
V F V
F V V
F F F
48
Disyunción Exclusiva
pp qq p△qp△q
VV VV FF
VV FF VV
FF VV VV
FF FF FF
Condicional Lógica
pp qq p→qp→q
VV VV VV
VV FF FF
FF VV VV
FF FF VV
Bicondicional Lógica
pp qq p↔qp↔q
VV VV VV
VV FF FF
FF VV FF
FF FF VV
14 Proposiciones equivalentes
Las proposiciones lógicas se puede escribir de diferentes
maneras alterando solo sus conectivos lógicos tal que su valor
de verdad quede inalterado.
49
Por ejemplo, un proposición equivalente a “Los perros tiene
cuatro patas” es “No es cierto que los perros no tengan cuatro
patas”, la segunda proposición es una doble negación de la
primera y dicen exactamente lo mismo. Veamos mas ejemplos.
14.0.1 Ejemplo
“El numero 4 es un numero par” es equivalente a “Es falso
que el numero 4 no sea par“.
“Si hoy llueve, entonces el piso se mojará” es equivalente a “Si
el piso no se ha mojado, entonces hoy no ha llovido“.
“Si como mucho dulce, entonces me saldrá sarro” es
equivalente a “Es falso que coma mucho dulce o me saldrá
sarro“.
Ley de
involución ∼(∼p)≡p∼(∼p)≡p
Leyes de p∧p≡p
idempotencia
p∨p≡p
p∧q≡q∧p
Leyes p∨q≡q∨pp∨q≡q∨p
conmutativas
p△q≡q△pp△q≡q△p
p↔q≡q↔pp↔q≡q↔p
Leyes (p∧q)∧r≡p∧(q∧r)(p∧q)∧r≡p∧(q∧r)
50
asociativas (p∨q)∨r≡p∨(q∨r)(p∨q)∨r≡p∨(q∨r)
(p△q)△r≡p△(q△r)(p△q)△r≡p△(q△r)
(p↔q)↔r≡p↔(q↔r)(p↔q)↔r≡p↔(q↔r)
p∧(q∨r)≡(p∧q)∨(p∧r)p∧(q∨r)≡(p∧q)∨(p∧r)
p∨(q∧r)≡(p∨q)∧(p∨r)p∨(q∧r)≡(p∨q)∧(p∨r)
Leyes
p→(q∧r)≡(p→q)∧(p→r)p→(q∧r)≡(p→q)∧(p→
distributivas
r)
p↔(q∧r)≡(q↔q)∧(p↔r)p↔(q∧r)≡(q↔q)∧(p↔
r)
Leyes de ∼(p∧q)≡∼p∨∼q∼(p∧q)≡∼p∨∼q
Morgan
∼(p∨q)≡∼p∧∼q∼(p∨q)≡∼p∧∼q
Leyes p→q≡∼p∨qp→q≡∼p∨q
condicionales
∼(p→q)≡p∧∼q∼(p→q)≡p∧∼q
Leyes
bicondicionale p↔q≡(p→q)∧(q→p)p↔q≡(p→q)∧(q→p)
s p↔q≡(p∧q)∨(∼p∧∼q)p↔q≡(p∧q)∨(∼p∧∼q)
Leyes de p→q≡∼q→∼pp→q≡∼q→∼p
absorción
p↔q≡∼q↔∼pp↔q≡∼q↔∼p
Estos son solo algunas de las leyes lógicas que podemos formar
con los conectivos lógicos. Existen otras leyes como la
Tautología, contradictoria, y contingencia, pero todo ello lo
veremos en otras secciones con sus definiciones y ejemplos
respectivos del curso de lógica.
51
Podemos estudiar la semántica desde 3 ángulos, estas son,
la semántica lingüística, la semántica lógica y la
semántica de las ciencias cognitivas (psicología).
Naturalmente esta sección se ha centrado en la semántica
lógica.
Por ejemplo, supongamos que no supieras leer, por lo que
jamás podrías lograr entender estos párrafos, lo único que
verás es un conjunto de caracteres extraños sin
significado.
52
Pero si me lees hasta aquí es porque sabes lo que estoy
diciendo, porque para que estas líneas sean inteligibles no
53
símbolos más para estructurar esta entrada. Lo que hace luego
tu explorador web como Google Chrome, Mozilla, Opera o
cualquier otro navegador web es “renderizarlo” para que lo
puedas ver a tu idioma, tal como tu lenguaje lo entiendes.
54
personas, animales o cualquier otra cosa porque no se
especificó el valor de \( x \).
18 Función proposicional
Algunas veces los enunciados abiertos se le llama
también funciones proposicionales cuando se trabaja en otras
ramas de la matemática para alejarse del contexto lingüístico
gramatical y acercarse mas conceptos puramente matemáticos.
55
Variable: Puede representar un sujeto indeterminado, sin
embargo, también puede representar un predicado
indeterminado.
Constante: Representa un valor definido de la variable de
una función proposicional, generalmente un valor
especifico del sujeto.
Funciones: Son operadores aplicados a las variables sea
del sujeto o del predicado.
Conectores lógicos: son operadores que vinculan
afirmaciones para formar otras afirmaciones.
Cuantificadores (muy relacionado con las proposiciones
categóricas): Solo existen dos, el cuantificador universal y
existencial, son capaces de transformar las variables en
constantes sin necesidad de darle un valor especifico a las
variables. Un ejemplo es tomar en cuenta todos los
números pares sin importar cual sea, este argumento lo
estudia el cuantificador universal, en contraste, si una
propiedad cumple por lo menos con un numero par sin
importar que cumpla para todos (y sin importar quien
sea), esto lo estudia el cuantificador existencial.
56
o 19.1 Referencias
Lógica – Matemática básica | novena edición – Ricardo
Figueroa.
Nociones de lógica – Matemática básica | novena edición
– Moisés Lázaro
Introducción de la lógica matemática – Lógica Matemática
| Carlos Ivorra.
Lógica proposicional, proposición, enunciado abierto,
semántica – wikipedia y wikiversity.
2. Negación lógica
57
En matemáticas, la negación lógica denotado con el
símbolo ∼∼ es un operador lógico que tiene la propiedad
de cambiar la validez de una proposición pp, esto es,
cambia de verdadero a falso y viceversa, la negación de
una proposición se escribe como ∼p∼p.
Aquí pp no hace ninguna referencia a una proposición simple o
compuesta, su única función es simplemente negar emitiendo
un valor de verdad opuesto a la validez de pp. Veamos como la
negación trabaja sobre una proposición simple.
1.1.1 Ejemplo
Sea las proposiciones:
o p=∼qp=∼q
58
Negación lógica de proposiciones simples:
o pp = El Tumi es de oro.
∼p∼p = El tumi no es de oro.
o qq = Los seres humanos no son de Ganimedes.
∼q∼q = Los seres humanos son de Ganimedes.
o rr = El tigre es un felino .
∼r∼r = El tigre no es un felino.
Su negación sería:
59
2 Tabla de verdad de la negación
Como ya hemos indicado antes, lo único que hace este
operador lógico es cambiar la validez de las
proposiciones.
pp ∼p∼p
VV FF
FF VV
Donde V significa que la proposición es verdadera
y F significa que la proposición es FF.
3 Algunas Leyes lógicas de la negación
Las propiedades relacionadas con las negación lógica lo puedes
encontrar en las principales leyes lógicas. Una clásica propiedad
común es la ley de la doble negación (o coloquialmente
mencionada como ley de la negación de la negación), por
ejemplo:
∼(∼p)=p∼(∼p)=p
60
Otras propiedades relacionadas con otros conectivos lógicos lo
pueden encontrar en la sección de las principales leyes lógicas
que ya mencione hace pocos párrafos.
o V(p)=VV(p)=V
o V(∼p)=FV(∼p)=F
o V(∼(∼p))=VV(∼(∼p))=V
o V(p)=F
o V(∼p)=V
o V(∼(∼p))=F
o 3.1 Ejemplos
Todos los ejemplos de doble negación tiene la siguiente forma
lógica∼(∼p)=p∼(∼p)=p, veamos:
61
se les añade al sujeto de un enunciado abierto para
transformarlo en proposiciones, este tipo de proposiciones se
les llama proposiciones categóricas y pueden ser justificadas de
manera general o particular al sujeto según el predicado que se
le asigne.
1. Todo S es P
2. Ningún S es P
3. Algún S es P
4. Algún S no es P
62
Esta palabra es suficiente para transformar una proposición
simple en compuestas como mencione anteriormente, si bien la
negación de una compuesta puede generar otra compuesta,
también nos puede dar también una proposición simple.
Su negación sería:
Su equivalente sería:
63
o qq = Algunos perros no tiene cola.
o 5.2 Resumen:
Se pueden hacer muchas cosas con la negación lógica,
pero esto se vera cuando combinemos con el resto de los
conectivos lógicos, en la tabla siguiente te presento un
resumen de lo expuesto.
3. Conjunción Lógica
64
Hola, como están amigos, de nuevo aquí en esta nueva y tercera
sección del capítulo de lógica proposicional. En esta
oportunidad discutiremos uno de los primeros conectores
lógicos junto con una definición clara y algunos ejemplos, esto
es, la conjunción lógica.
65
falsa si por lo menos una de estas proposiciones son
verdaderas.
Las proposiciones del tipo p∧qp∧q de ahora en adelante lo
llamaremosproposición conjuntiva. En lógica proposicional,
omitiremos por lo general el significado de los argumentos de
las proposiciones, aunque se usan como ejemplos para explicar
la lógica de este conectivo, lo que impera mas son solo los
valores de verdad de las proposiciones y no el significado de
los argumentos de las proposiciones ya que es lo único que le
importa a la lógica proposicional.
Por tanto, la regla lógica de una conjunción siempre es
verdadera si las proposiciones que las conforman siempre son
verdaderas en caso contrario siempre es falsa.
1.1.1 Ejemplos
o El gato es un felino.
o La paloma es un ave.
66
Para el enunciado 2. Lo podemos separar así:
o p∧qp∧q
V(p∧q)=V
Y para el enunciado 2, sería falsa, simbólicamente:
V(pwedgeq)=F
67
Con los ejemplos anteriores, queda claro el
comportamiento de los conectivos conjuntivos y de estos
podemos diseñar una tabla de verdadsegún la definición
dada para dos proposiciones pp y qq donde
encontraremos 4 combinaciones de sus valores de verdad
de p∧qp∧q. La tabla es:
pp qq p∧qp∧q
VV VV VV
VV FF FF
FF VV FF
FF FF FF
68
Otro punto importante, la negación de una conjunción no es
otra conjunción, es decir, la negación de p∧qp∧q no
es ∼p∧∼q∼p∧∼q, su negación resulta ser equivalente a una
proposición unida por una disyunción lógica, esto
es ∼(p∧q)=∼p∨∼q∼(p∧q)=∼p∨∼q, si quieres tener más
información entre entre estos dos conectivos lógicos, puedes
dirigirte en la sección de disyunción lógica.
o 3.1 Ejemplo
Todos somos libres y felices.
Ella es hermosa y debería ser modelo.
Todos son criminales pero con trastorno bipolar.
Vamos a la playa y luego a comer.
Los perros tienen cola, patas y hocico.
69
unidas por una conjunción lógica del tema que estamos
tratando, es decir, no toma en cuenta el significado de los
argumentos como en la teoría lingüística, los únicos
valores que le importa a la lógica proposicional es el de
verdadero o falso.
A∩B={x|x∈A∧x∈B}A∩B={x|x∈A∧x∈B}
Gráficamente se representa así:
70
4. La Disyunción Lógica
71
simples en cuanto a sus valores de verdad, me refiero a
la disyunción lógica.
o Samantha es mujer
o Samantha es hombre
72
El siguiente ejemplo trataremos con otro tipo de disyunción
donde tenemos la posibilidad de elegir las dos a la vez sin
contradicción alguna, si tenemos la posibilidad AA y otra BB,
puede elegirse cualquiera de ellas incluso elegir
simultáneamente las dos, veamos:
o 1.2 Ejemplo de la disyunción de segundo tipo
o Mi gato es un felino.
o Mi gato es un animal.
2 La disyunción inclusiva
Este tipo de disyunción hace referencia al ejemplo ilustrativo 2
y tiene la propiedad de poder de elegir cualquier proposición
con validez verdadera que la componen (si es que existe) para
determinar que nuestra proposición que la forman sea válida,
aquí su definición:
o 2.1 Definición de la disyunción inclusiva
La disyunción inclusiva con símbolo ∨∨ es un conectivo
lógico que une dos proposiciones pp y qq formando una
nueva proposición p∨qp∨qde tal manera que su valor de
verdad es falsa si las proposiciones ppy qq resulta ser
falsas, en caso contrario resulta ser verdadera si al menos
una de sus proposiciones componentes es verdaderas.
73
Por lo general, a la disyunción inclusiva también se le llama
disyunción lógica, de ahora en adelante toda proposición
formada jerárquicamente por una disyunción inclusiva se le
llamará proposición inclusiva.
pp qq p∨qp∨q
VV VV VV
VV FF VV
FF VV VV
FF FF FF
74
Sean las proposiciones pp, qq y rr tenemos:
75
3 La disyunción exclusiva
Este tipo de disyunción es más estricto y hace referencia al
ejemplo ilustrativo 1 donde no es posible que en una
proposición compuesta sea verdadera si las dos son verdadera,
como máximo solo es posible elegir una proposición verdadera
para que la proposición compuesta sea verdadera.
76
o fuerte y las dos usan literalmente la letra “o” pero de formas
distintas.
3.1.1 Ejemplo
77
o O estas en inmóvil o estás en movimiento.
VV VV FF
VV FF VV
FF VV VV
FF FF FF
78
Espero que con estos ejemplos, definiciones, propiedades y
algunas leyes lógicas logres entender el significado de la
disyunción y sus dos únicas variantes necesarias.
x∈A+Bx∈A+B
Si queremos fusionar estas dos interpretaciones, se
expresa de la siguiente manera:
A+B={x|x∈A△x∈B}A+B={x|x∈A△x∈B}
Ahora veamos como se representa gráficamente:
79
Ten en cuenta que no existe términos en común entre los
conjuntos AA y BB, esto se representa con el símbolo de
intersección “∩∩”, así A∩B=ϕA∩B=ϕ, el símbolo
“ϕϕ” significa que no existen elementos y se
llama conjunto vació.
Llegamos al final del tema, espero que les haya sido de
mucha ayuda. En la siguiente sección explicaré uno de los
conectores lógicos muy importantes después de la
disyunción, me refiero a la condicional material.
5. Condicional Lógica
80
1.1.1 Ejemplos
6. La Bicondicional
81
depende de la otra y viceversa, es un concepto intuitivo que
vamos a tratar en breve.
82
o 2.2 La conjunción lógica
o 2.3 Disyunción inclusiva
o 2.4 Disyunción exclusiva
o 2.5 Condicional material
o 2.6 Bicondicional
3 Implicación
4 Combinaciones de variables proposicionales
5 Inconveniente al desarrollar una tabla de verdad
6 Como realizar una tabla de verdad de un esquema molecular
o 6.1 Tipos de tablas de verdad
6.1.1 Contingencia
6.1.2 Tautológia
6.1.3 Contradictoria
Hola amigos, hoy les traigo una nueva entrada y una de las más
importantes. Esta sección esta dedicada a la teoría de la
demostración matemática donde estudiaremos los fundamentos
de la demostración como también sus inconvenientes y
paradojas que esta presenta, también resaltaremos una solución
indeseable pero aceptado hasta la actualidad.
1 Demostraciones ambiguas
2 El problema de la formalización
3 El desarrollo de las demostraciones matemáticas
4 Razonamiento deductivo como método de demostración
5 Razonamiento inductivo como método de demostración
6 La paradoja del cuervo
7 Sherlock Holmes y el problema de la infinitud
8 La necesidad de tener una teoría más formal
9 Pero vino Gödel y lo estropeó todo
o 9.1 Punto final
83
13. Circuitos Lógicos
84