REA DE FORMACIN GENERAL

1




ASIGNATURA DE LGICO MATEMTICA








SESIN 2


VERDAD FORMAL


SEMESTRE 2010-II










REA DE FORMACIN GENERAL
2
VERDAD FORMAL


MOTIVACIN

O la Televisin modifica sus esquemas y renueva su programacin o
se producir una huida masiva de telespectadores.

Cmo podramos saber si lo que se est diciendo en el argumento
anterior tiene un valor de verdad verdadero o un valor de verdad
falso?

Cmo podramos hacer para determinar todos los posibles valores
de verdad que tendra el argumento?
Para ello veamos:


Verdad Formal
La verdad formal es aquella que se obtiene evaluando esquemas moleculares, adems, haciendo uso de
reglas de conectores lgicos y tablas de verdad.


Esquemas moleculares
Son frmulas compuestas por variables, operadores lgicos y en algunos casos signos de agrupacin. Se
clasifican en:

- Esquemas moleculares por su operador principal: se dan dos casos

o En esquemas sin signos de agrupacin: su clasificacin la determina el operador de mayor
jerarqua. Veamos la jerarqua de Conectores lgicos.

Jerarqua 1 2 3 4 5 6
Operador

A
;

v . _

o En esquemas con signos de agrupacin: su nombre lo determina el conector principal que une
bloques.

- Esquemas moleculares por su matriz principal: segn los resultados que se obtengan en la matriz
principal en la tabla de verdad pueden ser esquemas tautolgicos, esquemas contingentes y esquemas
contradictorios.

Tablas de verdad
Es un conjunto ordenado de valores de verdad de proposiciones compuestas, que resultan de la aplicacin
de reglas de los conectores lgicos sobre los valores de verdad de las proposiciones simples que las
componen.

El nmero de valores de verdad que se asigna a cada proposicin simple o compuesta es 2
n
, donde n
es el nmero de variables que hay en la frmula. As tenemos:

- Para una sola variable p se tiene:
2
1
= 2 valores de verdad

P
V
F

- Para dos variables p, q se tiene:
2
2
= 4 valores de verdad para cada una de ellas
REA DE FORMACIN GENERAL
3

p q
V
V
F
F
V
F
V
F

- Para tres variables p, q, r se tiene:
2
3
= 8 valores de verdad para cada una de ellas

p q r
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F


Proposiciones compuestas bsicas

A) NEGACIN
Sea p una proposicin, la negacin de p es la proposicin denotada por ~p cuyo valor de verdad es el
opuesto del valor de verdad de p.
Tabla de Verdad
p ~ p
V
F
F
V

Ejemplo 1.

Si la proposicin p : Las reuniones de la APEC en el 2008 se realizarn en Per.

Su negacin ser:

~ p: Las reuniones de la APEC en el 2008 no se realizarn en Per.

~ p: No es cierto que las reuniones de la APEC en el 2008 se realizarn en Per.


Ejemplo 2.

Sea q: El IGV en el Per es el 19%.

Su negacin ser:

~ q : Es falso que el IGV en el Per sea el 19%.

~ q : El IGV en el Per no es el 19%.
REA DE FORMACIN GENERAL
4

B) CONJUNCIN
Dadas las proposiciones p y q, la conjuncin es el resultado de unir estas proposiciones con el
conectivo y la cual se denota por: p . q.
La conjuncin es una proposicin verdadera (V) slo cuando ambas p y q son verdaderas, en los
dems casos ser falsa (F).
Tabla de Verdad
p q p . q
V
V
F
F
V
F
V
F
V
F
F
F

Ejemplo 1.

p: La inflacin aument en el ltimo trimestre.
q: La cotizacin del dlar disminuy en el ltimo trimestre.
p . q: La inflacin aument en el ltimo trimestre, pero la cotizacin del dlar disminuy

Ejemplo 2.

p: El peso promedio del recin nacido es de 3200g
q: La talla promedio del recin nacido es de 50cm
p . q: El peso promedio del recin nacido es de 3200g as como su talla promedio es 50cm

C) DISYUNCIN INCLUSIVA
Dadas las proposiciones p y q, la disyuncin inclusiva que se denota por p v q; es el resultado de unir
estas proposiciones con el conectivo o.

La disyuncin inclusiva es verdadera (V) cuando por lo menos una de las proposiciones es
verdadera. Es falsa (F) slo si ambas p y q son falsas.
Tabla de verdad
p q p v q
V
V
F
F
V
F
V
F
V
V
V
F


Ejemplo 1.

p: Los ingresantes a la UCV-Lima rinden un examen psicolgico
q: Los ingresantes a la UCV-Lima rinden un examen mdico
p q v
: Los ingresantes a la UCV-Lima rinden un examen psicolgico o tambin mdico:


REA DE FORMACIN GENERAL
5
Ejemplo 2.

p: En el aprendizaje significativo es importante los conocimientos previos
q: En el aprendizaje significativo es importante la aplicacin de lo aprendido
p q v
: En el aprendizaje significativo es importante los conocimientos previos o incluso la
aplicacin de lo aprendido


D) DISYUNCIN EXCLUSIVA
La disyuncin exclusiva de las proposiciones p y q denotada como p A q es falsa (F) slo cuando
ambas admiten el mismo valor de verdad.
Tabla de verdad
p q p A q
V
V
F
F
V
F
V
F
F
V
V
F

Ejemplo 1.

p: Noboru tiene juicio por enriquecimiento ilcito.
q: Noboru tiene juicio por homicidio.
p A q : Noboru tiene juicio por enriquecimiento ilcito o nicamente tiene juicio por homicidio.

En este ejemplo podemos observar que el conectivo o nicamente es exclusivo ya que uno de los
hechos excluye al otro ya que no se pueden asumir ambos hechos a la vez.

Ejemplo 2.

p: Roxana estudia educacin inicial
q: Roxana estudia educacin primaria
p A q : Roxana estudia educacin inicial o primaria pero no ambas : (p v q) . ~(p.q)

Observacin: si p A q es falso (F) entonces p y q tienen el mismo valor de verdad.





E) CONDICIONAL
Dadas las proposiciones p y q, la condicional es el resultado de unir estas proposiciones con el
conectivo Si ...p... entonces ...q..., la cual se denotado por p q.

p q

Antecedente consecuente

REA DE FORMACIN GENERAL
6
La condicional es una proposicin, la cual solamente es falsa (F) cuando el antecedente (p) es
verdadero (V) y el consecuente (q) es falso (F).

Tabla de verdad
p q p q
V
V
F
F
V
F
V
F
V
F
V
V

Ejemplo 1.

p: El presidente de la repblica decreta estado de emergencia en Andahuaylas
q: Las fuerzas armadas asumen el control interno de Andahuaylas
p q: Si el presidente de la repblica decreta estado de emergencia en Andahuaylas, entonces
las fuerzas armadas asumen el control interno de Andahuaylas

Ejemplo 2.

Si el Per obtuvo el grado de inversin en el 2008, entonces el Per tendr un mayor crecimiento
econmico y aumentar la inversin extranjera

p (q . r)

Observacin:
Basta que el antecedente sea falso, para que el esquema condicional sea verdadero sin importar el
valor de verdad del consecuente.

F) BICONDICIONAL

Dadas las proposiciones p y q; se llama bicondicional a la proposicin denotada por p q que se lee
p si y slo si q, a aquella proposicin compuesta que es verdadera slo cuando ambas p y q tienen
valores de verdad iguales.
Tabla de verdad
p q p q
V
V
F
F
V
F
V
F
V
F
F
V

Ejemplo.

p:
2
log 16 4 =
q:
2
16 4 =
p q :
2
log 16 4 = si y slo si
2
16 4 =
FRMULAS LGICAS
Evaluar una proposicin compuesta es determinar el grado de validez de la misma, para sus distintos
valores. Se presentan tres casos:

a) TAUTOLOGA
REA DE FORMACIN GENERAL
7
Se llama as a la proposicin compuesta en la cual los valores de verdad de su conectivo principal son
todos verdaderos.

Ejemplo. Hallar la tabla de verdad de la proposicin: [p . ( p q)] q
Solucin: Tabla de verdad

p q p . (p q)] q
V
V
F
F
V
F
V
F
V
V
F
F
V
F
F
F
V
F
V
V
V
V
V
V
V
F
V
F

b) CONTRADICCIN
Cuando los valores de verdad de su conectivo principal resultan siempre falsa.

Ejemplo.
Hallar la tabla de verdad de la proposicin (~p . ~q) ( p v q)
Solucin:

p q (~ p . ~ q) ( p v q)
V
V
F
F
V
F
V
F
F
F
V
V
F
F
F
V
F
V
F
V
F
F
F
F
V
V
V
F

c) CONTINGENCIA
Se llama as a la proposicin compuesta que no es tautologa ni contradiccin, es decir su conectivo
principal presenta al menos una verdadera (V) y al menos una falsa (F).
Ejemplo: ( p v q) ( p . q)
Pasos para determinar la matriz principal de un esquema molecular:

1) Se formaliza la proposicin compuesta, obtenindose el esquema molecular.
2) Se determina el nmero de variables distintas(n), que tiene el esquema molecular.
3) Para hallar el nmero de arreglos por columna(N), se hace uso de la frmula N= 2
n
.
4) Se evala el esquema molecular haciendo uso de las reglas de los conectores lgicos.

Reglas de los Conectores lgicos (1=V y 0=F)

p q q p . q p v
q pA
q p
1 1 1 1 0 1
1 0 0 1 1 0
0 1 0 1 1 1
0 0 0 0 0 1

p q q p

q p
q p q p +
1 1 1 1 0 0
1 0 1 0 1 0
0 1 0 0 1 0
0 0 1 1 1 1

REA DE FORMACIN GENERAL
8

EJERCICIOS PROPUESTOS


I. Halla las TABLAS DE VERDAD de los siguientes esquemas moleculares.

1. | | ) ( r q p v
2. ( ) ) ( p q q p v
3. ( ) ( ) p q q p v ~ . ~
4. ( ) ( ) | | p q r q p . ~ A
5. ( ) | | ( ) p q r q p . ~ v . ~
6. | | A B A B A v v v v ) ( ) (
7.
( ) | | ( ) | | r q r r q p A ~ . .

8.
( ) ( ) ( ) A B A C A B C v A v v .

9. | | ) ( ) ( A B B B A v v .
10.
( ) ( ) A B A C + v



II. Determina en qu casos las siguientes proposiciones son verdaderas y en qu casos son falsas.

11. Ni Ecuador, ni Bolivia son productores de algodn.

12. Si los recursos naturales son patrimonio de la nacin, en consecuencia es soberano su
aprovechamiento.

13. Si suben los salarios, entonces suben los precios. Si suben los precios, entonces baja el poder
adquisitivo de la moneda. La verdad es que suben los salarios. Luego baja el poder adquisitivo de la
moneda.

14. Con tal que la inflacin se controle, es obvio que se reactivar la balanza comercial

15. Que la poltica sea social es una condicin suficiente y necesaria para que la poltica no sea econmica.

16. La inflacin es un indicador econmico o tan slo es un problema de los pases latinoamericanos.

17. Subir el precio del pan porque subi el precio de la gasolina, en vista de que, s subi el precio de la
gasolina, el gobierno no puede controlar la inflacin.


III. Lee cuidadosamente y resuelve los siguientes ejercicios

18. Si p, q, r, s, t, w, son proposiciones cualesquiera tales que:

(p V ~r)(sw) es verdadero y
~w~s es falsa,
halla el valor de verdad de las siguientes proposiciones:
- [p q V r]V s
- (s~w)(r V ~p)


19. Halla el valor de verdad de las proposiciones p, q, r, s sabiendo que:
( ) ( )
p q r s .
es falsa.



REA DE FORMACIN GENERAL
9
20. Si el esquema
( ) ( ) ( ) p q r s p s . v (

es falso, establece el valor de verdad de:

a. ) ( p q p v
b. ( ) ) ( p q s r v v
c. | | r p q s . v ) (

21. Si la proposicin
( ) ) ( s r q p v v
es falsa, halla el valor de verdad de:
| | r p s p v ) (
.

22. Dado el esquema
( ) ( ) r s q p . v
falso. Determina el valor de verdad de las variables
p, q, r y s
. Luego halla
( ) ( ) | | p s r q p A .
.



TOMADO DEL LIBRO: Lgico Matemtica
AUTORES: Roger Soto Quiroz
Denis Morales Saavedra
Elba Andrade Daz
Roco Lpez Pelez