Lógica Matemática

Guía 3. Proposiciones Lógicas

La Lógica estudia los métodos y leyes que permiten distinguir un razonamiento valido de
un razonamiento no valido. Aristóteles proporcionó una base en la que “todo argumento
válido puede analizarse mediante proposiciones” Boole fue el primero que intentó
simbolizar los argumentos lógicos en términos algebraicos. Fue el primero en utilizar los
diagramas de Venn. De esta manera aparece en la matemática el cálculo proposicional, que
es el estudio que haremos a continuación de la manera más sencilla posible.

La Proposición Lógica: se refiere a los razonamientos que puedan ser verdaderos o falsos,
esto es de suma importancia en el lenguaje lógico, porque siendo la lógica la ciencia del
correcto razonar, distingue entre el razonamiento válido del no válido.

Las proposiciones se pueden dividir en dos tipos básicos:

Proposición simple: cuando dos términos están unidos mediante la cópula “es”, por ejemplo
el sol es una estrella, la luna es un satélite. También cuando se expresa un juicio a través de
un predicado, por ejemplo: llueve, te canto.

Proposición compuesta. En la proposición compuesta se da la proposición lleva algunos

elementos de conexión como las palabras “o” “y”, de esta se pueden separar oraciones
como: El lápiz es rojo o amarillo; Héctor es comerciante y Víctor es abogado; mediante el
condicional si el hombre es mortal entonces es finito. Es afirmativa cuando certifica algo: el
cielo es azul

Es negativa cuando niega algo: el cielo no es azul (Aparece la negación como palabra)

1. Identifique cuales son proposiciones y cuales no

a) ¡Oh cielos!
b) Me llamo Antonio
c) Vivo en la California Norte
d) ¿Vienes de los Valles del Tuy?
e) Hace frio
f) Juana y José viven juntos
g) El agua es una composición química de hidrogeno y oxigeno
h) ¿Cómo te llamas?
i) Dos más dos es igual a cuatro
j) Aristóteles es uno de los precursores de la lógica matemática
k) Los reptiles son animales de sangre fría y caliente
l) Si los gatos son de raza felina, entonces son silenciosos

Prof. Franklin Mendoza Ene 18

Página 1
 m) Si el señor Trump es Presidente entonces Trump es latino y Macri es Argentino

Tablas de verdad
Nos permiten determinar la verdad de una proposición molecular mediante la verdad o
falsedad de las proposiciones que la componen. Quienes definen esta operación binaria
sobre el conjunto de las proposiciones son los conectivos lógicos, quienes no solo son
términos de enlace que unen dos o más proposiciones, sino que las unen de tal manera que
resulta una proposición cuyo valor de verdad o falsedad depende únicamente del valor de
verdad o falsedad de sus componentes.

Simbología: Las proposiciones simples se representan con las letras P; Q; R; S;…

Conectivos lógicos en proposiciones compuestas: Existen conectivos u operadores lógicos

que permiten formar proposiciones compuestas, es decir, formadas por varias
proposiciones.

A. La Negación. Sinónimos de negación: No, No es cierto que. No es verdad que.

Nunca. Carece de.

Símbolos: Tabla de la Negación

P
1 0
0 1

P: Hoy es Lunes
: Hoy no es Lunes
: Hoy no es Lunes
: Hoy no es Lunes

B. De igual manera tenemos las tablas de: la disyunción, la conjunción, el condicional

y el bicondicional

Disyunción Conjunción Condicional Bicondicional

Palabra clave: O Palabra clave: Y Si, ….entonces….. ….si y solo si ….
P Q P Q P Q P Q
1 1 1 1 1 1 1 1 1 1 1 1
1 0 1 1 0 0 1 0 0 1 0 0
0 1 1 0 1 0 0 1 1 0 1 0
0 0 0 0 0 0 0 0 1 0 0 1

Prof. Franklin Mendoza Ene 18

Página 2
Ejemplo de simbolización

P: Hoy es lunes Q: estudio en el IUDLM

: Hoy es lunes o estudio en el IUDLM

Hoy es lunes y estudio en el IUDLM

: Si hoy es lunes, entonces estudio en el IUDLM

: Hoy es lunes si y solo si estudio en el IUDLM

2. Simbolice las siguientes proposiciones

a) Llueve o hace sol

b) El dólar americano es una moneda fuerte y es una moneda internacional
c) Juana y José viven juntos
d) No es cierto que no es lunes (doble negación)
e) Si los precios bajan, las ventas aumentaran
f) La venta de libros aumentará si y sólo si no se les aplica el IVA
g) El agua es una composición química de hidrogeno y oxigeno
h) 5 es menor que 7 o 5 es mayor que 8
i) Es un cuadrilátero si y solo si tiene 4 lados
j) No todos los números primos son impares
k) El 2 es divisor de 48 o el 3 es divisor de 48
l) Los reptiles son animales de sangre fría y caliente
m) Si los gatos son de raza felina, entonces son silenciosos

3. Dadas las siguientes proposiciones:

P: Estudio regularmente Q: Obtendré buenas calificaciones en Lógica

Matemática R: Estudio en el Iudlm S: Estoy en el 1 semestre

Escriba con palabras las siguientes proposiciones compuestas y determine su valor de

verdad

1. 2. 3. 4. ~P 5.
6. R 7. 8.

Prof. Franklin Mendoza Ene 18

Página 3
Tablas de verdad:

Elaborar la tabla de verdad para las siguientes proposiciones

1. 2. 3. 4. ~P 5.
6. 7. 8.
9. 10.

Si la tabla de verdad de la proposición es siempre verdadera, independientemente de la

verdad o falsedad de las proposiciones simples, entonces la expresión es tautológica. Si la
tabla de verdad es siempre falsa, será una contradicción. Si es verdadera y falsa, la
proposición es una contingencia.

Clasifique como tautología, contradicción y contingencia. Los siguientes esquemas

moleculares:

1. 2. 3.
4. 5.

Prof. Franklin Mendoza Ene 18

Página 4