Introducción a los Fundamentos de Lógica

Programación 1

Catedrático: Henry Ocampo

Universidad Nacional Autónoma de Honduras

28 enero 2023

Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 1 / 11
Contenido

• Proposición
• Simple
• Compuesta
• Conectivas lógicas
• Tablas de Verdad
• Negación
• Conjunción
• Disyunción
• Disyunción exclusiva
• Condicional
• Bicondicional
• Tautologı́a
• Contradicción
• Equivalencia Lógica
Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 2 / 11
Definición Proposición
Una proposición es una oración declarativa que es verdadera o falsa pero
no ambas.
Tipos
• Simples: no se pueden descomponer en algo más sencillo (primitivas).
• Compuestas: se componen de dos o más proposiciones simples.

Ejemplo:
1 Ana tiene cinco gatitos.
2 Hemingway escribió ”El Viejo y el Mar”.
3 Ana tiene cinco gatitos y Hemingway escribió ”El Viejo y el Mar”.
4 ¡Qué bonita mujer!
5 Levántate y haz tus tareas.
6 La ciudad de es la capital de Uruguay.
7 x +5=8
Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 3 / 11
Notación
• Proposiciones simples: con letras minúsculas (p, q, r )
p: Ana tiene cinco gatitos
• Proposiciones compuestas: con letras mayúsculas (A, B, C )
A: Ana tiene cinco gatitos y Hemingway escribió ”El Viejo y el Mar”

Conectivas Lógicas
• Negación: No , not , ¬ , ˜
• Conjunción: y , and , ∧
• Disyunción: o , or , ∨
• Disyunción exclusiva: ó , xor , Y
• Condicional: entonces , then , −→
• Bicondicional: si y sólo si , if only if , ←→

Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 4 / 11
Tablas de Verdad

Negación Conjunción Disyunción

p ¬p p q p∧q p q p∨q
0 1 0 0 0 0 0 0
1 0 0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1

Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 5 / 11
 Disyunción Exclusi. Condicional Bicondicional
p q pYq p q p −→ q p q p ←→ q
0 0 0 0 0 1 0 0 1
0 1 1 0 1 1 0 1 0
1 0 1 1 0 0 1 0 0
1 1 0 1 1 1 1 1 1

Jerarquı́a de los Operadores Lógicos

1 Signos de agrupación más internos
2 Negación
3 Conjunción, Disyunción y Disyunción explusiva
4 Condicional y Bicondicional

Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 6 / 11
Ejercicios:
1 Construir tabla de verdad para la proposición compuesta

A : [(p −→ q) ∧ r ] ←→ ¬(r −→ ¬q)

Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 7 / 11
 2 Evaluar la proposición

B : ¬( ¬(p −→ (q ∨ r ∧ s)) ∨ ¬(p −→ r ) ) −→ (p ←→ q ∨ r )

con los siguientes valores de verdad: p : 1, q : 0, r : 1, s : 0.

Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 8 / 11
Definición
Una proposición compuesta es una Tautologı́a si es verdadera para todas
las asignaciones de valores de verdad para sus proposiciones componentes,
y es una Contradicción si es falsa para todas estas asignaciones.

Ejemplo: construir tabla de verdad para las siguientes proposiciones.

1 B : p ∧ ¬p

Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 9 / 11
 2 A : (p −→ q) ←→ (¬p ∨ q)

Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 10 / 11
Equivalencia Lógica

Definición
Dada una proposición de la forma A ←→ B con A, B proposiciones
simples o compuestas, tales que A ←→ B es una tautologı́a, entonces, se
dice que A equivale lógicamente a B y se escribe A ⇐⇒ B.

• Una tautologı́a de la forma A ⇐⇒ B es una Ley de la Lógica

Catedrático: Henry Ocampo (UNAH) Introducción a los Fundamentos de Lógica 28 enero 2023 11 / 11