You are on page 1of 27

UNIVERSIDAD TECNICA ESTATAL DE QUEVEDO

SISTEMA DE NIVELACION Y ADMISION


GRUPO #6

TEMA:

CALCULAR EL VALOR DE VERDAD DE PROPOSICIONES SIMPLES Y


COMPUESTAS MEDIANTE TABLAS DE VERDAD, TOMANDO EN CUENTA EL
ORDEN DE OPERADORES LÓGICOS.

PROYECTO AULA:

MATEMÁTICAS

AUTORES:

Carranza Carolina

Chérrez María

Hallón Shirley

Sánchez Karen

DOCENTE:

ING. YONG EMILIO.

QUEVEDO-ECUADOR

2016-2017
ÍNDICE

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

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

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

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

1.1.1. Planteamiento del problema ............................................................................ 2

1.1.2. Formulación del problema ................................................................................ 2

1.2. OBJETIVOS ............................................................................................................... 2

1.2.1. Objetivo General: ............................................................................................... 2

1.2.2. Objetivos Específicos: ....................................................................................... 2

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

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

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

2.1. Preposiciones ............................................................................................................ 4

2.2. Clases de proposiciones: ......................................................................................... 4

2.2.1. Preposiciones simples ...................................................................................... 4

2.2.2. Preposiciones compuestas. ............................................................................. 4

2.2.3. Proposiciones Compuestas o Molares ........................................................... 4

2.2.4. Valores de proposiciones. ................................................................................ 6

2.2.5. Cálculos. .............................................................................................................. 6

2.3. Tabla de verdad. ....................................................................................................... 7

2.4. Clasificación. .............................................................................................................. 7

2.4.1. Tautología ........................................................................................................... 7

2.4.2. Contradicción ...................................................................................................... 7

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

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

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

3.1. Tabla de verdad. ....................................................................................................... 9

3.1.1. Proposición compuesta y operadores lógicos. ............................................. 9

3.1.2. Negación. “¬”, (NO), NOT ................................................................................ 9

3.1.3. Negación de proposiciones. ........................................................................... 10

3.1.4. Conjunción “Ʌ”, (Y), AND ............................................................................... 10

3.1.5. Conjunción de proposiciones. ........................................................................ 11

3.1.6. Conjunción negativa. ....................................................................................... 11

3.1.7. Disyunción. “V”, (O), OR ................................................................................. 11

3.1.8. Disyunción exclusiva. “V”, (Ó) ....................................................................... 12

3.1.9. Disyunción inclusiva. ....................................................................................... 13

3.1.10. Condicional. “ ”, (Si, entonces) .............................................................. 13

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

3.2. LOS SIGNOS DE AGRUPACIÓN ........................................................................ 16

3.2.1. Jerarquía de los operadores lógicos............................................................. 16

3.3. TAUTOLOGÍA, CONTRADICCIÓN, CONTINGENCIA ..................................... 16

3.4. IMPLICACIÓN LÓGICA ......................................................................................... 17

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

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

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

4.1. CONCLUSIONES ................................................................................................... 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 simples: es aquella que no va acompañada de otra proposición u


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

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


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

Notación: es el lenguaje simbólico propio sin alteraciones.

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


representar así: verdadero (1), falso(o).

1
CAPITULO I

1. MARCO CONTEXTUAL

1.1 EL PROBLEMA

1.1.1. Planteamiento del 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

1.2.1. Objetivo General:

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


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

1.2.2. Objetivos Específicos:

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


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

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
verdad.

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

2.2.1. Preposiciones simples

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.

2.2.2. Preposiciones compuestas.

Es aquella que va acompañada de otra proposición, a través de un operador lógico (y,


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
proposición son llamados CONECTIVOS LOGICOS.

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

CONECTIVO OPERACIÓN ASOCIADA SIGNIFICADO

Ʌ conjunción o producto lógico


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.

El valor de verdad de una proposición es la cualidad de veracidad que describe


adecuadamente la proposición. Éste puede ser verdadero o falso.
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:

El sol es una estrella: V-1

El sol es un planeta: F-0

2.2.5. Cálculos.

~PV~R .FORMULA: 2X=2.2:4

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
Resultado: es una tabla de verdad con contingencia por su resultado variado de
falso y verdadero.

2.3. Tabla de verdad.

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.
En la primera columna se asignan los valores siguientes: mitad para verdad y mitad
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

PYQ=2, FORMULA :2X:2, RESULTADO:2.2=4.

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.

2.4.2. Contradicción

Se entiende por proposición contradictoria, o contradicción, aquella preposición que


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


puede ser verdadera y falsa

8
CAPITULO III

3. DESARROLLO

3.1. Tabla de verdad.

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

3.1.1. Proposición compuesta y operadores lógicos.

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


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

3.1.2. Negación. “¬”, (NO), NOT

Sea a una proposición, la negación de a, representada simbólicamente por ¬p, es una


nueva proposición, cuyo valor de verdad está dado por la siguiente tabla de verdad:

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

3.1.4. Conjunción “Ʌ”, (Y), AND

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.

3.1.5. Conjunción de proposiciones.

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.

3.1.6. Conjunción negativa.

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

3.1.7. Disyunción. “V”, (O), OR

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
verdadera para que la expresión p ∨ q sea verdadera.

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

3.1.8. Disyunción exclusiva. “V”, (Ó)

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
verdadera.

La disyunción exclusiva P Q puede expresarse como: (p ∨ q) ∧ ¬(p ∧ q)

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


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

3.1.9. Disyunción inclusiva.

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


falsas; en los otros tres casos es verdadera.

La disyunción inclusiva, formalmente, equivale a la negación de la negación


conjunta.

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

3.1.10. Condicional. “ ”, (Si, entonces)

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
de verdad:

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
verdad del antecedente sea verdadero y el valor de verdad del consecuente sea falso.

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”.

La condicional entre p y q es: p → q

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

Un bicondicional es una proposición que tiene una doble condicionalidad, fijada


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
tabla de verdad:

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:

Dadas las proposiciones:


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.

3.2.1. Jerarquía de los operadores lógicos

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)

3.3. TAUTOLOGÍA, CONTRADICCIÓN, CONTINGENCIA

Dada la estructura lógica de una forma proposicional:

 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.

3.4. IMPLICACIÓN LÓGICA

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

3.4.1. Equivalencia Lógica

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).

 Sus valores se interpretan así: verdadero (V-1), falso (F-0).

 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.

 Saber las clasificaciones de las preposiciones simples y compuestas.

21
BIBLIOGRAFÍA

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


compuestas mediante tablas de verdad, el orden de operadores lógicos.
(En línea). Consultado en Julio del 2016. Disponible en: Facebook
(docente utq).
 adrian_domingo_gimenez@hotmail.com
 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://es.slideshare.net/guest805c35/tablas-de-verdad
 https://www.ecured.cu/Tablas_de_la_verdad
 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:

1. (A^~B) ^ (~AVB) FORMULA: 2X: 2.2:4

A B (A^~B) ~A (~AVB) (A^~B)


^(~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

RESULTADO: CONTRADITORIO.

2. (P^~Q) (QVR) FORMULA: 2X: 2.3=8

P Q R ~Q (P^~Q) (QVR) (P^~Q)


(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

RESULTADO: CONTINGENCIA.

3. (~ (P Q)) P FORMULA: 2X: 2.2=4

P Q (P Q) ~(P Q) (~(P Q)) P


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