Nociones de Logica
José Luis Cruz Paco
Unidad Educativa Adventista Franz Tamayo
17 de mayo de 2021
J. Luis Cruz () Logica 17 de mayo de 2021 1 / 18
INTRODUCCIÓN
Todo desarrollo matemático exige razonar en forma valida a cerca de
cosas trascendentes y particularmente abstractas. Hay que comenzar
por eliminar las ambiguedades del lenguaje ordinario, introduciendo
sı́mbolos y conectivos cuyo uso adecuado descarte las contingencias,
aporte claridad y economı́a de pensamiento. A continuación
introducimos el concepto de proposición, operaciones proposicionales
y sus leyes
J. Luis Cruz () Logica 17 de mayo de 2021 2 / 18
PROPOSICIONES
Consideremos las siguientes oraciones
1 Quı́en viene?
2 Deténgase
3 El calor dilata los cuerpos
4 4 es un número impar
5 Juan ama la música
6 La música es amada por Juan
Se trata de 6 oraciones diferentes una interrogativa, una orden y
cuatro declarativas. De las dos primeras no podemos decir que sean
verdaderas ni falsas, una pregunta puede formularse o no, y una orden
puede ser cumplida o no, en cambio de las cuatro últimas que son
declarativas tiene sentido decir si son verdaderas o falsas, A estas
oraciones las llamamos proposiciones.
J. Luis Cruz () Logica 17 de mayo de 2021 3 / 18
Definición
Proposición es toda oración respecto de la cual puede decirse si es
verdadera o falsa.
Es decir proposición es toda oración declarativa, toda proposición esta
asociada a un valor de verdad, el cual puede ser verdadero (V) o falso
(F). Las oraciones (5) y (6) son diferentes desde el punto de vista
gramatical, pero ambas tienen el mismo significado y la consideramos
como la misma proposición.
Notaciones y conectivos
Las proposiciones en general son denotadas por leras minusculas
p, q, r, s, .... A partir de proposiciones simples podemos generar otras
proposiciones simples o compuestas, es decir, se puede operar con
proposiciones, para esto se utilizan ciertos sı́mbolos llamados
conectivos logicos
J. Luis Cruz () Logica 17 de mayo de 2021 4 / 18
Conectivo Operación asociada Significado
∼ Negación no p o no es cierto que p
∧ Conjunción o producto lógico pyq
∨ Disyunción o suma lógica poq
=⇒ Implicación p implica q
⇐⇒ Doble implicación p si y sólo si q
J. Luis Cruz () Logica 17 de mayo de 2021 5 / 18
Operciones proposicionales
Definiremos las operaciones entre proposiciones en el sentido
siguiente; dadas una o dos proposiciones, cuyos valores de verdad se
conocen, se trata de caracterizar la proposición resultante a travez de
su valor de verdad.
Negación
Negación de la proposición p es la proposición ∼ p (no p), cuya tabla
de valores de verdad es
p ∼p
V F
F V
Se trata de una operación unitaria, pues a partir de una proposición se
obtiene otra que es su negación.
J. Luis Cruz () Logica 17 de mayo de 2021 6 / 18
Ejemplo
La negación de la proposición p : todo hombre es honesto es
∼ p : no todo hombre es honesto
∼ p : no es cierto que todo hombre es honesto
∼ p : hay hombres que no son honestos
∼ p : existen hombres deshonestos
la cual es verdadera (V ) ya que la proposición inicial es falsa (F ).
J. Luis Cruz () Logica 17 de mayo de 2021 7 / 18
Conjunción
La conjunción de las proposiciones p y q es la proposición p ∧ q (p y q)
cuya tabla de valores de verdad es
p q p∧q
V V V
V F F
F V F
F F F
La tabla establece que la conjunción sólo es verdadera si lo son las
dos proposiciones componentes. En cualquier otro caso es falsa.
J. Luis Cruz () Logica 17 de mayo de 2021 8 / 18
Ejemplo
si consideramos las siguientes proposiciones
p : 3 es un número impar
q : 2 es un número primo
entonces obtenemos la conjunción
p ∧ q : 3 es un número impar y 2 es un número primo
y por ser ambas verdaderas, la proposición compuesta es verdadera
(V ).
Ahora si consideramos la conjunción
HOY ES LUNES Y MAnANA ES JUEVES
es falsa ya que no coexisten las verdades de p y q
J. Luis Cruz () Logica 17 de mayo de 2021 9 / 18
Disyunción
Disyunción de las proposiciones p y q es la proposición p ∨ q (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
La disyunción solo es falsa en el caso en que las dos proposiciones
componentes sean falsas
J. Luis Cruz () Logica 17 de mayo de 2021 10 / 18
Ejemplo
Hoy es lunes o martes, representa la disyunción de las proposiciones
p : Hoy es lunes
q : Hoy es martes
El sentido de la disyunción o es excluyente ya que p y q no pueden ser
simultaneamente verdaderas. No obstante la proposición compuesta
puede analizarse a la luz de la tabla propuesta a travéz de los tres
últimos renglone, y sera falsa sólo si ambas lo son
Regalo los libros viejos o que no me sirven, es la disyunción de las
proposiciones
p : Regalo los libros viejos
q : Regalo los libros que no me sirven
J. Luis Cruz () Logica 17 de mayo de 2021 11 / 18
El sentido del o es incluyente, pues si en efecto regalo un libro que es
viejo y que además no me sirve, entonces p ∨ q es V
Ejemplo
3 es un número impar o 4 es un número primo es una proposición
verdadera pues la primera es verdadera.
J. Luis Cruz () Logica 17 de mayo de 2021 12 / 18
Implicación o condicional
Implicación de las proposiciones p y q es la proposición p =⇒ q (p
implica q o si p entonces q) cuya tabla de valores de verdad es
p q p =⇒ q
V V V
V F F
F V V
F F V
Las proposiciones p y q son llamados antecedente y concecuente de
la implicación. La tabla de valores de verdad se definen
arvitrariamente, pero respetando el sentido común
J. Luis Cruz () Logica 17 de mayo de 2021 13 / 18
Ejemplo
Si apruebo el examen entonces te presto el apunte
Se trata de la implicación de las proposiciones
p : apruebo el examen
q te presto el apunte
Interesa inducir la verdad o falsedad de a implicación en términos de
la V o F de la proposición p y q. El enunciado puede pensararse como
un compromiso condicionado por p y podemos asociar su verdad al
cumplimiento del compromiso. Es ovio que si p es F , es decir, si no
apruebo el examen quedo liberado del compromiso y preste o no
preste el apunte la proposición es verdadera, es decir que si el
antecedente es falso, la implicación es verdadera por que el
compromiso se cumple.
J. Luis Cruz () Logica 17 de mayo de 2021 14 / 18
Ejemplo
Si hoy es lunes entonces manana es martes
Es la implicación de las proposiciones
p : Hoy es lunes
q : Manana es martes
Como no puede darse antecedente verdadero y consecuente falso, la
implicación es verdadera
J. Luis Cruz () Logica 17 de mayo de 2021 15 / 18
Doble implicación
La doble implicación de las proposiciones p y q es la proposición
p ⇐⇒ q (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
La doble implicación o bicondicional sólo es verdadera si ambas
proposiciones tienen el mismo valor de verdad. La doble implicación
puede definirse como la conjunción de una implicación y su reciproca.
J. Luis Cruz () Logica 17 de mayo de 2021 16 / 18
De ese modo, la tabla de valores de verdad de p =⇒ q puede
obtenerse mediante la tabla de (p =⇒ q) ∧ (q =⇒ p)como sigue
p q p =⇒ q q =⇒ p (p =⇒ q) ∧ (q =⇒ p)
V V V V V
V F F V F
F V V F F
F F V V V
J. Luis Cruz () Logica 17 de mayo de 2021 17 / 18
Ejemplo
T es equilátero si y sólo si T es equiángulo
Es la doble implicación de las proposiciones
T es equilátero
T es equiángulo
toda vez que p sea V , tambien lo es q y análogamente, si p es F , q es
F de modo que la doble implicación es V .
J. Luis Cruz () Logica 17 de mayo de 2021 18 / 18
