RAZONAMIENTO MATEMTICO

LGICA: TABLAS
DESARROLLO DEL TEMA

I. DEFINICIONES

Compuestas: Mario es un nio y es travieso.

Ricardo es mdico o ingeniero.

A. Proposiciones
B. Variables proposicionales

Son expresiones del lenguaje que tienen la propiedad fundamental de ser verdaderas o falsas.

Son los smbolos que representan a las proposiciones

Ejemplos:

simples: p, q, r, s, ......

Lima es la capital del Per.

x + 2 > 8, si x = 5

C. Conectivos lgicos
Son los smbolos que se usan para relacionar pro-

Las proposiciones se pueden clasificar en:

posiciones, es decir forman proposiciones, es decir,

forman proposiciones compuestas a partir de las

Simples: Mario es un nio.

proposiciones simples.

Mario es travieso.

Smbolo

Nombre

Lenguaje comn

Negacin

No, no es cierto que, no es el caso que, etc.

Conjuncin

Y, pero, sin embargo, adems, aunque, a la vez, etc.

Disyuncin
inclusiva

Disyuncin
exclusiva

O, O ... O ...

Condicional

Si ... entonces...,
... si ...,
... dado que ...,
... siempre que ...,
... porque ...,
... en vista que ..., etc.

Bicondicional

.......si y solo si .....

UNI SEMESTRAL 2013 - III

22

RAZ. MATEMTICO

TEMA 9

LGICAS: TABLAS

II. TABLAS DE VALORES DE VERDAD

La disyuncin exclusiva es verdadera cuando sus

A. Conjuncin ( )

componentes tienen diferente valor de verdad y

Une dos proposiciones mediante el trmino "y".

es falsa cuando sus componentes tienen el mismo

Ejemplo:

valor de verdad.

Luis es joven y honrado.

p: Luis es joven.
q: Luis es honrado.

Simbologa: p q

p q

V V
V F
F V
F F

La conjuncin es verdadera nicamente cuando

ambas proposiciones componentes son verdaderas
y es falsa cuando al menos una de sus componentes
es falsa.

D. Condicional ( )
p

p q

Es la combinacin de dos proposiciones mediante:

V V
V F
F V
F F

"Si ........................ entonces ......................"

antecedente

consecuente

Ejemplo:
Si estudias, entonces ingresars:

B. Disyuncin inclusiva ( )
Une dos proposiciones mediante el trmino "o".

p: Estudias

Ejemplo:

q: Ingresars

El gerente habla ingls o francs.

Simbologa: p q "Ingresars, si estudias"

p: El gerente habla ingls

q: El gerente habla francs.

El condicional es falso nicamente cuando el ante-

Simbologa: p q

cedente es verdadero y el consecuente es falso, y

es verdadero cuando al menos el antecedente es

La disyuncin inclusiva es falsa nicamente cuando

ambas proposiciones componentes son falsas y es
verdadera cuando al menos una de sus componentes es verdadera.

falso o el consecuente es verdadero.

p
p

p q

V V
V F
F V
F F

p q

V V
V F
F V
F F

E. Bicondicional ( )
Es la combinacin de dos proposiciones con:

C. Disyuncin exclusiva ( )

"....................... si y solo si ......................."

Une dos proposiciones mediante el trmino "o" pero

exclusivo.

Ejemplo:

Ejemplo:

Sers un excelente ingeniero si y solo si te esfuerzas

en tus estudios.

Raimondi naci en Per o en Italia.

p:

Raimondi naci en Per.

q:

Raimondi naci en Italia.

p: Sers un excelente ingeniero.

q: Te esfuerzas en tus estudios.

Simbologa: p q
UNI SEMESTRAL 2013 - III

Simbologa: p q
23

RAZ. MATEMTICO

TEMA 9

LGICAS: TABLAS

Exigimos ms!
El bicondicional es verdadero cuando ambos com-

3. Cuando una proposicin compuesta tiene ms

ponentes tienen igual valor, de verdad y es falso

de dos proposiciones, por tanto ms de un conec-

cuando sus componentes tienen valores de ver-

tivo lgico, entonces es necesario usar los sig-

dad diferentes.

nos de agrupacin (parntesis, corchetes, etc.)

para distinguir el alcance de los operadores.
p

p q

Ejemplo:

V V
V F
F V
F F

a) (p q) r
b) p [q (r s)]

4. Las proposiciones compuestas toman el nom-

F. Negacin ( )

bre de su operador principal:

Cambia el valor de verdad de la proposicin.

La frmula del ejemplo a) representa una pro-

Ejemplo:

posicin disyuntiva, pues es " " el operador

p: Luis es honesto.

de mayor alcance.

p: Luis no es honesto.

La frmula del ejemplo b) representa una

proposicin condicional, pues es " " el ope-

Por tanto la simbolizacin y la tabla de verdad de la

rador de mayor jerarqua.

proposicin negativa es:

III. EVALUACIN DE FRMULAS POR LA

TABLA DE VALORES

V
F

Evaluar una frmula por la tabla de verdad es obtener los valores del operador principal a partir de los
valores de verdad de cada una de las variables

La frase "no es el caso que" generalmente se emplea

proposicionales.

para negar proposiciones compuestas.

El nmero de valores que se asigna a cada variable

es 2n, donde "n" es el nmero de proposiciones

Ejemplo:

que hay en la frmula.

No es cierto que Juan sea pintor y se levante temprano.

p: Juan es pintor.

Ejemplo:

q: Juan se levanta temprano.

Hallar la Tabla de Verdad de la siguiente proposicin

Simbologa: (p q)

compuesta:
(p q) (p q)

Observaciones
1. La doble negacin es lo mismo que una afirma-

cin: " ( p)" tiene la misma tabla de verdad

Luego: Nmero de valores para cada variable: 22 = 4

que "p".

Se procede a aplicar la Tabla de Valores de cada

uno de los conectivos empezando por el de menor

2. "p q" y " (p q)" tienen la misma tabla de

jerarqua hasta llegar al de mayor alcance.

verdad.
UNI SEMESTRAL 2013 - III

Nmero de proposiciones: 2 (p y q)

24

RAZ. MATEMTICO

TEMA 9

LGICAS: TABLAS

Exigimos ms!
C. Contingencia
Cuando entre los valores de su operador principal
hay por lo menos una verdad y una falsedad.
Por ejemplo:

1 Con la ayuda de la tabla de valores de la conjuncin

y la disyuncin completamos las columnas (1) y (2).
2 Con ayuda de la tabla de valores del condicional
completamos la columna (3).

IV. PROPOSICIONES EQUIVALENTES

El resultado de la Tabla de Valores de la frmula

Dos proposiciones son equivalentes cuando al unirlas

pertenece al operador principal.

bicondicionalmente, su resultado es una tautologa.

Dependiendo del resultado de la frmula por Tabla

de Valores, este puede ser:

Notacin:
A B y se lee: "A es equivalente a B"

A. Tautologa

Ejemplos:

Cuando los valores de su operador prin-cipal son

todos verdaderos.

( p) p
p q (p q)

Por ejemplo:

p p (p p)

V. LEYES LGICAS
A. De Morgan
(p q) p q
(p q) p q

Ejemplo:
"No es el caso que estudies y trabajes".

B. Contradiccin

p: Estudias.

Cuando los valores de su operador principal son

todos falsos.

q: Trabajas.
Simbologa: (p q)

Por ejemplo:

Su equivalente: p q
Se lee: "No estudias o no trabajas"

B. Del condicional
(p q) p q
(p q)

UNI SEMESTRAL 2013 - III

25

RAZ. MATEMTICO

TEMA 9

LGICAS: TABLAS

Exigimos ms!
Ejemplo:

Simbologa: p q

"Si Luis es escritor, entonces es poeta".

Su equivalente: p q

p: Luis es escritor.

Se lee: "Si Pedro no canta, entonces no toca guitarra".

q: Luis es poeta.

D. Transitividad
Simbologa: (p q)
Su equivalente: p q

Si :p q y q r

Se lee: "Luis no es escritor o es poeta".

Entonces : p r

Segundo equivalente: (p q)

Ejemplo:

Se lee: "No es cierto que Luis sea escritor y no sea

poeta".

Si estudias, entonces ingresars.

Si ingresas, entonces sers profesional.

C. Transposicin
p: Estudias.
q: Ingresars.
r: Sers profesional.

p q q p

Simbologa: p q

Ejemplo:

qr

"Si Pedro toca guitarra, entonces canta".

p: Pedro toca guitarra.

Conclusin: p r

q: Pedro canta.

Se lee: "Si estudias, entonces sers profesional".

problemas resueltos

Problema 1

Reducir:

Si:

II. q: Pedro no es arquitecto.

Operacin del problema

q: Pedro es arquitecto.

III. r: Alejandro hace su tarea o Luis

Simplifique:

recurre a Hctor.

UNI 2011 - I

r: Alejandro no hace su tarea y

A) t

B)

C) t

D) r s

Luis no recurre a Hctor.

E) r t

Resolucin:
Ubicacin de incgnita
Indica el resultado de reducir la expresin.
Anlisis de los datos o grficos

UNI SEMESTRAL 2013 - III

en cules de los casos la afirmacin

est acompaada correctamente por

Respuesta: C) t

su negacin?

UNI 2009 - I
Problema 2
En cada caso, debajo de cada afirmacin (proposicin) aparece su posible
negacin.
I. p: Juan juega y Jos estudia.
p: Si Juan juega, entonces Jos no
estudia.
26

A) Solo I
B) Solo II
C) Solo I y II
D) Solo I y III
E) I, II y III
RAZ. MATEMTICO

TEMA 9

LGICAS: TABLAS

Exigimos ms!
Resolucin:

Conclusin

Resolucin:

Uno de ellos lo hizo.

Ubicacin de incgnita

I, II y III estn acompaadas con sus

negaciones.

Solo uno dice la verdad.

No fue Carlos.

Seala los casos en los que la afirmacin est acompaada correctamente

por su negacin.

Respuesta: E) I, II y II

PProblema 3
Operacin del problema
a) Aplicacin de frmula o teorema
Leyes lgicas:

La mam interroga a sus cinco hijos:

Quin rompi el espejo?" y ellos respondieron:

Como se sabe que uno ellos lo hizo y

no fue Carlos se puede suponer que
haya sido Alberto, Eduardo, David o
Juan, de lo que concluir:
Alberto Eduardo David Juan
Alberto: lo hizo Eduardo
Eduardo: Carlos lo hizo

F
F

V
F

F
F

F
F

Carlos: Yo no fui
Dario:Juan lo hizo

V
F

V
F

V
F

V
V

Juan: lo hizo Alberto

F
(*)

Alberto: Lo hizo Eduardo.

Eduardo: Carlos lo hizo.
Carlos: Yo no fui.
David: Juan lo hizo.
b) Solucin del problema
I)

pq
p q p q (p q)

(*) Adems nos dicen que slo uno

dice la verdad:

Juan: Lo hizo Alberto.

Si uno de ellos lo hizo, si no fue Carlos y
slo uno dice la verdad, quin lo hizo?

UNI 2008-II
Nivel intermedio

II) p
p

III) p q
p q (Morgan)

UNI SEMESTRAL 2013 - III

A) Alberto

B) Eduardo

C) Carlos

D) David

Se concluye que David lo rompi

puesto que es la nica que cumple
con las condiciones del problema.

Del dato que dice solo uno de ellos

dice la verdad, se deduce que es
Carlos o las otras personas mienten.

Fue David.

Respuesta: D) David

E) Juan

27

RAZ. MATEMTICO

TEMA 9