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 cuya validez no desempeña ningún papel la estructura interna de las proposiciones
que los componen.
Hay razonamientos formalmente válidos que no lo son simplemente en virtud de las conexiones
externas entre los enunciados. Es decir, su forma no puede exhibirse tan solo mediante letras y
conectivos, sino que es preciso penetrar en la estructura interna del enunciado, para buscar la
validez de la inferencia en cuestión.
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 un instrumento adicional de deducción.
Ejemplo:
En las tres proposiciones anteriores los individuos son: "Lina", "Jardín" y "El Atrato". Las propiedades
atribuidas a dichos individuos son las frases: "estudia mucho", "es un municipio muy próspero" y "es
muy caudaloso".
Este tipo de proposiciones en donde se atribuye una propiedad a un individuo determinado son las
llamadas proposiciones monádicas . Los nombres propios hacen referencia a cualquier tipo de
individuos determinados: personas, animales, países, ríos, etc. Se simbolizarán con letras minúsculas
a, b, c ... y se llamarán constantes individuales o términos . Se llamará predicado a la propiedad
que se afirma acerca del sujeto o término, y se simbolizará con letras mayúsculas: A, B, C...
9
Estudia mucho, por la letra P.
Pl
Rj
Ta.
Las proposiciones simples pueden combinarse mediante conectivos lógicos para formar proposiciones
compuestas tales como:
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 a la expresión "x es médico" en donde x es una variable individual, la cual indica que el
sujeto o término que tiene la propiedad de ser médico es indeterminada. La expresión "x es médico"
no puede considerarse como una proposición ya que no es en cuanto tal ni verdadera ni falsa. Aquí x
es una variable que toma valores dentro de un conjunto, llamado conjunto de referencia .
Expresiones de esta forma, dadas en términos de una o varias variables, reciben el nombre
de funciones proposicionales .
Cuando en una función proposicional se sustituyen las variables por constantes individuales o términos
específicos, se convierte en proposición. Comúnmente se usarán las letras x, y, z, w para denotar las
variables. Las funciones proposicionales pueden negarse y también combinarse con otras funciones
10
proposicionales o proposiciones simples por medio de los conectivos.
Ejemplo:
Si en una forma compuesta hay por lo menos una función proposicional como componente, entonces
toda la forma compuesta es una función proposicional.
Ejemplo:
• x es par y 6 también.
• x e y son impares.
3) Dadas las siguientes funciones proposicionales, individualizar las variables para obtener
proposiciones verdaderas.
x es un nevado colombiano.
x divide a z y w.
4.3 Cuantificadores
Las expresiones:
11
Algunos hombres son sabios.
Todo x
cualquiera x
cada x
Hay x
Algún x
Algunos x
Existen tres formas de convertir una función proposicional en una proposición a saber:
12
Un enunciado de la forma es verdadero cuando al menos un caso de sustitución de la
variable x por un término específico del conjunto de referencia, convierte a en un enunciado
verdadero.
Las proposiciones universales pueden aparecer negadas, como en el enunciado: "No todos son
Las palabras "ningún", "ninguno", "nada", "nadie" corresponden también a enunciados universales con
negaciones, pero de una manera distinta a las proposiciones anteriores. La proposición "ninguno es
mecánico" no equivale a la proposición "no todos son mecánicos" sino a la expresión "para todo x, x no
Las proposiciones existenciales pueden estar negadas, como por ejemplo "no es cierto que hay
Observación.
Notas:
Convenciones.
13
1. Sea P una fórmula no cuantificada en x y no cuantificada en y . Designaremos por y
se lee “ y sustituye a x en P ”, la fórmula que resulta de sustituir todas las ocurrencias
de x en la fórmula P , por y.
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 para el cálculo de cuantificadores, cuáles de los siguientes expresiones son fórmulas:
2.1
2.2
2.3
2.4
14
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 identifica y es precisamente que están señalando propiedades muy específicas que les
permiten, en esta forma, cumplir con sus objetivos.
Ilustración 1.
El enunciado: “Existe al menos un x tal que x >0”, tiene sentido cuando especificamos el universo de
validez de x ; esto es cuando restringimos a los x dentro de un universo más concreto, así, el
enunciado anterior adquiere pleno significado cuando lo precisamos en los siguientes
términos: . De la función 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 contexto de los números reales, pero no tendría absolutamente ningún significado en
muchos otros contextos; por ejemplo: conjunto de los animales, seres vivos, hombres o cosas en
general. En este caso la función proposicional recibe el nombre de restricción y el enunciado
se estructuraría así: .
Observaciones.
• Como puede concluirse de los ejemplos anotados, la restricción se articula en forma diferente
15
según el enunciado corresponda a una expresión cuantificada existencialmente o universalmente.
Notación.
Dado el uso continuo que presenta la cuantificación restringida, utilizaremos las siguientes
convenciones para designarla:
Ilustración 3.
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:
16
Simbolización:
Cuantificación restringida:
• 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.
17
2.10 Todo entero de la forma 6 k +5 es también de la forma 3 k +2.
2.11 Existe c , c número 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 función f , es mayor que E .
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
También, decir que ( " x)(P x ) es falsa significa entonces que Ø ( " x)(P x ) es verdadera y por lo tanto
lo es ( $ x )( Ø P x ). Este resultado es la base de una regla lógica útil para demostrar que un
enunciado es falso. Esta regla se llama regla del contraejemplo y dice así: Si ( $ x)( Ø P x ) es
18
verdadera, entonces ( " x)(P x ) es falso. El método de 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 es impar". A dicho número, el dos, se le llama un contraejemplo.
Ilustración 4.
Determinar la negación para cada una de las fórmulas siguientes, utilizando al máximo las
equivalencias establecidas.
Negación:
Negación:
Negación:
Esquema Operativo.
Objetivo. Demostrar que una fórmula específica del tipo es teorema, o también
que es falsa.
• Por lo anterior debe verificarse que para un objeto concreto a , es verdadera. En este
caso de a decimos que es un contraejemplo con relación a la fórmula .
Ilustración 5.
19
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 ”
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 objetivos principales en este trabajo. Nos queda por analizar el método de Inducción
matemática, que corresponde a propiedades derivadas del conjunto de números enteros y en
consecuencia se desarrollará como un apéndice de este texto.
20
•
• ( " x)(C x Þ D x ).
• ( $ x)(P x Q x ).
• ( " x)(P x M x ).
• ( $ x)(A x Þ B x ).
21
• Determinar la negación para las siguientes proposiciones.
• Determinar la negación para cada una de las fórmulas simbolizadas en el ejercicio 4.4 numeral 2,
utilizando al máximo las equivalencias establecidas. Exprese finalmente las proposiciones negadas en
términos de cuantificadores restringidos.
• Utilice contraejemplos para mostrar que los recíprocos de los siguientes teoremas no son teoremas.
• 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 sustitución de la variable x por constantes de su conjunto de referencia, da lugar a un
enunciado verdadero.
4.6.2 Generalización Universal (G.U). Si una función proposicional tiene todos sus casos de
sustitución por constantes de su conjunto de referencia verdaderos, se infiere la verdad del
enunciado ( " x)(P x ).
22
infiere de él un caso de sustitución de la función proposicional, con la restricción de que se utilice
una constante que no halla figurado antes dentro de la demostración. Es decir, que no se halla
especificado.
"Pedro es un hombre"
• Hp
• ( $ x)(H x Sx)
• Sp por simplificación en 2.
4.6.4 Generalización Existencial (G.E). Si una función proposicional tiene por lo menos uno de sus
casos de sustitución por constantes de su conjunto de referencia verdadero, se infiere la verdad del
enunciado ( $ x)(P x ).
Nota: Cuando en una demostración haya que aplicar la E.E y P.U como en el ejemplo siguiente, es
necesario aplicar en primer término E.E que es la regla que tiene restricciones y luego la P.U puede
hacerse en la misma constante sin ningún problema.
Luego,
1. ( " x)(P x Þ V x M x ).
23
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.
1. Premisa
__________
__________
n. Q
• Observaciones Generales.
• Pruebas de existencia:
El axioma 5 permite establecer un procedimiento para demostrar que una fórmula específica de la
24
forma es teorema.
• . Axioma 5.
• . Regla de validez 2.
Ilustración 5.
Designamos por P x :
es verdadera.
Luego es teorema.
25
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.
Ilustración 7.
1) Premisa
• Premisa
• Equivalencia en (1)
26
• 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 proposicional, demostrar la validez de los siguientes razonamientos.
o Si todo es espacial o temporal, entonces la tierra está en movimiento. Todo es
temporal. Luego, la tierra está en movimiento.
o Hernández es estudiante y empleado. Todos los empleados cobrarán su sueldo y su
aguinaldo. Luego, Hernández cobrará su sueldo.
o Las serpientes son reptiles. Los reptiles no son animales mamíferos. Por lo tanto, las
serpientes no son animales mamíferos.
“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
• 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.
27
• Analizar la siguiente argumentación y determinar su validez o invalidez.
“Todos los animales racionales tienen lenguaje oral o escrito. Existen animales racionales. Todo aquel
que tenga un lenguaje oral o escrito está en la escala máxima de evolución”. Conclusión: todos los
animales están en la escala máxima de evolución.
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 requeridos en las demostraciones que se proponen a continuación.
28
• Simbolizar los siguientes razonamientos y demostrar la conclusión dada a partir de las respectivas
premisas.
29
Conclusión : Dos no es un número negativo.
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. Carlos no es estudiante de tiempo parcial y tampoco lo es de tiempo completo.
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 estudiantes que ingresan por transferencia a la U de A deben acreditar estudios superiores
previos.
5.7 Cualquiera que ocupe un cargo público no puede participar en política. Cada uno de los asistentes
al banquete ocupa un cargo público o es candidato a la presidencia.
5.8 Ningún estudiante que no dedica mucho tiempo a su labor, obtiene un título bien respaldado. Hay
estudiantes que obtienen un titulo bien respaldado.
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.
30
Conclusión : Scarlatti no compuso la obertura 1.812.
Observaciones.
• En esta fórmula se conjugan dos elementos importantes que caracterizan algunos teoremas
fundamentales de la matemática; por una parte la existencia establecida en la primera fórmula.
• La segunda fórmula que conforma la conjunción principal, aporta la unicidad . Observemos que una
prueba de unicidad parte del supuesto de que hay dos objetos que verifican una propiedad P y se
concluye finalmente que son el mismo objeto.
• 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.
31
esto es:
Simplificación
Transitividad en la igualdad
Método directo
G.U
G.U
Demostrar que:
32
La distinción entre proposiciones afirmativas y negativas se llama distinción (u oposición) de cualidad
, en tanto que la distinción entre universales y existenciales se denomina distinción (u oposición) de
cantidad .
El diagrama representa la oposición de proposiciones de las cuatro formas. Dos proposiciones que
tienen términos idénticos se dice que son opuestas entre sí, si difieren en cantidad, o en calidad, o en
cantidad y calidad a la vez.
A y E son contrarias, y las proposiciones contrarias se definen como aquellos pares de proposiciones
universales que difieren en la cualidad. I y O son subcontrarias, son proposiciones existenciales que
difieren en cualidad. A y E son, respectivamente, las contradictorias de O e I, difiriendo tanto en
cantidad como en cualidad.
Ilustración 9.
Tomemos las siguientes proposiciones para ilustrar las formas categóricas vistas:
A. ó también
E. ó también
33
I. , ó también
O. ó también .
En este caso particular podemos también interpretar las proposiciones anteriores así:
A. Todo E es P .
E. Todo E es no P .
I. Algún E es P .
O. Algún E no es P .
Ilustración 10.
Consideremos el silogismo.
Designaciones y convenciones.
• La premisa donde figura el término mayor, se denomina premisa - mayor , en nuestro ejemplo
corresponde a la premisa 2).
• La premisa donde figura el término menor, se denomina premisa menor , en nuestro ejemplo
34
corresponde a la premisa 1).
• El término “anfibio” que no figura en la conclusión pero que aparece en cada premisa se denomina
término medio , pues su función es servir de nexo entre el término mayor y el menor.
Conclusión Todo C 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 y dos posibles posiciones en cada premisa, se generan por lo tanto cuatro figuras que se
identifican en general con los siguientes números:
1 2 3 4
P mayor M P P M M P P M
P menor S M S M M S M S
Conclusión S P S P S P S P
Como en cada figura las premisas y la conclusión pueden corresponder a una cualquiera de las cuatro
formas categóricas, 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 categóricas y al final, el número asociado
a la figura . En el ejemplo que hemos ilustrado su designación corresponde a AAA - 1.
Ilustración 11.
Para los silogismos que se enuncian a continuación, presentar su estructura simbólica y establecer su
código de clasificación.
Estructura simbólica.
35
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
• 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
36
excéntricos.
• Algunos burócratas no son elegidos con base en su habilidad y todos los burócratas son servidores
civiles, por eso algunos servidores civiles no han sido elegidos con base en su habilidad.
• Ninguna máquina es capaz de mantener un movimiento perpetuo; porque toda máquina está sujeta
a fricción, y nada que esté sujeto a fricción es capaz de mantener un movimiento perpetuo.
• Todo buen poema merece leerse pero algunos poemas buenos son difíciles. Por lo tanto algunas
cosas que merecen leerse son difíciles.
• Todas las personas inteligentes pueden aprender lógica, cualquiera que lea este texto es
inteligente. Por tanto cualquiera que lea este texto puede aprender lógica.
Podemos observar que, puesto que cada premisa puede ser de cualquiera de las cuatro formas
categóricas, A, E, I, O, para cada figura pueden construirse 4 x 4 x 4 = 64 posibles esquemas, llamados
modos del silogismo. Por tanto el número total de modos posibles para las cuatro figuras es de 64 x 4
= 256. Pero de ellas solamente 24 son válidas. A continuación entraremos a diferenciar las formas
válidas de las no válidas; sin embargo antes debemos aclarar que si dos silogismos tienen la misma
forma ellos son ambos válidos o inválidos, independientemente de que en un caso las premisas sean
verdaderas y en el otro falsas.
Ilustración 12.
Consideremos el silogismo.
Podemos observar que su estructura es análoga a la de nuestro primer ejemplo y el único cambio
introducido es “anfibio” por “flor”. Sus códigos son idénticos AAA - 1, y como veremos, este
corresponde a un silogismo válido en todos los casos así en el primer ejemplo las premisas sean
verdaderas y en el segundo falsas.
• Si una de las premisas es negativa, la conclusión debe ser negativa; y si la conclusión es negativa
37
una premisa debe ser negativa.
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 dice que viola la regla 1 y en consecuencia este silogismo (AAA - 2) es inválido . Un ejemplo
de esta estructura es:
38
LÓGICA PROPOSICIONAL
1. Proposiciones Lógicas
o 1.1 Ejemplos
Todos los perros tiene cuatro patas. (Verdadero)
39
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:
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
40
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
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.
41
En la lógica de primer orden o lógica de predicados no
solo se toma en cuenta el valor de verdad de una
proposición, sino también al sujeto y predicado de los
argumentos aseverativos, sin embargo, desde este
contexto también toma en cuenta los enunciados abiertos,
estos son llamados funciones proposicionales y se les
asigna un valor especifico para transformarlos en
variables proposicionales es decir, proposiciones lógicas.
La lógica de primer orden realiza un estudio mas
profundo de la lógica de un argumento, le interesa como
esta escrito el argumento y existen una serie de conceptos
que incluye de manera obligatoria y necesaria a la teoría
de conjuntos.
42
Si los españoles son europeos y Alejandro Sanz es español,
entonces, Alejandro Sanz es europeo.
Si los números pares son de color verde, entonces el numero 4 es
de color verde.
43
Los enunciados abiertos también llamadas funciones
proposicionales representan incertidumbre ya que no tenemos
datos del sujeto y simplemente no sabemos si son verdaderos o
falsos.
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)
44
La lógica proposicional estudia los valores de verdad de las
proposiciones.
Los peces viven en el mar.
10.2.1 Ejemplo
“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“.
45
como se representan simbólicamente las proposiciones lógicas.
Ahora ya sabes lo que es una proposición compuesta.
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
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)
46
o 11.3 Relación proposición-valor de verdad
Si tenemos 4 proposiciones pp, qq, rr y ss donde pueden ser
verdaderas VV y falsas FF, podemos encontrar una relación
“proposición-valor de verdad”, esto es, una correspondencia
entre proposiciones y sus valores de verdad tal como se
muestra en el siguiente diagrama.
47
El símbolo de la negación lógica es “∼∼” y si tenemos una
proposición pp, la negación de dicha proposición
sería ∼p∼p.
12.1.1 Ejemplo
pp: Los seres humanos tiene dos pies (Verdadero).
∼p∼p: Los seres humanos no tiene dos pies (Falso).
qq: el sistema operativo Ubuntu no es de
Microsoft (Verdadero).
∼q∼q: el sistema operativo Ubuntu es de Microsoft (Falso) .
o 12.2 Conjunción lógica
La conjunción lógica es una conectiva lógica que une dos
proposiciones, si las dos proposiciones son verdaderas,
entonces la conjunción es verdadera, si por lo menos una de
ellas es falsa, entonces la conjunción es falsa.
12.3.1 Ejemplos
48
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.
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.
49
respectivamente, forman una nueva proposición de la
forma p→qp→q y se lee “si pp entonces qq”.
12.5.1 Ejemplo
: Hoy llueve.
: El piso esta mojado.
: Si hoy llueve, entonces el piso esta mojado.
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.
50
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
Disyunción Exclusiva
pp qq p△qp△q
VV VV FF
VV FF VV
FF VV VV
FF FF FF
Condicional Lógica
51
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.
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“.
52
Teniendo en cuenta las conectivas lógicas y las
proposiciones equivalentes, se puede inferir una serie
de leyes proposicionales, leyes lógicas o leyes de
simplificación lógica que las proposiciones (como
también los enunciados abiertos) pueden cumplir. Aquí te
mostraremos algunas leyes lógicas:
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
(p∧q)∧r≡p∧(q∧r)(p∧q)∧r≡p∧(q∧r)
Leyes (p∨q)∨r≡p∨(q∨r)(p∨q)∨r≡p∨(q∨r)
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)∨(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 p↔q≡(p→q)∧(q→p)p↔q≡(p→q)∧(q→p)
bicondicionale p↔q≡(p∧q)∨(∼p∧∼q)p↔q≡(p∧q)∨(∼p∧∼q)
53
s
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.
54
para realizar programas y/o crear páginas web por código
55
Podemos decir entonces que la semántica es lo que tu
interpretas según el lenguaje con que estás familiarizado, por lo
general, para que la comunicación sea fluida y compartida entre
todos, debe ser una semántica estandarizada.
56
o ¿Cual es el valor de \( x \)?
o Hallar el valor de \( x \).
o Averiguar el valor de \( x \).
o ¿Cual sería 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.
57
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.
o 19.1 Referencias
58
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
59
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
60
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:
61
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
62
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:
63
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
64
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:
65
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
66
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.
67
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.
68
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
69
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
70
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.
71
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í:
72
4. La Disyunción Lógica
73
simples en cuanto a sus valores de verdad, me refiero a
la disyunción lógica.
o Samantha es mujer
o Samantha es hombre
74
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.
75
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
76
Sean las proposiciones pp, qq y rr tenemos:
77
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.
78
o fuerte y las dos usan literalmente la letra “o” pero de formas
distintas.
3.1.1 Ejemplo
79
o O estas en inmóvil o estás en movimiento.
VV VV FF
VV FF VV
FF VV VV
FF FF FF
80
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:
81
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
82
1.1.1 Ejemplos
6. La Bicondicional
83
depende de la otra y viceversa, es un concepto intuitivo que
vamos a tratar en breve.
84
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
85
13. Circuitos Lógicos
86