Guìa de Lògica de Las Proposiciones

U
N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A

E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 2 D E LÓ G ICA
LÓGICA DE LAS PROPOSICIONES
“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010
U
OBJETIVOS
El alumno, al final de la unidad, deberá:
1. Simbolizar el lenguaje natural y distinguir las Proposiciones Lógicas.
2. Usar los operadores lógicos.
3. Operar un Algebra de Proposiciones.
4. Saber establecer la relación isomórfica entre el Algebra de Conjuntos y Algebra

de Proposiciones.
5. Enunciar y demostrar los principales Teoremas.
6. Construir Tablas de Verdad.
7. Ejercitar los Métodos básicos entre Conjuntos y entre Proposiciones.
CONTENIDOS:
1. Lógica de la Proposición:
1.1. Noción de Proposición.
1.2. Clases de Proposiciones.
1.3. Operadores Lógicos y Simbolización del lenguaje lógico.
2. Método Gráfico:
2.1. Tabla de Verdad: números binarios.
3. Tautología, Contradicción, Contingencia y Equivalencia.
3.1. Tautología
3.2. Contradicción
3.3. Contingencia
3.4. Equivalencia

U
4. Algebra de Proposiciones: Isomorfismo con la Teoría de Conjuntos:
4.1. Principio de Dualidad: Ley Isomórfica.
4.2. Leyes.
4.3. Teoremas principales: su enunciado y demostraciones (elaborado por los

alumnos).
5. Ejercicios Propuestos.
EVALUACIÓN:
La evaluación final de la Unidad II, tendrá un 25% del total del porcentaje relativo a la
materia.
ACTIVIDADES DEL ALUMNO ANTES DE LA CLASE:
1. Repasar: tipos de oraciones.
2. Leer la guía.
3. Investigar acerca de los números binarios: conversión del Sistema Decimal al

Sistema Binario.
4. Investigar el enunciado de los Teoremas y Axiomas.
5. Elaborar preguntas.
ACTIVIDADES DEL ALUMNO DURANTE Y DESPUES DE LA CLASE:
1. Atender a las explicaciones del profesor.
2. Intervenir oportunamente en clase y siempre que el profesor lo invite a hacerlo.
3. Tomar parte activa en la clase para lograr una asimilación personal.
4. Realizar Los ejercicios que el profesor asigne.
5. Consultar al profesor y al preparador las dudas del tema.
6. Presentar Evaluación final de la Unidad.

U
BIBLIOGRAFIA:
AYRES, Frank: Algebra Moderna. Teoría y problemas resueltos.

1976 Serie Colección “Schaum”, Ed. Libros M. Graw- Hill. Bogota.
pp. 1-66.
BIRKOHFF-MC, Lane: Algebra Moderna.
1970 Ed. Vicens-Vives. Barcelona. pp. 1-65; 337-381.
BURGOS, Alfonso: Matemática Moderna. Selecciones Científicas.

1970 Madrid. Pp. 13-71.
GIANELLA DE SALAMA: Lógica Simbólica y Elementos de Metodología de la

Ciencia. Ed. El Ateneo. Buenos Aires. pp. 105-168.

Desde la página 5 hasta la
página 14
U
1. Lógica de la Proposición.
1.1. Proposiciones
Son oraciones enunciativas, a las cuales se les puede asignar un valor de

verdad, este puede ser verdadero o falso (0 ó 1).
Una proposición lógica es un enunciado con sentido, del que se puede decir
que es verdadero o falso, pero no las dos cosas al mismo tiempo. Algunos
ejemplos son:
 3 * 4 = 12
 Cartagena es la capital de Bolívar.
 El sistema binario utiliza dos símbolos para representar los números.
 1 kilobytes tiene 1024 bytes.
 El sol es una estrella.
 La mesa es redonda.
 El es mi profesor.
 El agua es salud.
 Loa animales no razonan.
 Los perros no hablan.
 María vive en Caracas.
Notación
Las proposiciones se denotan con letras minúsculas latinas: p, q, r, s, t, etc.

Estas letras reciben el nombre de variables proposicionales. Se pueden
definir las siguientes proposiciones:
a) p: 1 y 0 son símbolos utilizados en todos los sistemas numéricos.

b) q: 32 D = 10000 B
c) r: 4+5=8
Existen dos constantes proposicionales, V y F, que representan verdadero y

falso, respectivamente. A cualquier variable proposicional se le puede
asignar el valor de V o F.
1.2. Clase de Proposiciones
1. Simples: Que está formada por una sola proposición.

El sol brilla.
2. Compuesta: Que está formada por la unión de dos o más proposiciones.

El sol brilla y da calor.
3. Positiva: Cuando se escribe en forma positiva.

El cielo es azul.

U
4. Negativa: Cuando se escribe la oración en forma negativa.

El cielo no es azul.
5. General: Cuando se habla de un todo.

Los animales son bellos.
6. Particular: Cuando se habla de cierta cantidad de ese todo.

Los perros son bellos.
7. Singular: Cuando se habla de una sola cosa que entra dentro de un todo.
Candy mi perra es bella.
Proposiciones Compuestas
Como se menciono anteriormente, están formadas por más de una

proposición simple. En este caso no pueden ser más de cuatro proposiciones
simples. Las mismas se unen por medio de conectivos lógicos.
1.3. Operadores Lógicos y Simbolización del lenguaje lógico.
Un operador o conectivo lógico es un símbolo que nos permite vinculas dos

o más proposiciones de modo tal que se genere una tercera los conectivos
lógicos más utilizados son: v, , , , , .
Símbolo Operaciones asociadas Significado

 Negación No p o no es cierto que p
 Conjunción pyq
 Disyunción poq
 Condicional p implica q, o si p entonces q
 Bicondicional p si y sólo si q
a) Negación
Es la conexión lógica más sencilla. Toda proposición se puede negar

anteponiendo a su enunciado “no es cierto que” o “no es el caso que” o
insertando dentro de la proposición la palabra “no”. Simbólicamente, la
negación de la proposición p seria  p que se lee “no p” “no es cierto que
p”, “es falso que p” o “no es el caso que p”. La tabla de la verdad para la
negación es:
P p
V F
F V
Ejemplo:
La negación de p: todos los alumnos estudian matemática.

U
Es  p: no todos los alumnos estudian matemática.

O bien  p: no es cierto que todos los alumnos estudian matemática.
 p: hay alumnos que no estudian matemática.
b) Conjunción
Se puede utilizar cuando se quiere expresar el hecho de que dos

proposiciones son verdaderas. El conectivo lógico que se usa en la
conjunción “”, el cual se lee como “y”. Si p y q son dos proposiciones, p
 q se llama conjunción de p y q. la palabra “y” no siempre denota
conjunción como por ejemplo: “pero”, “además”, “más aun”. La tabla de
la verdad de la conjunción es:
p q pΛq
V V V
V F F
F V F
F F F
“Carlos va a bailar y María va a bailar”. Entonces se pueden definir las

proposiciones:
p: Carlos va a bailar.
q: María va a bailar.
Ejemplo:
“5 es u número impar y 6 es un número par”

p Λ q
Vemos que está compuesta de dos proposiciones a las que llamaremos p
y q, que son:
p: 5 es un número impar.
q: 6 es un número par.
Y por ser ambas verdaderas, la conjunción de ellas (que no es sino la

declaración) es verdadera.
Sea la declaración:
“Hoy es el día 3 de noviembre y mañana es el día 5 de noviembre”
Esta conjunción es falsa, ya que no pueden ser simultáneamente

verdaderas ambas proposiciones.

U
c) Disyunción
La verdad de la disyunción se da en al caso de que al menos una de las

proposiciones sea verdadera.
Las oraciones que contienen una “o” se puede traducir como

disyunciones. El conectivo lógico que se usa en la disyunción es “v”, el
cual se lee como “o”.
La tabla de verdad de la disyunción es:
p q pq
V V V
V F V
F V V
F F F
Ejemplo:
Sea la proposición:
“Tiro las cosas viejas o que no me sirven”
p: tiro las cosas viejas

q: tiro las cosas que no me sirven
p v q
Vamos a Córdova o vamos a Mendoza”
p: Vamos a Córdova
q: vamos a Mendoza
p v q
Queda claro que solo podremos ir a uno de los dos lugares, y solo a uno.
Es decir que el enunciado es verdadero solo si vamos a una de las dos
ciudades. De no ir a ninguna, el enunciado es falso.
d) Condicional
Recibe también el nombre de implicación. El conectivo lógico que se usa

en la condicional es “→”. Si p y q son dos proposiciones, p → q se llama
condicional de p y q, y se lee como “si p entonces q” o “p implica q”. La
afirmación p se llama antecedente y q el consecuente.
La tabla de la verdad de la condicional es:
p q p→q

U
V V V
V F F
F V V
F F V
Hay varias maneras de expresar la condicional, algunas son: “si p,

entonces q”, “p siempre que q”, “p es suficiente para q”, “p solo si q”, “p
implica q”.
También se puede invertir el orden del antecedente u el consecuente;

entre las diferentes formas de decir “ si p entonces q” invirtiendo el
orden del antecedente y el consecuente se tienen: “q si p”, “ q siempre
que p”, “ q es necesaria para p”, “q es implicada por p”; en este caso se
puede representar simbólicamente como q  p.
Ejemplo:
“El frasco lleva una etiqueta de advertencia si contiene veneno”

q: El frasco lleva una etiqueta de advertencia
p: contiene veneno
qp
“Si apruebo, ENTONCES te presto el libro”
p → q
La condicional está compuesta de las proposiciones:
p: apruebo
q: te presto el libro
Nos interesa conocer la verdad o la falsedad de la implicación i, en

relación a la verdad o falsedad de las relaciones p y q. el enunciado debe
pensarse como un compromiso, condicionado por p, y podemos asociar
su verdad al cumplimiento del compromiso. Es evidente que si p es F, es
decir si no apruebo el examen, quedo liberado del compromiso y preste
o no el apunte la implicación es verdadera.
Si p es verdadera, es decir si apruebo el examen, y no prestó el libro, el

compromiso no se cumple y la proposición i, es falsa. Si p y q son
verdaderas, entonces la proposición i, es verdadera pues el compromiso
se cumple.
e) Bicondicional
Recibe también el nombre de equivalencia o doble implicación. El

conectivo lógico que se usa en la Bicondicional “”. Si p y q son dos
proposiciones, p  q se llama Bicondicional de p y q, y se lee como “p si

U
sólo si q”.
La tabla de verdad de la bicondicional es:
p q pq
V V V
V F F
F V F
F F V
Ejemplo:
3 es impar si solo si 4 es par
El enunciado está compuesto por las proposiciones:
p: 3 es impar
q: 4 es par
Esta doble implicación es falsa si una es F y la otra es V. En los demás

casos es V.
2. Método Gráfico:
2.1. Tabla de Verdad.
Es un método para demostrar si un razonamiento es verdadero o es falso,

es correcto o incorrecto.
Este método de demostración solo se pueden usar hasta cuatro
proposiciones, no se puede usar para más de cuatro, para ello se utiliza
otros métodos de demostración. En esta tabla se guardan los valores de
verdad de las proposiciones simples que para este método serian las
hipótesis, que forman las proposiciones compuestas.
Formula: Nº de filas = 2n
n = Nº de proposiciones simples.
Ejemplos:
 “La casa es bella y grande”.
Separando esta proposición compuesta en proposiciones simples quedaría:
p: la casa es bella
q: es grande.
Simbolizando: p Λ q.
2² = 4.

U
p q pΛq
0 0 0
0 1 0
1 0 0
1 1 1
 “La casa grande o bella”.
p: la casa es grande.
q: bella.
Simbolizando: p v q
Tengo dos proposiciones 2² = 4, por lo tanto mi tabla de verdad de este

conectivo tendrá cuatro filas que son cuatro respuestas.
p q pvq
0 0 0
0 1 1
1 0 1
1 1 1
 “Si el piso esta mojado, entonces llovió”.
p = el piso esta mojado.

q = llovió.
Simboliza: p → q.
Tengo 2 proposiciones 2² = 4, son 4 respuestas en mi tabla de verdad.
p q p→q
0 0 1
0 1 1
1 0 0
1 1 1
 “El número 4 es impar, si solamente si el 3 es par”.
En este ejemplo a pesar de que cada proposición simple es falsa, el resultado de la

Proposición compuesta es verdadera, porque si el 4 es impar el 3 tiene que ser par.
p = El número 4 es impar (falso).

q = el 3 es par.
p ↔ q verdadero.

U
En este caso se
Cumple esta respuesta
p q p↔q
0 0 1
0 1 0
1 0 0
1 1 1
3. Tautología, Contradicción, Contingencia y Equivalencia.
3.1. Tautología
Es a lo que se quiere llegar cuando se demuestra que un razonamiento es

verdadero. Esto se cumple cuando la columna de respuesta de una
determinada tabla de verdad, dan puros uno.
3.2. Contradicción
Es cuando la última columna o la columna de respuestas de una

determinada tabla de verdad, hay puros ceros. Esto significa que el
razonamiento es falso.
3.3. Contingencia
Es cuando esa misma columna de respuestas, hay ceros y unos.
3.4. Equivalencia
Cuando se tienen dos tablas de verdad y las columnas de respuestas de

ambas tienen los mismos resultados, ósea son iguales.
4. Algebra de Proposiciones: Isomorfismo con la Teoría de Conjuntos:
4.1. Principio de Dualidad: Ley Isomórfica.
Conjuntos  =   
Proposiciones p→q p↔q pvq pΛq pΛq
Conjuntos U (universal) 
Proposiciones Tautología Contradicción

U
4.2. Leyes.
Conjunto Proposiciones Operaciones

= pvpp Igualdad
= pΛpp Igualdad
= pvqqvp Conmutativa
= pΛqqΛp Conmutativa
 (  C) = (  ) C p v (q v r)  (p v q) v r Asociativa
 (  C) = (  ) C p Λ (q Λ r)  (p Λ q) Λ r Asociativa
  (  C) = p v (q Λ r)  Distributiva
(  )  ( C) (p v q) Λ (p v r)
  (  C) = p Λ (q v r)  Distributiva
(  )  (  C) (p Λ q) v (p Λ r)
= pvFp Identidad
= pΛvp Identidad
   =  pvpV Complemento
   =  pΛpF Complemento
(  ) =    (p v q)   p Λ  q Morgan
(  ) =     (p Λ q)   p v  q Morgan
Todos los resultados en Teoría de Conjuntos se pueden interpretar en lógicas de las

proposiciones:
  (  ) = .
4.3. Teoremas principales: su enunciado y demostraciones.
Investigación de los alumnos.
5. Ejercicios Propuestos.
1.) Verificar cuales de los enunciados son simples o compuestos:
a) 14 es factor común de 7 y 3.
b) 5 + 8 = 15.
c) No siempre hay continuidad
d) No todo es objetivo
e) Los políticos son impopulares
f) Es falso que 2 es un numero rimo
g) Dos proposiciones simples relacionadas con un conectivo lógico forman una
proposición compuesta
h) Los números primos son impares
i) Si voy al teatro, no voy al cine.
j) O corres o te encaramas
k) Juan y Pedro son estudiantes
l) José y Daniel son hermanos
2.) Hallar las proposiciones simples y simbolizar correctamente:
a) Siempre que llueve iré al cine

b) 7 es impar, aunque 9 también
c) 7 es impar, pero 9 y 11 también

U
d) No es cierto que Luis vive en caracas y trabaja en la guaira
e) No se da el caso que estudies y no apruebes
f) O estudias o trabajas
g) Es falso que o me pagas o no eres mi amigo
h) Jugaremos beisbol siempre que venga Luis
i) Con tal venga Luis, jugaremos beisbol
j) Es suficiente que los precios sean altos para que los salarios aumenten
3.) Hallar las proposiciones simples y demostrar la valides o invalides de los siguientes
razonamientos, mediante tablas de verdad:
a) Si Luis estudia ingeniera, entonces no está estudiando matemática. Pero el no esa

estudiando matemáticas, si solo si, Luis no estudia ingeniería.
b) Cuando Juan se copia, entonces se pone nervioso. Y si Juan no se pone nervioso,
Juan no se copia.
c) Si el número de los nacidos supera al número de los que mueren, la población
aumenta. La población ha aumentado, pues el número de los que mueren es
superado por el de los que nacen.
d) Si el volcán entra en erupción y la población decide permanecer en el lugar, correrá
el riesgo de morir. Si solo si, el volcán no entra en erupción y la población no
decide quedarse en el lugar, entonces no correera el riesgo de morir.
e) Si el papel esta mojado, no arde. Y si el papel no arde, implica que no está mojado.
f) Si doy vuelta a la llave hago ruido. Y si doy vuelta a la llave, se abrirá la puerta del
cuarto. O no hago ruido o no se abrirá la puerta del cuarto. Entonces no doy vuelta
a la llave.
g) Si el mal existe, dios lo creo, entonces no podemos revelarnos. Y si dios creo el
mal, si el mal existe, no podemos revelarnos.
h) Si Juan pide dinero prestado y se casara, será feliz. Juan será feliz, si solo si, pide
dinero prestado, entonces, se casará.
i) Si el papel tornasol se vuelve rojo, la solución es un acido. Y si el papel se vuelve
rojo, la solución es un acido o hay algo que anda mal.
j) Si treinta divisiones son suficiente, entonces el comandante ganara la batalla o se
suministran tres alas de a poyo aéreo, o el comandante no ganara la batalla. No es
cierto que sean suficientes treinta divisiones y que se vallan a suministrar tres alas
de apoyo aéreo. No son suficiente treinta divisiones.
k) Si esta es una sociedad libre, tiene que existir la libertad de expresión. La censura
la prensa, no es de una sociedad libre, si solo si, existe la libertad de expresión.
l) Si estudio, obtengo buenas calificaciones, si no estudio me divierto. Esto implica
que obtengo buenas calificaciones o me divierto.
m) Si Antonio gano la carrera, Baltasar o Carlos fueron los segundos. Si Baltasar fue
el segundo, entonces no gana Antonio.


Guìa de Lògica de Las Proposiciones

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Guìa de Lògica de Las Proposiciones

Cargado por

Copyright:

Formatos disponibles

U

N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A

LÓGICA DE LAS PROPOSICIONES

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

El alumno, al final de la unidad, deberá:

1. Simbolizar el lenguaje natural y distinguir las Proposiciones Lógicas.

2. Usar los operadores lógicos.

3. Operar un Algebra de Proposiciones.

4. Saber establecer la relación isomórfica entre el Algebra de Conjuntos y Algebra

5. Enunciar y demostrar los principales Teoremas.

6. Construir Tablas de Verdad.

7. Ejercitar los Métodos básicos entre Conjuntos y entre Proposiciones.

1.1. Noción de Proposición.

1.2. Clases de Proposiciones.

1.3. Operadores Lógicos y Simbolización del lenguaje lógico.

2.1. Tabla de Verdad: números binarios.

3. Tautología, Contradicción, Contingencia y Equivalencia.

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

4. Algebra de Proposiciones: Isomorfismo con la Teoría de Conjuntos:

4.1. Principio de Dualidad: Ley Isomórfica.

4.3. Teoremas principales: su enunciado y demostraciones (elaborado por los

ACTIVIDADES DEL ALUMNO ANTES DE LA CLASE:

1. Repasar: tipos de oraciones.

3. Investigar acerca de los números binarios: conversión del Sistema Decimal al

4. Investigar el enunciado de los Teoremas y Axiomas.

ACTIVIDADES DEL ALUMNO DURANTE Y DESPUES DE LA CLASE:

1. Atender a las explicaciones del profesor.

2. Intervenir oportunamente en clase y siempre que el profesor lo invite a hacerlo.

3. Tomar parte activa en la clase para lograr una asimilación personal.

4. Realizar Los ejercicios que el profesor asigne.

5. Consultar al profesor y al preparador las dudas del tema.

6. Presentar Evaluación final de la Unidad.

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

AYRES, Frank: Algebra Moderna. Teoría y problemas resueltos.

BURGOS, Alfonso: Matemática Moderna. Selecciones Científicas.

GIANELLA DE SALAMA: Lógica Simbólica y Elementos de Metodología de la

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Son oraciones enunciativas, a las cuales se les puede asignar un valor de

Las proposiciones se denotan con letras minúsculas latinas: p, q, r, s, t, etc.

a) p: 1 y 0 son símbolos utilizados en todos los sistemas numéricos.

Existen dos constantes proposicionales, V y F, que representan verdadero y

1.2. Clase de Proposiciones

1. Simples: Que está formada por una sola proposición.

2. Compuesta: Que está formada por la unión de dos o más proposiciones.

3. Positiva: Cuando se escribe en forma positiva.

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

4. Negativa: Cuando se escribe la oración en forma negativa.

5. General: Cuando se habla de un todo.

6. Particular: Cuando se habla de cierta cantidad de ese todo.

Como se menciono anteriormente, están formadas por más de una

1.3. Operadores Lógicos y Simbolización del lenguaje lógico.

Un operador o conectivo lógico es un símbolo que nos permite vinculas dos

Símbolo Operaciones asociadas Significado

Es la conexión lógica más sencilla. Toda proposición se puede negar

La negación de p: todos los alumnos estudian matemática.

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Es  p: no todos los alumnos estudian matemática.

Se puede utilizar cuando se quiere expresar el hecho de que dos

“Carlos va a bailar y María va a bailar”. Entonces se pueden definir las

“5 es u número impar y 6 es un número par”

Y por ser ambas verdaderas, la conjunción de ellas (que no es sino la

“Hoy es el día 3 de noviembre y mañana es el día 5 de noviembre”

Esta conjunción es falsa, ya que no pueden ser simultáneamente