You are on page 1of 27

GRUPO #6

TEMA:

CALCULAR EL VALOR DE VERDAD DE PROPOSICIONES SIMPLES Y

COMPUESTAS MEDIANTE TABLAS DE VERDAD, TOMANDO EN CUENTA EL

PROYECTO AULA:

MATEMÁTICAS

AUTORES:

Carranza Carolina

Chérrez María

Hallón Shirley

Sánchez Karen

DOCENTE:

ING. YONG EMILIO.

2016-2017
ÍNDICE

INTRODUCCIÓN ..................................................................................................................... 1

CAPITULO I .............................................................................................................................. 2

1. MARCO CONTEXTUAL .................................................................................................. 2

1.1 EL PROBLEMA.............................................................................................................. 2

1.3. JUSTIFICACIÓN ....................................................................................................... 3

CAPITULO II ............................................................................................................................. 4

2. MARCO TEÓRICO........................................................................................................... 4

2.4.3. Contingencia ....................................................................................................... 8

i
CAPITULO III ............................................................................................................................ 9

3. DESARROLLO ................................................................................................................. 9

3.4.1. Equivalencia Lógica......................................................................................... 18

CAPITULO IV ......................................................................................................................... 20

4. CONCLUSIONES Y RECOMENDACIONES............................................................. 20

4.2. RECOMENDACIONES .......................................................................................... 21

BIBLIOGRAFÍA ...................................................................................................................... 22

ANEXOS ................................................................................................................................. 23

ii
INTRODUCCIÓN

La lógica es la rama de las matemáticas que nos permite comprender sobre la validez
o no de razonamientos y demostraciones que se realicen. Proposiciones: es una
oración que tiene un valor de verdad, valor que puede ser verdadero o falso. Existen
dos clases de proposiciones que son:

Proposiciones compuestas: es la que va acompañada de otra proposición, a través de

un operador lógico (y, no, o).

Valor de verdad: es lo que indica la verbosidad de una proposición se puede

1
CAPITULO I

1. MARCO CONTEXTUAL

1.1 EL PROBLEMA

Existen falencias en cuanto al aprendizaje metódico y memorista sobre el álgebra,

propuesto para la educación básica, ya que los textos de uso común no dan
alternativas diferentes para el abordaje de contenidos. Esto provoca que los
estudiantes pierdan el interés dentro del proceso del aprendizaje de la materia, o se
vuelvan formulistas.

1.1.2. Formulación del problema

El docente tratara cada tema del algebra como una herramienta, resolviendo ejercicios
paso a paso para que el estudiante pueda revisar el procedimiento explicado con más
detenimiento.

1.2. OBJETIVOS

 Analizar el valor de verdad de proposiciones simples y compuestas mediante

tablas de verdad, tomando en cuenta el orden de los operadores lógicos.

 Diferenciar las proposiciones simples de las compuestas, mediante las tablas de

 Describir los valores de proposiciones simples y compuestas mediante tablas de
 Identificar la clasificación de proposiciones simples y compuestas mediante tablas

2
1.3. JUSTIFICACIÓN

El presente trabajo de investigación muestra una problemática como es la falta de

conocimiento de las reglas de una tabla de verdad teniendo como variable dos clases
de proposiciones que son: proposiciones simples y compuestas estas se comprenden
de diferentes operadores lógicos (reglas) para su procedimiento en las tablas de

La importancia de esta investigación es con el fin de que sirva para comprender

los diferentes operadores lógicos (reglas) y condiciones que tiene una tabla de verdad
para realizar su procedimiento para una buena resolución de los ejercicios en la tabla
de verdad para realizar en el siguiente proyecto con un buen desempeño en su
desarrollo.

3
CAPITULO II

2. MARCO TEÓRICO

2.1. Preposiciones

Es una oración o idea que tienen un valor de verdad, que puede ser verdadero o
falso

2.2. Clases de proposiciones:

Las proposiciones se clasifican en proposiciones simples o atómicas y proposiciones
compuestas o moleculares

Son aquellas proposiciones que no se pueden descomponer, y que se representan

con una sola letra.

Ejemplo:
p: Todo ingeniero se adapta rápidamente a su centro laboral.
q: El hombre es racional.
r: (a + b)2 = a2 + 2ab + b2.

no, o)

2.2.3. Proposiciones Compuestas o Molares

Son aquellos enunciados que están formados por dos o más proposiciones simples y
unidos por conectores lógicos.

Ejemplo:
Los modelos son una simplificación o abstracción de la realidad que intentan explicar

4
un determinado comportamiento de los fenómenos económicos.
Por lo tanto estas representaciones sencillas no reflejan la realidad misma.

En este texto se pueden advertir tres proposiciones: Ellas son:

Los modelos son una simplificación de la realidad que intentan explicar un
determinado comportamiento de los fenómenos económicos

Los modelos son una abstracción de la realidad que intentan explicar un determinado
comportamiento de los fenómenos económicos.
Las representaciones sencillas reflejan la realidad misma.

Estas proposiciones están vinculadas por términos de enlace que destacamos con
negrita:
( ) o( ). Por lo tanto………. no ( )
En general en Lógica:
Los términos "y", "no”, "o”, "si...entonces" y "si y solo si”, que pueden figurar en una

En el ejemplo 2 dado: Si designamos con letras: p, q y r a las proposiciones simples,

se tendrá la siguiente expresión simbólica:
pvq r

p y q, (pero,
aunque, no
obstante sin
embargo)

V disyunción p o q (en sentido

incluyente)
p o q, o ambos
condicional si p entonces q; p
implica q,
implicación material, p solo si q; q si p;
cuando p, q
5
doble implicación, bicondicional p si y solo si
q

disyunción exclusiva p ó q (en

sentido excluyente)
O p o q pero no ambos

negación no p, no es cierto
que p,
no ocurre que p
Tabla N⁶1
2.2.4. Valores de proposiciones.

Usualmente al valor verdadero se lo asocia con: 1, V, T, True; mientras que el valor
falso se lo asocia con: 0, F, False. Se podría utilizar cualquiera de ellas, pero la
convención a seguir en el texto será el uso de 0 y 1, tomando como referencia el
sistema de numeración binario.

Ejemplo:

2.2.5. Cálculos.

P Q ~P ~Q ~PV~R

1 1 0 0 0

1 0 0 1 1

0 1 1 0 1

0 0 1 1 1

Tabla N°2
6

Se constituye con columnas y filas. Las columnas representan a las proposiciones y

combinaciones de las mismas. Las filas representan los valores de verdad o falso
correspondiente.
para falso, en las siguientes columnas se va alternando mitad verdad y falso. La
cantidad de filas depende del número de proposiciones, aplicando la siguiente
formula:2x= donde x representa el número de proposiciones y el 2 una constante

P Q ~Q P^Q

1 1 0 0

1 0 1 1

0 1 0 0

0 0 1 0

Tabla N °3

2.4. Clasificación.

2.4.1. Tautología
Una proposición compuesta es una tautología si es verdad para todas las
asignaciones de valores para sus proposiciones de componentes.

en todos los casos posibles de su tabla de verdad su valor siempre será falso.

7
2.4.3. Contingencia

Se entiende por verdad contingente, o verdad de hecho aquella proposición que

8
CAPITULO III

3. DESARROLLO

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos
como: no, o, y, si…entonces, sí y sólo sí. La interpretación corresponde al sentido que
estas operaciones tienen dentro del razonamiento. Puede establecerse una
correspondencia entre los resultados de estas tablas y la deducción
lógico matemática.
En consecuencia, las tablas de verdad constituyen un método de decisión para
chequear si una proposición es o no un teorema. Para la construcción de la tabla se
asignará el valor 1(uno) a una proposición cierta y 0 (cero) a una proposición falsa.

Es una matriz que despliega el valor de verdad de una proposición compuesta, para
cada combinación de valores de verdad que se pueda asignar a sus componentes: P
yQ

Entre sus principales tenemos: negación, conjunción, conjunción negativa, disyunción,

disyunción exclusiva, disyunción inclusiva, condiciona y bicondicional

P ~P
V F
F V
Tabla N°4

Este operador lógico cambia el valor de verdad de una proposición: si a es una

proposición verdadera, ¬p es falsa; si a es una proposición falsa, ¬p es verdadera. La
9
negación se presenta con los términos gramaticales: “no”, “ni”, “no es verdad que”, “no
es cierto que”, “no es el caso que”, etc.

3.1.3. Negación de proposiciones.

Ejemplo:

Si se tiene la proposición:
a: Tengo un billete de cinco dólares.
La negación de a es:
¬a: No tengo un billete de cinco dólares

Sirve para indicar que se cumplen dos condiciones simultáneamente.

Ejemplo:

La función es creciente y está definida para los números positivos, utilizamos Para
que la conjunción p^q sea verdadera las dos expresiones que intervienen deben ser
verdaderas y sólo en ese caso como se indica por su tabla de verdad.

P Q P∧Q

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

TablaN°5
Obsérvese también que el razonamiento puede hacerse a la inversa, es decir si p ∧ q
es verdad, entonces p y q son, ambas, verdad y que si p ∧ q es falsa, entonces una
de las dos ha de ser falsa.

Este operador lógico relaciona dos proposiciones para formar una nueva, en la cual la
proposición resultante será verdadera solamente cuando el valor de verdad de ambas
10
proposiciones es verdadero. Representa el producto lógico. En español, la conjunción
copulativa se presenta con los términos gramaticales: “y”, “e”, “a la vez que”, “también”,
“no obstante”, “pero”, “sin embargo”, “aunque”, “mas”, y signos de puntuación como:
la coma, el punto, y el punto y coma.

Ejemplo

Si se tienen las proposiciones:

a: Obtengo buenas notas.
b: Gano una beca.

La conjunción entre a y b es: a∧b: Obtengo buenas notas y gano una beca.

Es la unión de dos o más preposiciones mediante el conectivo “ni”. Símbolo:

regla: cuando dos proposiciones son falsas es verdadero en otro caso es falso

P Q P Q
V V F
V F F
F V F
F F V
Tabla N°6

La proposición resultante será falsa solamente cuando el valor de verdad de ambas

proposiciones es falso. Representa la suma lógica.

11
Con la disyunción a diferencia de la conjunción, se representan dos expresiones que
afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea

P Q PVQ
V V V
V F V
F V V
F F F
Tabla N°7

Este operador lógico relaciona dos proposiciones para formar una nueva, en la cual la
proposición resultante será falsa solamente cuando el valor de verdad de ambas
proposiciones es falso. Representa la suma lógica. En español, la disyunción se
presenta con el término gramatical “v”.

Ejemplo:
Si se tienen las proposiciones:
a: Tengo un libro de Trigonometría.
b: Tengo un libro de Álgebra.

La disyunción entre a y b es:

a∨b: Tengo un libro de Trigonometría o uno de Álgebra

Sean P y Q proposiciones, la disyunción exclusiva entre P y Q, representada

simbólicamente por PVQ, es una nueva proposición, cuyo valor de verdad está dado
por la siguiente tabla de verdad:

12
P Q PVQ
V V F
V F V
F V V
F F F

Tabla N°8
Este operador lógico relaciona dos proposiciones para formar una nueva, en la cual
la proposición resultante será verdadera cuando solamente una de ellas sea

En español, la disyunción exclusiva se presenta con el término gramatical “v”, “v

sólo”, “o solamente”, “v..., v...”.

La disyunción inclusiva es falsa sólo si las dos proposiciones componentes son

falsas; en los otros tres casos es verdadera.

conjunta.

P Q PVQ
V V V
V F V
F V V
F F F
Tabla N°9

Sean p y q proposiciones, la condicional entre p y q, representada simbólicamente por

P→Q, es una nueva proposición, cuyo valor de verdad está dado por la siguiente tabla

13
P Q P Q
V V V
V F F
F V V
F F V
Tabla N°10

Este operador lógico también se denomina enunciación hipotética o implicación. En la

proposición p→q, a es el antecedente, hipótesis o premisa; b es el consecuente,
conclusión o tesis; y la proposición resultante será falsa solamente cuando el valor de

Ejemplo:

Un candidato a la presidencia de la República promete: Si salgo electro presidente,

recibirán un 50% de aumento en su sueldo.

Proposiciones: p: “Salgo electo presidente”

q:”Recibirán un 50% de aumento en s sueldo”.

3.1.11. Bicondicional. “ ”, (Si y solo si)

por las fórmulas que relaciona de manera binaria. En el lenguaje coloquial, la idea está
asociada a la expresión “si y solo si”: el bicondicional es verdadero si los términos
que relaciona comparten el valor de verdad

Sean p y q proposiciones, la bicondicional entre p y q, representada simbólicamente

por p↔q, es una nueva proposición, cuyo valor de verdad está dado por la siguiente

14
P Q P Q
V V V
V F F
F V F
F F V
Tabla N°11

Este operador lógico también se denomina doble implicación. La proposición a↔b

será verdadera cuando los valores de verdad de ambas proposiciones sean iguales.
También se puede observar que la proposición p↔q será falsa cuando los valores
de verdad de ambas proposiciones sean diferentes.

la proposición p↔q se puede encontrar con los siguientes términos gramaticales: “p

si y sólo si q”, “p si y solamente si q”, “a implica q y q implica p”, “p cuando y sólo
cuando q”.

Ejemplo:

p: Un triángulo es equilátero.
q: Un triángulo es equiángulo

La bicondicional entre p y q es:

p↔q: Un triángulo es equilátero si y sólo si es equiángulo.

Toda Bicondicional puede descomponerse en dos condicionales de la siguiente

manera
p↔q Ξ (p q) Ʌ ( q p)

15
3.2. LOS SIGNOS DE AGRUPACIÓN

Dentro de la lógica proposicional los signos de agrupación como: ( ), [ ], { }, sirven

para separar una proposición de otra, permitiendo identificar en una proposición
compuesta el Conector Dominante o Conector Principal o Conector Determinante.

Ejemplo:

En la proposición compuesta p Ʌ (q V r) el conector principal es Ʌ.

En la proposición compuesta (p q) ↔ (¬q ¬p), el conector principal es

En la proposición compuesta p (p V r) el conector principal es
En la proposición compuesta {[(p Ʌ q) V r] Ʌ ¬q} V q el conector principal es V.

Si no hay signos de puntuación ni paréntesis se debe considerar el siguiente orden de

menor a mayor jerarquía de los operadores y de izquierda a derecha, para ubicar los
paréntesis.

¬, Ʌ, V, →, ↔

Ejemplo:

pɅq→r = (p Ʌ q) → r

pɅq→rVs = (p Ʌ q) → (r V s)

p→q ↔r Ʌ s = (p → q) ↔ (r Ʌ s)

 Si se tienen solamente proposiciones verdaderas para todos los valores de verdad

de las variables proposicionales, se dice que es una TAUTOLOGÍA.

16
 Si se tienen solamente proposiciones falsas para todos los valores de verdad de
las variables proposicionales, se dice que es una CONTRADICCIÓN.
 Si se tienen algunas proposiciones verdaderas y otras falsas para los valores de
verdad de las variables proposicionales, se dice que es una CONTINGENCIA.
Partiendo de estas definiciones, la forma proposicional A del ejemplo anterior
constituye una contingencia.

Sean A y B dos formas proposicionales, se dice que A implica lógicamente a B,

denotado por A⇒B, si y sólo si A→B es una tautología.

Ejemplo 1:

La forma proposicional tautológica: p⇒ (q→p), se puede traducir al lenguaje común

como “si se tiene p, de cualquier manera q se seguirá teniendo p”.

p q q→p p→(q→p)
0 0 1 1
0 1 0 1
1 0 1 1
1 1 1 1

Tabla N⁶12

Ejemplo 2:

La forma proposicional tautológica: [(p→q)∧(q→r)]⇒(p→r), se puede traducir al

lenguaje común como “si cada vez que se tiene p se tiene q y cada vez que se tiene
q se tiene r, entonces cada vez que se tiene p se tiene r”.

17
p q r p→q q→r p→r (p→q)∧(q→r) [(p→q)∧(q→r)]→(p→r)
0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 1 0 1 0 1
0 1 1 1 1 1 1 1
1 0 0 0 1 0 0 1
1 0 1 0 1 1 0 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1

Tabla N⁶13

Sean A y B dos formas proposicionales, se dice que A es equivalente lógicamente a

B, denotado por A⇔B, si y sólo si A↔B es una tautología.

Cuando se requiere sustituir una estructura por otra que sea equivalente,
alternativamente el símbolo ⇔ se lo reemplaza por ≡.

Ejemplo 1:

La forma proposicional: (p→q)⇔(¬q→¬p), se puede traducir al lenguaje común como

“cada vez que se tiene p, se tiene q”, y es lógicamente equivalente a “cuando no se
tiene q, entonces no se tiene p”

.
p q ¬p ¬q p→q ¬q→¬p (p→q)↔(¬q→¬p
0 0 1 1 1 1 ) 1
0 1 1 0 1 1 1
1 0 0 1 0 0 1
1 1 0 0 1 1 1

Tabla N⁶14
Ejemplo 2:

18
La forma proposicional: ¬(p∨q)⇔(¬p∧¬q), se puede traducir al lenguaje común como
“no es cierto que se tiene p o q”, y es lógicamente equivalente a “ni se tiene p, ni se
tiene q”.

p Q ¬p ¬q p∨q ¬(p∨q) ¬p∧¬q ¬(p∨q)↔(¬p∧¬q)

0 0 1 1 0 1 1 1
0 1 1 0 1 0 0 1
1 0 0 1 1 0 0 1
1 1 0 0 1 0 0 1

Tabla N⁶15

19
CAPITULO IV

4. CONCLUSIONES Y RECOMENDACIONES

4.1. CONCLUSIONES

 Se diferencia por la proposición simple que no va acompañado de un operador

lógico (y, no, o). y la compuesta que si va acompañada por un operador lógico
(y, no, o).

 Se clasifican en: tautología, contradicción y contingencia.

20
4.2. RECOMENDACIONES

 Estrategias para el aprendizaje de reglas y condiciones de los operadores

lógicos para las tablas de verdad.

21
BIBLIOGRAFÍA

 Emilio A. Yong Chang 2016. El valor de verdad de proposiciones simples y

(docente utq).
 Mi tecnológico. Consultado el 17 de mayo del 2012
 Mischa Cotlar con Cora Ratto de Sadosky. «Introducción al Álgebra Nociones de
Álgebra Lineal». Eudeba Ediciones Previas, 1977
 http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-
matematica.pdf
 http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion1.pdf

22
ANEXOS

Anexo No. 1.

Ejercicios:

^(~AVB)
1 1 0 0 1 O
1 0 1 0 0 0
0 1 0 1 1 0
0 0 0 1 1 0
TABLA N°16

(QVR)
1 1 1 0 0 1 0
1 1 0 0 0 1 0
1 0 1 1 1 1 1
1 0 0 1 1 0 0
0 1 1 0 0 1 0
0 1 0 0 0 1 0
0 0 1 1 0 1 0
0 0 0 1 0 0 1
TABLA N°17

1 1 0 0 1
1 0 1 1 1
0 1 0 0 1
0 0 0 0 1
TABLA N°18.
23
Anexo No. 2

Anexo No. 3

24