República Bolivariana de Venezuela
Universidad Nacional Experimental ¨Simón Rodríguez¨
Núcleo Mariscal Antonio José de Sucre
Extensión Cumaná
Carrera: Administración de Recursos Materiales y Financieros
Lógica Proposicional
Prof.: José Cedeño
Asignatura: Precálculo
Participante:
Adriana Velásquez C.I: 27.320.742
Sección: 01
Cumaná, octubre de 2024
¿Qué es la lógica Proposicional?
La lógica proposicional forma parte de la lógica clásica, y permite estudiar las
implicaciones de las variables proposicionales, así como los valores de verdad de las
proposiciones. Estos valores se construyen a partir de conectores lógicos, y Se relaciona con
la matemática, ya que utiliza símbolos que, a través de tablas de la verdad, indican lo
verdadero y lo falso.
¿Qué es el sistema formal?
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un
lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza
para deducir o demostrar teoremas y dar una definición rigurosa del concepto de
demostración. Al crear un sistema formal se pretende capturar y abstraer la esencia de
determinadas características del mundo real, en un modelo conceptual expresado en un
determinado lenguaje formal. Algunos de los sistemas formales más conocidos son la lógica
proposicional, la lógica de primer orden y la lógica modal.
¿Qué son los conectivos lógicos?
Los conectivos lógicos, también conocidos como operadores lógicos o conectivas
lógicas, son símbolos o palabras que se utilizan para conectar proposiciones o expresiones, de
manera que el valor de verdad de la proposición resultante depende de los valores de verdad
de las proposiciones originales. Además, son símbolos que se utilizan para conectar
proposiciones o sentencias, creando así una nueva proposición.
Conector de Negación (NO)
Denotado comúnmente como '¬' o simplemente como 'NO', representa la operación lógica de
negación.
La proposición resultante, ¬p, es verdadera si p es falsa, y falsa si p es verdadera.
Por ejemplo, si p representa "Hoy es lunes", entonces ¬p representa "Hoy no es lunes".
Conector de Conjunción (Y)
Denotado comúnmente como ‘∧’ , representa la operación lógica “y”.
La proposición resultante, p ∧ q, es verdadera solo si tanto p como q son verdaderas. Y será
falsa en el resto de los casos.
Por ejemplo, en la proposición “Hoy es lunes y está lloviendo”, ambas partes deben ser
verdaderas para que toda la proposición sea verdadera.
Conector de Disyunción (O)
Denotado comúnmente como ‘∨’, representa la operación lógica “o”.
La proposición resultante, p ∨ q, es verdadera si al menos una de las proposiciones p o q es
verdadera. Y será falsa cuando ambas proposiciones sean falsa.
Por ejemplo, en la proposición “Hoy es lunes o está lloviendo”, la proposición resultante será
verdadera si es lunes, si está lloviendo, o si ambas condiciones son verdaderas.
Conector de Condicional (→)
Denotado como ‘→’, representa la operación lógica “Entonces”.
La proposición resultante, p → q, es falsa solo si p es verdadera y q es falsa; en todos los
demás casos, es verdadera.
Por ejemplo, en la proposición “Si hoy es lunes, entonces está lloviendo”, la proposición
resultante es falsa solo si hoy es lunes y no está lloviendo.
Conector de Bicondicional (↔)
Denotado como ‘↔’, representa la operación lógica "Si solo si”.
La proposición resultante, p ↔ q, es verdadera si p y q tienen el mismo valor de verdad, es
decir, si ambas son verdaderas o ambas son falsas. Y falsa en el resto de los casos, es decir, si
tienen valores de verdad diferentes.
Por ejemplo, en la proposición “Hoy es lunes si y solo si está lloviendo”, la proposición
resultante es verdadera solo si ambas partes son verdaderas o ambas son falsas.
¿Que son las leyes notables?
Las leyes de la lógica proposicional son como las reglas de gramática de un lenguaje,
pero aplicadas a las proposiciones (enunciados que pueden ser verdaderos o falsos). Estas
leyes son principios fundamentales que nos permiten conectar y manipular estas
proposiciones de manera lógica, asegurando que nuestros razonamientos sean válidos y
coherentes. Al comprender y aplicar estas leyes, podemos evitar errores comunes en nuestro
razonamiento y construir argumentos más sólidos.
Existen muchas leyes de la lógica proposicional, pero algunas de las más conocidas son:
Ley de identidad: Todo es idéntico a sí mismo (A = A).
Ley de no contradicción: Nada puede ser verdadero y falso al mismo
tiempo y en el mismo sentido (No puede ser A y no-A al mismo tiempo).
Ley del tercero excluido: Toda proposición es verdadera o falsa, no hay
un tercer estado posible (A o no-A).
Leyes De Morgan: Permiten negar conjunciones y disyunciones (no (A
y B) es equivalente a (no A o no B).
La tabla de la verdad: Son una herramienta de la lógica proposicional que
permite conocer los valores de verdad de proposiciones compuestas teniendo en cuenta las
posibles interpretaciones de las proposiciones simples que la conforman. En otras palabras,
una tabla de verdad nos ayuda a determinar si una proposición compuesta es verdadera o
falsa, dependiendo de los valores de verdad que tengan las proposiciones simples que la
componen.
Ejercicios:
1) ¬ (p ∧ q → p)
p q (p ∧ q) (p ∧ q → p) ¬(p ∧ q → p)
V V V V F
V F F V F
F V F V F
F F F V F
2) (¬p ∧ q) ↔ (q ∨ ¬q)
p q ¬p ¬q (¬p ∧ q) (q ∨ ¬q) ¬p ∧ q ↔ q ∨ ¬q
V V F F F V F
V F F V F V F
F V V F V V V
F F V V F V F
3) (p → q) ↔ (¬q→¬p)
p q ¬p ¬q (p → q) (¬q → ¬p) (p → q) ↔ (¬q → ¬p)
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
4) (p ∧ q) v (r ∧¬p)
p q r ¬p (p ∧ q) (r ∧¬p) (p ∧ q) v (r ∧ ¬p)
V V V F V F V
V V F F V F V
V F V F F F F
V F F F F F F
F V V V F V V
F V F V F F F
F F V V F V V
F F F V F F F
5) [(p ∧ q) ∧ r] → p
p q r (p ∧ q) (p ∧ q) ∧ r [(p ∧ q) ∧ r] → p
V V V V V V
V V F V F V
V F V F F V
V F F F F V
F V V F F V
F V F F F V
F F V F F V
F F F F F V
6) [(p → q) ∧ (q → r)] ↔ (p → r)
p q r (p → q) (q → r) (p → r) (p → q) ∧ (q → r) [(p → q) ∧ (q
→ r)] ↔ (p →
r)
V V V V V V V V
V V F V F F F V
V F V F V V F F
V F F F V F F F
F V V V V V V V
F V F V F V F V
F F V V V V V V
F F F V V V V V
7) (p ∧ q) ∨ (r ∧ s)
p q r s (p ∧ q) (r ∧ s) (p ∧ q) ∨ (r ∧ s)
V V V V V V V
V V V F V F V
V V F V V F V
V V F F V F V
V F V V F V V
V F V F F F F
V F F V F F F
V F F F F F F
F V V V F V V
F V V F F F F
F V F V F F F
F V F F F F F
F F V V F V V
F F V F F F F
F F F V F F F
F F F F F F F
