LA LOGICA

LA LÓGICA: es una ciencia formal que estudia la estructura o formas del pensamiento
humano (como proposiciones, conceptos y razonamientos)
para establecer leyes y principios válidos a fin de obtener cri-
terios de verdad.
LA LOGICA MATEMATICA: La lógica matemática, también
llamada lógica simbólica o lógica formal, es el estudio formal
y simbólico de la lógica, y su aplicación a algunas áreas de la
matemática y la ciencia.
ENUNCIADO: Según del diccionario es una secuencia verbal
con valor comunicativo, sentido completo y entonación pro-
pia.
PROPOSICIÓN: Es un enunciado o afirmación verbal que tiene como característica esen-
cial el hecho de ser verdadero o falso y se denota (en lo que sigue de nuestro curso) con
la variables p,q,r,... mayúsculas o minúsculas
EJEMPLO:
P = “La luz es blanca”,
Q = “Él trabaja”
P o Q son proposiciones porque puedo darles valor de verdad
R=X+5>4
S = Cierra la puerta.
R o S no son proposiciones porque en R dicho valor depende del valor que asignemos a
X lo cual induce duda y en el segundo es una orden que no puede aceptar un valor de
verdad.
En general debe considerarse que una proposición es necesariamente un enunciado,
pero un enunciado no siempre es una proposición.
TIPOS DE PROPOSICIONES: Las proposiciones según su estructura se subdividen en:
a) Proposiciones Simples: Son aquellas que no tienen otra proposición dentro de
sí.
b) Proposiciones Compuestas: Son las que están formadas por varias proposicio
c) nes, generalmente simples.
Ejemplo: “Lloverá” es una proposición simple, en tanto que decir “llueve y hace buen
tiempo” es una proposición compuesta, al estar conformada por dos afirmaciones (o pro-
posiciones).
FORMALIZACION DE PROPOSICIONES: Las proposiciones pueden expresarse en for-
mulas o símbolos adquiriendo así una forma más adecuada + al trabajo de la ciencia o la
técnica.
EJEMPLO: La expresión ~P es una expresión formal y puede entenderse en lenguaje co-
rriente como:
 ̶ No es cierto que P.
̶ Es mentira que P.
̶ No es P.
̶ Es falso que P.
Como notamos el lenguaje común no es adecuado y más simple es decir ~P y entende-
mos inmediatamente de que se trata, de la negación de P
.

CONECTIVOS LOGICOS: Son palabras elementales cuya función en lógica es unir las
proposiciones, en lógica se conocen o estudian los siguientes conectivos:
a) LA CONJUNCIÓN: Dos proposiciones cualesquiera se pueden combinar por me-
dio de la palabra “y” dando origen a un enunciado compuesto que se llama la con-
junción (p ∧ q).
Propiedad: Si los enunciados de una conjunción son ambos verdaderos esta será
verdadera.
Seguidamente expresamos esto en una tabla en donde se especifica todas las po-
sibilidades de verdad que puede acoger p y q.

Un ejemplo verbal seria “Hernán estudia y trabaja” como vemos a fin de que la ex-
presión sea cierta debe cumplirse ambas afirmaciones.
b) LA DISYUNCIÓN (inclusiva): Dos enunciados cualesquiera se pueden combinar
por medio de la palabra “o” dando origen a un enunciado compuesto que se llama
disyunción de (p ∨ q).
Propiedad: La disyunción es falsa si las proposiciones que la forman son ambas
falsas.

Un ejemplo verbal seria “Hernán estudia o trabaja” como vemos la proposición es

verdadera en todos los casos excepto si “Hernán no estudia ni tampoco trabaja”.
c) LA DISYUNCIÓN (exclusiva): En este caso la disyunción tiene una característica
que es tal que si una de las proposiciones se cumple la otra no se cumplirá, se ex-
presa como p o q, pero no ambas.
 Un ejemplo “Hernán tiene 20 o 25 años”, como vemos en el ejemplo anterior Hernán
puede trabajar y estudiar a la vez sin problema, pero en este segundo no puede
tener 20 y 25 años a la vez.
Este tipo de disyunción se le llama también disyunción fuerte. Como vemos esta
disyunción no admite valores de verdad idénticos, luego sus distintos valores de
verdad serian:

Algunos ejemplos adicionales de disyunción exclusiva:

 Jorge es soltero o casado.

 Tenemos o no tenemos cortinas.
 San Martin está vivo o está muerto.
 Estas durmiendo o estas despierto
En síntesis
La proposición disyuntiva inclusiva admite que las dos alternativas se den conjun-
tamente.
La proposición disyuntiva exclusiva no admite que las dos alternativas se den
conjuntamente.

d) LA NEGACIÓN: Dado un enunciado “p” se puede formar otro enunciado “~p” que
puede leerse “es falso que p”, por ejemplo, la negación de la proposición “la pared
es dura” seria “la pared es blanda” o bien “la pared no es dura”.
La negación “~p” tiene un valor de verdad contrario a “p”, entonces su tabla se ex-
presa como:

e) LA CONDICIONAL: Dos enunciados cualesquiera se pueden combinar por medio

de la expresión “si…entonces…” dando origen una expresión condicional (p → q),
donde p se le denomina el antecedente y q el consecuente, por ejemplo, si Juan
estudia entonces será un profesional.
Propiedad: La condicional es falsa si el antecedente es verdadero y el conse-
cuente falso.
 f) LA BICONDICIONAL: Dos enunciados cualesquiera se pueden combinar por me-
dio de la expresión “si y solo si” dando origen una bicondicional (p ↔ q), así por
ejemplo a < b si y solo si b > a.
Propiedad: La Bicondicional es verdadera si los valores de verdad de las proposi-
ciones que la forman son idénticos.

Resumen: Las propiedades de estos conectivos pueden resumirse en la siguiente tabla.

CONECTIVO PROPIEDAD
 VV≡V
 F F≡F
⊻ V⊻V≡F⊻ F≡F
~ ~V ≡ F ó ~F ≡ V
 VF≡F
 VV≡F F≡V