Programación

UNIDAD 1
Conectivas básicas de la lógica
Elaborado por:

Ing. Melissa Mena

 ¿Qué es lógica?
Lógica es la disciplina filosófica
que tiene un carácter formal,
ya que estudia la estructura o
formas de pensamiento (tales
como conceptos, proposiciones,
razonamientos) con el objeto
de establecer razonamientos o
argumentos válidos o
correctamente lógicos.
Conectivas básicas de la lógica

• Las conectivas son funciones de verdad. Quiere decir

que son funciones que toman uno o dos valores de
verdad, y devuelven un único valor de verdad.

• En consecuencia, cada conectiva lógica puede ser

definida mediante una tabla de valores de verdad
que indique qué valor devuelve la conectiva para
cada combinación de valores de verdad.

A continuación hay una tabla con las conectivas más usuales y su definición
mediante tablas de verdad:
 Tabla con las conectivas más usuales

Fuente: http://es.wikipedia.org/wiki/Conectiva_l%C3%B3gica
Notación
• Para aplicar los diferentes tipos de conectivas,
es necesario conocer el contexto en el que se
utilizan.
• Para ello vamos a definir la lógica
proposicional, razonamientos y proposiciones,
tautología, contradicciones y contingencias.
 Proposición
• Una proposición es una aserción o enunciado expresado en lenguaje
natural escrito o hablado, mediante una expresión declarativa; que
puede ser cierta o falsa, pero no ambas a la vez. La proposición es
un elemento fundamental de la lógicamatemática..
• La proposición puede ser simple o compuesta y se denotan
generalmente por las ultimas letras del alfabeto (p, q, r, s,…,z)
• Una proposición es simple, cuando no puede partirse (dividirise) en
partes constitutivas que sean a su vez proposiciones. Como
ejemplos de proposiciones simples podemos señalar, las siguientes:
• Esta lloviendo
• Cometí una equivocación al matricular este curso
Esquema: tipos de proposiciones
Proposición

Puede ser:

Simple Compuesta

No puede dividirse
en partes Ejemplo:
Está lloviendo y hace
constitutivas que a su Está lloviendo. frío.
vez sean Está soleado.
proposiciones
 Tautología
• Una tautología es una fórmula bien formada
que resulta verdadera para cualquier
interpretación; es decir, cualquier asignación
de valores de verdad que se haga a sus
fórmulas atómicas.

• Ver diagramas de Venn

 Contradicción
• Es una incompatibilidad entre dos o mas
proposiciones. Por ejemplo, las oraciones:
llueve y no llueve.
• Tabla de la verdad.
 Contingencia
• Es cuando tienen solamente proposiciones
verdaderas para todos los valores de verdad de las
variables proposicionales.
• Ejemplo:

• Se entiende por verdad contingente o verdad de

hecho, aquella proposición que puede ser verdadera
o falsa según las proposiciones que la integren. (es
una combinación entre tautología y contradicción)
 Proposición condicional
• Proposición Condicional o implicación lógica
“Una proposición condicional, es aquella que
está formada por dos proposiciones atómicas
o moleculares, condicionadas una de la otra”.
Algunas proposiciones de este tipo contienen
en su expresión: Si,…. Entonces…..
 Proposición Bi condicional
• “Una proposición bi condicional, es aquella
que está formada por dos proposiciones
atómicas o moleculares, condicionadas una de
la otra, con la característica de que la
condición debe cumplirse forzosamente”.
• Puede hacer sus consultas a los
medios de comunicación
establecidos para dicho fin.