REPÚBLICA BOLIVARIANA DE VENEZUELA
UNIVERSIDAD NACIONAL EXPERIMENTAL "SIMÓN RODRÍGUEZ"
NÚCLEO MARISCAL ANTONIO JOSÉ DE SUCRE
EXTENSION CUMANA
Lógica proposicional
Integrantes:
Adrián Zacarías - C.I: 29.721.597
Anthony Mistage - C.I: 29.822.919
Aurys Pinto – C.I: 28.725.251
Daviangela Duarte – C.I: 31208712
Diego Cova – C.I: 30.444.214
José Mundarain - C.I: 24.877.545
Juan Córdova - C.I: 24.513.869
Nazareth Favelo – C.I: 31157615
Vicente Peña - C.I: 30.078.879
Admin. Mención Informática - Sección 03 - Precálculo
Cumaná, mayo de 2022
1.- Lógica
La lógica ofrece métodos que enseñan cómo elaborar proposiciones, evaluar su valor de
verdad y determinar si las conclusiones se han deducido correctamente a partir de
proposiciones supuestas, llamadas premisas, además, la lógica es una ciencia que se interesa
por las relaciones existentes entre las proposiciones con el fin de proporcionar tres
características del razonamiento lógico: conciso, preciso y claro.
2.- Proposición
Es una oración declarativa que puede tomar el valor de verdadero o falso, pero no ambos a
la vez. La proposición es el elemento esencial de la lógica para la matemática. En efecto, a la
proposición se le puede considerar excepción lingüística que tiene la propiedad de tomar un
solo valor de verdadero o falso, que sirve para la simplificación de argumentos complicados
se
crea un lenguaje artificial en donde se establece un conjunto de reglas claras, bien definidas y
no se presentan ambigüedades ni vaguedades del lenguaje corriente.
Es importante tener en cuenta que las proposiciones son oraciones declarativas y tienen
una estructura definida así un sujeto bien definido, un predicado y una conjugación de un
verbo. El simple sustantivo o sujeto no configura una proposición.
Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas del
alfabeto tales como p,q,r,s,t, …x,y,z. las cuales reciben el nombre de letra o variables
proposicionales, de esta manera, el lenguaje proposicional se hace más simple y exacto que el
lenguaje cotidiano.
Las proposiciones se pueden clasificar en proposiciones simples y compuestas.
• Proposición simple: es toda aquella en la que no hay operadores lógicos. O sea, aquellas
cuya formulación es, justamente, simple, lineal, sin nexos ni negaciones, sino que expresa un
contenido de manera sencilla.
Por ejemplo: “El mundo es redondo”, “Las mujeres son seres humanos”, “Un triángulo
tiene tres lados” o “3 x 4 = 12”.
• Proposiciones compuestas: Las proposiciones compuestas son aquellas que contienen
algún tipo de operadores lógicos, como negaciones, conjunciones, disyunciones,
condicionales, etc. Generalmente poseen más de un término, o sea, están formadas por dos
proposiciones simples entre las cuales hay algún tipo de vínculo lógico condicionante.
Por ejemplo: “Hoy no es lunes” (~p), “Ella es abogada y viene de Irlanda” (pˆq), “Llegué
tarde porque había mucho tráfico” (p→q), “Comeré tortilla o me iré sin almorzar” (pˇq).
3.- Notación
La matemática se apoya en un lenguaje simbólico formal, la notación matemática, que
sigue una serie de convenciones propias. Los símbolos representan un concepto, una relación,
una operación, o una fórmula matemática según ciertas reglas. Estos símbolos no deben
considerarse abreviaturas, sino entidades con valor propio y autónomo.
Algunos principios básicos son:
• Los símbolos de una letra se representan en letra cursiva: , etc.
• Los símbolos de varias letras se representan en letra redonda: , etc.; en lugar
de no debe escribirse , porque eso representaría el producto en lugar del
logaritmo neperiano.
• Según la norma ISO 31 los operadores diferenciales y las constantes matemáticas
universales ( ), también se escriben con letra redonda:
4.- Conectivos Lógicos
En lógica, una conectiva lógica, o también conectiva, (también llamado operador lógico o
conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien
formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la
fórmula compuesta depende del valor de verdad de las fórmulas componentes.
Tipos de conectivos lógicos:
• Negación: Éste es un conectivo que sólo afecta una variable, o bien a una expresión
completa considerada como unidad. Refleja el sentido de “no” o “es falso que” del lenguaje
ordinario. Vamos a representarla con la tilde “~”. Representa la inversión del valor de verdad
de una proposición. Por ejemplo, sea P = “Hoy es lunes”. Entonces ~P significa: “Hoy no es
lunes”, o “Es falso que hoy es lunes”.
La operación de la negación puede representarse con la siguiente tabla:
• Conjunción: Es posible conjuntar dos o más proposiciones, es decir, la conjunción es
un conectivo binario. Una conjunción es Falsa cuando cualquiera de sus componentes es
Falso. Refleja el sentido de “y”, “pero”, “que”, entre otros, del lenguaje ordinario. Se
representa por el símbolo “^”.
Por ejemplo, sea P = “Hoy es lunes” y Q = “Hoy está lloviendo”. Entonces P ^ Q
significa: “Hoy es lunes y está lloviendo”.
La operación de la conjunción puede representarse con la siguiente tabla:
• Disyunción Inclusiva: En razonamiento formal, una disyunción lógica (V) (también
conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos
proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas
proposiciones son falsas, y en cierto de cualquier otra forma.
• Disyunción exclusiva: (también llamado bidisyuntor lógico, disyuntor excluyente, "o"
fuerte, "o" exclusivo, o desigualdad material en lógica proposicional) es un operador lógico
simbolizado como XOR, EOR, EXOR, ⊻ , ⊕ es un tipo de disyunción lógica de dos
operandos.
Una disyunción exclusiva solamente es verdadera cuando ambas frases tienen valores
diferentes y es falsa si las dos frases son ambas verdaderas o ambas falsas. Una tabla de la
verdad de la disyunción exclusiva es como ésta:
• Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el
consecuente es falso. De la verdad no se puede seguir la falsedad. Su tabla de la verdad es:
• Bicondicional: Este conectivo también es llamado doble implicación o teorema
recíproco. La bicondicional sólo es verdadera si sus dos componentes tienen el mismo valor
de verdad, es decir, ambos son Verdaderos o ambos son Falsos. Refleja el sentido de “sí y
sólo si”, “equivale a”. Se representa por medio de una flecha doble: “↔”. Por ejemplo, sea P
= “Hoy es domingo” y Q = “Mañana será lunes”. P ↔Q significa: “Hoy es domingo si y sólo
si mañana será lunes”, o “Hoy es domingo equivale a que mañana será lunes”.
La operación de la bicondicional puede representarse con la siguiente tabla:
4.- Fórmula proposicional
En lógica proposicional , una fórmula proposicional es un tipo de fórmula sintáctica que
está bien formada y tiene un valor de verdad . Si se dan los valores de todas las variables en
una fórmula proposicional, se determina un valor de verdad único. Una fórmula proposicional
también puede denominarse expresión proposicional , oración o fórmula proposicional.
Una fórmula proposicional se construye a partir de proposiciones simples , como "cinco es
mayor que tres" o variables proposicionales como P y Q , usando conectivos u operadores
lógicos como NOT, AND, OR o IMPLIES; por ejemplo: ( P Y NO Q ) IMPLICA ( P OR Q ).
En matemáticas , una fórmula proposicional a menudo se conoce más brevemente como
una "proposición", pero, más precisamente, una fórmula proposicional no es una proposición
sino una expresión formal que denota una proposición , un objeto formal en discusión, al
igual que una expresión tal ya que " x + y " no es un valor, pero denota un valor. En algunos
contextos, mantener la distinción puede ser importante.
5.- Tabla de la verdad
Es una tabla que muestra el valor de verdad de una proposición compuesta, para cada
combinación de valores de verdad que se pueda asignar a sus componentes. Fue desarrollada
por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que
introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
La tabla de los "valores de verdad", es usada en el ámbito de la lógica, para obtener la
verdad (V) o falsedad (F), valores de verdad, de una expresión o de una proposición.
Además, sirven para determinar si es que un determinado esquema de inferencia es
formalmente válido como un argumento, llegando a la conclusión de que este es una
tautología (se habla de una tautología cuando todos los valores de la tabla mencionada son
"V" o sea verdadero).
Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas
propiedades lógicas y semánticas de enunciados del lenguaje natural o de fórmulas del
lenguaje del cálculo proposicional:
1. Sin son tautológicas, contradictorias o contingentes
2. Cuáles son sus condiciones de verdad
3. Cuál es su rol inferencial, es decir, cuáles son sus conclusiones lógicas y de qué otras
proposiciones se siguen lógicamente.
6.- Tautología.
Una tautología es una expresión lógica que es verdadera para todos los posibles valores de
verdad de sus componentes atómicos. Las proposiciones dan el resultado positivo. La
construcción de una tabla de verdad es un método efectivo para determinar si una fórmula
cualquiera es una tautología o no.
Para determinar si una fórmula cualquiera es una tautología, basta con considerar todas las
posibles interpretaciones de las fórmulas atómicas, y calcular el valor de verdad de la fórmula
completa. Esto se logra mediante una tabla de verdad.
Ejemplos de tautología:
Son ejemplos de tautología los siguientes enunciados:
• Un hombre es un hombre.
• Corrí la distancia con mis propios pies.
• Todo lo que está de más, sobra.
• Las cosas cayeron hacia abajo.
• Subí hacia arriba de la escalera.
• El frío es causado por el descenso de la temperatura.
• Y en términos lógicos, un ejemplo de tautología es la expresión: (p ^ q) → p , cuya tabla
de la verdad sería la siguiente:
7.- Leyes de la lógica.
Las leyes lógicas son proposiciones universales, necesarias, evidentes y verdaderas.
Dichas leyes son cuatro, el principio de identidad, el de contradicción, el de tercero excluido
y el de razón suficiente. Las tres primeras leyes fueron descubiertas por Aristóteles y la cuarta
por Leibniz.
Las leyes lógicas son universales, se usan en las operaciones con conceptos y juicios, en
los razonamientos, demostraciones y refutaciones. Las formales reflejan en la conciencia
humana ciertas relaciones existentes entre los objetos del mundo objetivo o propiedades
habituales de los objetos como su relativa estabilidad, certeza, la incompatibilidad y la
ausencia simultanea de unos mismos indicios.
Las leyes de la lógica son:
• Ley de Identidad
Una de las leyes básicas del pensamiento correcto, cuya observancia contribuye a la
certidumbre, la precisión y la claridad en el empleo de conceptos y juicios. El razonamiento.
En el pensamiento, la ley de identidad es una regla normativa (principio) que estipula que en
el proceso de raciocinio no se puede cambiar una idea por otra, un concepto por otro, pues de
lo contrario surgirían los errores lógicos llamados "suplantación del concepto" o
"suplantación de la tesis". La ley de identidad significa asimismo que no se puede hacer pasar
las ideas idénticas por distintas y, viceversa, las distintas por idénticas, es decir, que una cosa
es idéntica a sí misma, lo que es, es; lo que no es, no es: ("A es A", o "no A es no A")
Los individuos que utilicen términos y conceptos en un sentido distinto al habitual, sin
prevenir de ello, violarán la ley de identidad. Se cometen a menudo errores lógicos al
utilizarse homónimos o palabras de igual forma y de distinto sentido. Es imprescindible
observar la ley de identidad en todas partes: en la ciencia, el arte, la enseñanza, la vida
cotidiana, etcétera. La violación de la ley de identidad provoca chistes, retruécanos y
ambigüedades. El cumplimiento de esta ley en el pensamiento ayuda a evitar la
incomprensión.
• Ley de contradicción
Ley de la lógica que dice que dos proposiciones que se niegan recíprocamente no pueden ser
auténticas ambas a la vez. Aristóteles dio la primera formulación de dicha ley. La ley de
contradicción puede formularse también de la siguiente manera: una proposición no puede ser
a la vez auténtica y falsa. La penetración de las contradicciones formales en el razonamiento
o en la teoría científica los hace inconsistentes. La ley de contradicción es el reflejo en el
pensamiento de la determinación cualitativa de los objetos, del hecho tan sencillo de que, si
nos abstraemos del cambio del objeto, éste no puede poseer a la vez propiedades mutuamente
excluyentes.
• Ley de no contradicción
En los objetos del mundo real son imposibles la presencia y la ausencia simultáneas de una
propiedad o relación (Por ejemplo: es imposible que usted esté en este momento en casa y no
esté en casa). Por eso, en sus pensamientos y juicios el hombre no debe afirmar algo respecto
al objeto A y, simultáneamente, negar lo mismo, pues de otro modo surgirá una contradicción
lógica formal. Siguiendo esta ley es imposible afirmar y negar que una cosa es y no es al
mismo tiempo y bajo la misma circunstancia ("A" no es "no A").
O bien, también puede enunciarse que dos proposiciones contradictorias no pueden ser a la
vez verdaderas.
No surge una contradicción si se trata de diferentes objetos o de un mismo objeto tomado en
distintas situaciones u observados en diferente tiempo (Por ejemplo: "Esta camisa es nueva" (
al comprar); " Esta camisa ya está usada" ( la camisa anterior usada después de la compra) no
se contradicen si se trata de una misma camisa observada en momentos diferentes.
La ley de no contradicción califica la contradicción lógica formal de grave error,
incompatible con el pensamiento lógico.
• Ley del tercero excluido
En los objetos del mundo objetivo está presente o ausente un indicio. Por eso, en los
juicios del hombre que reflejen una determinada situación deben corresponderse sus ideas
con el estado real de las cosas. La ley del tercero excluido fue formulada por Aristóteles:
«No es posible que haya un término intermedio entre los dos términos de una contradicción,
sino que es necesario afirmar o negar una cosa de otra cualquiera.»
La ley del tercero excluido se formula así:
«Uno de dos juicios contradictorios es verdadero y el otro falso, y no es posible un tercero.»
Es decir, una cosa es o no es, no cabe un término medio :("A es B", o "A no es B"). O bien,
también puede enunciarse como no hay medio entre dos proposiciones contradictorias.
• Ley de la razón suficiente
Esta ley, formulada en forma evidente en el siglo XVII por Leibniz, señala que ningún
fenómeno puede ser real y ninguna afirmación, verdadera, sin la razón suficiente de por qué
las cosas son así y no de otro modo.
«Toda idea verdadera debe tener suficiente fundamentación.» Gottfried Wilhelm Leibniz
Solo se trata de fundamentar una idea veradera, pues es imposible fundamentar
suficientemente una tesis (juicio) falsa. A diferencia de las leyes de identidad, de no
contradicción y del tercero excluido, las cuales tienen una formulación sustancial como
principios del pensamiento y en la lógica se expresan con fórmulas, la ley de la razón
suficiente no tiene fórmula, pues solo posee carácter substancial.
• Modus tollendo tollens: El modus tollendo tollens (latín: "el modo que, al negar, niega",
conocido como modus tollens,2345 negación del consecuente o ley de contraposición)6 es
una forma de argumento válida y una regla de inferencia en lógica proposicional. Se puede
resumir como "Si P implica Q, y Q no es cierto, entonces P no es cierto".
• Modus tollendo tollens: es una aplicación de la verdad general de que, si una
declaración es válida, también lo es su contraposición. La historia de la regla modus tollendo
tollens se remonta a la antigüedad, siendo los estoicos los primeros en declarar explícitamente
esta forma válida de argumento.
8.- Leyes de Equivalencia
• 1.- Conmutativa CONM
Esta ley puede aplicarse con tres de los cuatros conectivos diádicos: conjunción,
disyunción y bicondicional. Con el único conectivo que no puede aplicarse esta ley es con el
conectivo de la condicional. Cambia el orden de las proposiciones sin modificar el conectivo.
(P ^ Q) ⇆ (Q ^ P) - (P v Q) ⇆ (Q v P)
• 2.- Doble negación DN.
Una proposición doblemente negada es igual a su afirmación y viceversa.
P ⇆ (~~P)
• 3.- De Morgan
Tiene dos formas en las que se puede aplicar la ley. A partir de una proposición en
conjunción negada, se puede obtener la negación de cada uno de los conjuntivos, pero
cambiando el conectivo a disyunción, pero cambiando el conectivo a conjunción.
[~( P ^ Q)] ⇆ (~P v ~Q) o bien [~(P v Q)] ⇆ (~P ^ ~Q)
• 4.- Asociación ASOC
Esta ley ordena de diversas formas sin alterar los productos, cuando se tenga el mismo
conectivo lógico, ya sea la conjunción o disyunción.
[(P v Q) v R] ⇆ [P v (Q v R)] o bien [(P ^ Q) ^ R] ⇆ [P ^ (Q ^ R)]
• 5.- Distribución DISTR
Se aplican cuando se tienen dos conectivos diferentes: conjuncion-disyuncion o bien
disyuncion-conjuncion. Distribuye a la proposición fuera del paréntesis con las que están
dentro de este.
[(P v Q) ^ R] ⇆ [(P ^ R) v (Q ^ R)
[(P ^ Q) v R)] ⇆ [(P v R) ^ (Q v R)
• 6.- Tautología trivial TAU
Dos proposiciones iguales unidas por una conjunción o una disyunción, es equivalente a tener
la misma proposición.
(P v P) ⇆ P - (P ^ P) ⇆ P
• 7.- Implicación material I.M
Esta ley permite cambiar el conectivo principal de la proposición “condicional” por
“disyunción”, pero negando el antecedente.
(P → Q) ⇆ (~P v Q) o bien (P → Q) ⇆ ~(P ^ ~Q)
• 8.- Trasposición TRAS
La trasposición de una preposición condicional es una proposición con el mismo conectivo
condicional cambiando las preposiciones antecedente y consecuente y negándolas
respectivamente.
(P → Q) ⇆ (~Q → ~P)
• 9.- Exportación EXP
Cambia de conectivo de conjunción a condicional cuando el antecedente es una conjunción, y
los agrupa de diferente manera al dejar el primer conjuntivo como antecedente de toda la
preposición y pasar el segundo conjuntivo al consecuente de la proposición como parte de
otra condicional.
[(P ^ Q) → R] ⇆ [P → (Q → R)]
• 10.- Equivalencia material E.M
La proposición bicondicional equivale a la conjunción de las proposiciones condicionales que
forman parte del bicondicional en ambos sentidos.
(P ⇆ Q) ⇆ [(P → Q) v (~Q → ~P)
(P ⇆ Q) ⇆ [(P → Q) ^ (Q → P)
9.- Estudio específico del condicional
• Directa: Son proposiciones de la forma "si p entonces q" Se denota p → q
Ejemplo: Si ella entrega la tarea, entonces aprueba el curso
p: ella entrega la tarea
q: aprueba el curso
Directa: p → q. Si ella entrega la tarea, entonces aprueba el curso
• Reciproca: Son proposiciones de la forma ''Si q entonces p'', se denota q → p
Ejemplo:
Si los tres lados son congruentes, entonces el triángulo es equilátero
p: los tres lados son congruentes
q: el triángulo es equilátero
Recíproca: q → p. Si el triángulo es equilátero, entonces los tres lados son congruentes.
• Contraria del directo: Son proposiciones de la forma "si no p entonces no q" Se denota
p→¬q
Ejemplo:
Si ella entrega la tarea, entonces aprueba el curso
p: ella entrega la tarea → ¬p: ella no entrega la tarea
q: aprueba el curso → ¬q: no aprueba el curso
Contraria del directo: Si ella no entrega la tarea, entonces no aprueba el curso
• Contraria del reciproco:
gEn lógica, la contraposición de una declaración condicional se forma negando ambos
términos e invirtiendo la dirección de la inferencia. Explícitamente, la contraposición de la
declaración «si A, entonces B» es «si no es B, entonces no A». Una declaración y su
contrapositiva son lógicamente equivalentes: si la afirmación es cierta, entonces su
contrapositivo es cierto, y viceversa.3
Si tenemos que demostrar que una proposición p implica una proposición q (es decir, si se
da p, se tiene que dar q), a veces es más sencillo demostrar que si no se da q, entonces no
puede cumplirse p. Esto se conoce como demostración por contrarrecíproco o
contraposición. Nótese que "p implica q" y "no q implica no p" son proposiciones
equivalentes.
Cualquier demostración por contraposición también puede formularse trivialmente en
términos de una demostración por contradicción: Para demostrar la proposición p→q,
consideramos lo contrario . Puesto que tenemos
una prueba de que tenemos lo que llega a la
contradicción que se pretende. Así que demostración por contraposición es en cierto sentido
"al menos tan difícil de formular" como demostración por contradicción.
Ejemplo: "Demuéstrese que todos los números primos mayores que 2 son impares". Aquí,
p: "n es un número primo mayor que 2"
q: "n es un número impar".
Demostrar que
p→q: "si un número primo es mayor que 2, entonces es impar "
Es lo mismo que demostrar que
: "si un número entero es par (i.e. no impar), entonces no es un número primo o
es menor o igual que 2."
Conclusión.
El progreso formal matemático comienza por la identificación de determinados conceptos
con los fenómenos o situaciones particulares que se pretenden estudiar. La lógica matemática
eleva a grado de máximo la abstracción matemática. De este modo, estudia los sistemas
lógicos y proposicionales sin tener en cuenta su posible representación de fenómenos de
naturaleza real.
La lógica proposicional es una de las piezas fundamentales de la Inteligencia Artificial, ya
que, para realizar los cambios necesarios para la evolución de esta ciencia, se precisa de un
lenguaje formal para representar los hechos que se reciben del mundo real y el uso de las
proposiciones.
Cada persona piensa de manera diferente y la lógica se puede utilizar para resolver
problemas de maneras diferentes, cada persona puede resolver un problema lógico de
distintas maneras, todo dependerá de su capacidad de pensamiento y los métodos que quiera
utilizar
