ISW134 LOGICA MATEMATICA AULA 1 A-INF- 04, ESTO ES E LABORATORIO DE

INFORMATICA, DEL EDF. A

LA LOGICA

La lógica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y técnicas determina si un argumento es válido. La lógica es ampliamente
aplicada en la filosofía, matemáticas, computación, física.

La lógica matemática es la disciplina que trata de métodos de razonamiento. En

un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o
no valido un argumento dado. El razonamiento lógico se emplea en matemáticas
para demostrar teoremas; en ciencias de la computación para verificar si son o
no correctos los programas; en las ciencias física y naturales, para sacar
conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana,
para resolver una multitud de problemas. Ciertamente se usa en forma constante
el razonamiento lógico para realizar cualquier actividad.

PROPOSICION Y SU CLASIFICACION

Una proposición o enunciado es una oración que puede ser falsa o verdadera
pero no ambas a la vez. La proposición es un elemento fundamental de la lógica
matemática.

CONECTIVOS LOGICOS

Existen conectores u operadores lógicas que permiten formar proposiciones

compuestas (formadas por varias proposiciones). Los operadores o conectores
básicos son:
PROPOSICION SIMPLES:

Son aquellas que no contienen conectivos lógicos.

PROPOSICIONES COMPUESTAS

Compuestas o moleculares: están compuestas por dos o más proposiciones

simples, ósea son aquellas que contienen conectivos lógicos.

a) Conjunción o Producto Lógico

Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a la
proposición compuesta p  q (se lee "p y q"), cuya tabla de verdad es:

p q p  q

V V V
V F F
F V F
F F F

b) Disyunción inclusiva o Suma lógica

Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la
proposición p  q (se lee “p o q”) cuya tabla de valores de verdad es:

p q p  q

V V V
V F V
F V V
F F F
 c) Disyunción exclusiva
Dadas dos proposiciones p y q, la disyunción exclusiva de las proposiciones p y q es la
proposición p  q (se lee “O p o q”) cuya tabla de valores de verdad es:

d) Implicación o Condicional
Implicación de las proposiciones p y q es la proposición p  q (si p entonces q) cuya tabla de
valores de verdad es:

La proposición p se llama antecedente, y la proposición q se llama consecuente de la

implicación o condicional. La tabla nos muestra que la implicación sólo es falsa si el
antecedente es verdadero y el consecuente es falso.

p q p  q

V V V

V F F

F V V

F F V
 e) Doble Implicación o Bicondicional
Doble implicación de las proposiciones p y q es la proposición p  q (se lee "p si y sólo
si q") cuya tabla de valores de verdad es

p q p  q

V V V

V F F

F V F

F F V

f) La negación
Palabras conectivas: no, no es cierto que, no es verdad que, nunca, carece de, sin, etc.

Condición: lo V se transforma en F (y viceversa ) P -p

La negación conjunta
Corresponde a la función compuesta (ni… ni) , solo es verdadera cuando
ambas proposiciones son falsas.