Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Departamento de Informática
Fundamentos de Informática 1
Cálculo Proposicional
Algoritmo Backtracking
Dr. Gonzalo Hernández USM FI-1 Cálculo Proposicional 3
Cálculo Proposicional:
2) Introducción
La Lógica resulta esencial para construir,
diseñar, implementar y probar correctitud en
algoritmos y programas.
Es necesario estudiar las Leyes
Fundamentales de las Derivaciones Lógicas
para estudiar la validez de las afirmaciones
realizadas
Las Proposiciones forman las Derivaciones y
sus Operaciones el Cálculo Proposicional
Dr. Gonzalo Hernández USM FI-1 Cálculo Proposicional 4
Cálculo Proposicional:
3) Argumentos y Props. Lógicas
Argumentos (Afirmaciones, Conclusiones,
Demostraciones) son Válidos o No
Lógicamente: V ó F
Proposiciones forman los Argumentos
Proposiciones Atómicas son aquellas
proposiciones que no pueden subdividirse y
pueden unirse por conexiones lógicas
Dr. Gonzalo Hernández USM FI-1 Cálculo Proposicional 5
Cálculo Proposicional:
3) Argumentos y Props. Lógicas
Ejemplos:
1) P: Si la demanda crece entonces las
compañias se expanden.
P: Si las compañias se expanden
entonces contratan trabajadores.
C: Si la demanda crece entonces las
compañías contratan trabajadores.
Dr. Gonzalo Hernández USM FI-1 Cálculo Proposicional 6
Cálculo Proposicional:
3) Argumentos y Props. Lógicas
2) Este programa de computadora tiene un
error, o el input es erróneo. El input no es
erróneo. El programa de computadora
tiene un error.
3) Una universidad es de prestigio si los
académicos que la forman realizan
docencia e investigación de gran calidad.
Dr. Gonzalo Hernández USM FI-1 Cálculo Proposicional 7
Cálculo Proposicional:
3) Argumentos y Props. Lógicas
4) La extracción de mineral es rentable si la
concentración es alta, pero solamente si
la distancia al mercado es pequeña.
5) Si llueve con frecuencia los agricultores
se quejan. Si no llueve con frecuencia los
agricultores se quejan. Luego, los
agricultores se quejan.
Dr. Gonzalo Hernández USM FI-1 Cálculo Proposicional 8
Cálculo Proposicional:
3) Argumentos y Props. Lógicas
De manera formal: (Aristóteles)
Una proposición es una afirmación que
es o bien verdadera o bien falsa.
Elementos de una proposición:
9 Variables Proposicionales: Asignación
de Valor Lógico Binario: V ó F
9 Constantes Proposicionales: V , F
9 Conectivos u Operaciones Lógicas
Dr. Gonzalo Hernández USM FI-1 Cálculo Proposicional 9
Cálculo Proposicional:
3) Argumentos y Props. Lógicas
Proposición Atómica:
Una proposición atómica es una
proposición que tiene una única variable o
constante proposicional.
Las proposiciones no atómicas se
denominan compuestas.
Todas las proposiciones compuestas
tienen al menos una conexión lógica
Dr. Gonzalo Hernández USM FI-1 Cálculo Proposicional 10
Cálculo Proposicional:
4) Conectivos Lógicos
Los conectivos lógicos son operadores entre
props. que permiten construir proposiciones
complejas en base a proposiciones más
simples o atómicas. Los conectivos lógicos
básicos son:
Negación: ∼P
Conjunción: P∧Q
Disyunción: P∨Q
Condicional: P⇒Q
Bicondicional o Equivalencia: P ⇔ Q
Dr. Gonzalo Hernández USM FI-1 Cálculo Proposicional 11
Cálculo Proposicional:
4) Conectivos Lógicos
Los conectivos lógicos se definen mediante su
tabla de verdad:
P Q ∼P ∼Q P∨Q P∧Q P⇒Q P⇔Q
V V F F V V V V
V F F V V F F F
F V V F V F V F
F F V V F F V V