Universidad Tcnica de

Ambato

Facultad de Contabilidad y Auditoria

Carrera de Economa
Nombre: Teresa Cunalata
Asignatura: Lgica Matemtica
Curso: A1 Economa
Tema: Tablas de Verdad

SEMESTRE
Abril Septiembre
2014

CONECTIVOS LGICOS EN PROPOSICIONES COMPUESTAS

Existen conectivos u operadores lgicos que permiten formar proposiciones compuestas, es
decir,formadas por varias proposiciones. Los operadores o conectores bsicos son:
Conjuncin (operador and)
Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un
resultado
verdadero. Se le conoce como multiplicacin lgica y su smbolo es (and).
Ejemplo.
Sea el siguiente enunciado: "Voy al cine cuando hay una buena pelcula y cuando tengo dinero
Sean:
p: Voy al cine.
q: Hay una buena pelcula.
r: Tengo dinero.
De tal manera que la representacin del enunciado anterior usando simbologa lgica es como
sigue:
p = qr
Su tabla de verdad es como sigue:

Donde.
1 = verdadero
0 = falso
En la tabla anterior el valor de q=1 significa que hay una buena pelcula, r=1 significa que tengo
dinero y
p=qr=1 significa que voy ir al cine. Se puede notar que con cualquiera de las dos
proposiciones que valga cero implica que no asisto al cine.
Disyuncin

(operador o)
Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es
verdadera.
Se conoce como suma lgica y su smbolo es (or).
Ejemplo.
Sea el siguiente enunciado: Para ir a Toluca puedo tomar la carretera federal o tomar la
autopista decuota
Sean:
p: Ir a Toluca.
q: Tomar la carretera federal.
r: Tomar la autopista de cuota.

En la tabla anterior el valor de q=1 significa tomar la carretera federal, r=1 significa tomar la
autopista de cuota y p=qr=1 significa ir a Toluca. Se puede notar que con cualquiera de las
dos proposiciones que valga uno implica que llego a Toluca.

Negacin

(operador no)
Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se
le aplica el operador not se obtendr su negacin (falso) y viceversa. Este operador se indica
por medio del smbolo .
Ejemplo.
Sea el siguiente enunciado: El len es el rey de la selva
Sean:
p: El len es el rey de la selva.
p: El len no es el rey de la selva.
Su tabla de verdad es como sigue:

En la tabla anterior el valor de p=1 significa que el len es el rey de la selva, y p=0 significa que
el len
no lo es1.
Ejemplo.
Sean las proposiciones:
p: Ya es tarde.
q: Tengo que dormirme.
r: Me levantar temprano.
El enunciado: "Ya es tarde y tengo que dormirme o no me levantar temprano. Se puede
representar simblicamente de la siguiente manera: pqr

PROPOSICIONES CONDICIONALES
Una implicacin o proposicin condicional, es aquella que est formada por dos
proposiciones simples (o compuesta) p y q. Se indica de la siguiente manera:
pq (se lee "si p entonces q")
Ejemplo.
Un profesionista dice "Si ahorro me podr comprar una casa en tres aos ". Una declaracin
como esta
se conoce como condicional.
Sean:
p: Ahorro.
q: Podr comprar una casa en tres aos .
De tal manera que el enunciado se puede expresar como: pq
Su tabla de verdad es de la siguiente manera:

La interpretacin de los resultados de la tabla es la siguiente:

Analizando si el profesionista minti con la afirmacin del enunciado anterior: Cuando p=1
significa que ahorr y q=1 que se compr la casa en tres aos, por lo tanto pq =1 (el
profesionista dijo la verdad).
Cuando p=1 y q=0 significa que pq =0, el profesionista minti, ya que ahorr y no se compr
la casa.
Cuando p=0 y q=1 significa que aunque no ahorr se compr la casa (ya tena los recursos),
as que no minti, de tal forma que pq =1. Cuando p=0 y q=0 se interpreta que aunque no
ahorr tampoco se compr la casa, por lo tanto pq =1 ya que tampoco minti.

PROPOSICIN BICONDICIONAL
Sean p y q dos proposiciones. Una doble implicacin o proposicin es bicondicional
cuando p esverdadera si y solo si q es tambin verdadera. O bien p es falsa si y slo si q
tambin lo es. Se indica dela siguiente manera:
pq (se lee "p si y slo si q")
Ejemplo.
Sea el siguiente enunciado: "Una persona puede votar, si y slo si, tiene credencial de elector"
Donde:
p: Una persona puede votar.
q: Tiene credencial de elector.
Su tabla de verdad es.

La interpretacin de los resultados de la tabla es la siguiente:

Cuando p=1 significa que una persona puede votar y q=1 que tiene credencial, al ser esto
cierto, pq
=1. Cuando p=1 y q=0 significa que pq =0, una persona puede no votar, ya que no posee la
credencial.
Cuando p=0 y q=1 significa que una persona no puede votar aunque tenga credencial (por
ejemplo los residentes en el extranjero), esto es que pq =0. Cuando p=0 y q=0 se interpreta
como que ni puede votar ni tiene credencial, por lo tanto es cierto pq =1.
Ejemplo.
Representar simblicamente el enunciado: "Si no pago la luz, entonces me cortarn la corriente
elctrica.
Y Si pago la luz, entonces me quedar sin dinero o pedir prestado. Y Si me quedo sin dinero y
pido prestado, entonces no podr pagar la deuda, si y slo si soy desorganizado"
Solucin
p: Pago la luz.
q: Me cortarn la corriente elctrica.
r: Me quedar sin dinero.
s: Pedir prestado.
t: Pagar la deuda.
w: Soy desorganizado.
(pq)p(rs)(rs)tw

El nmero de lneas de la tabla de verdad depende del nmero de variables de la expresin y

se puede
calcular por medio de la siguiente formula.
No de lneas = n 2 donde n es el nmero de variables distintas.
Ejemplo.
Dada la siguiente proposicin: [(pq)(qr)(rq).elaborar su tabla de verdad.
Solucin.

CONTINGENTES, TAUTOLOGAS Y CONTRADICCIONES

Los esquemas moleculares se clasifican segn el resultado que se obtenga en el
operador de mayor jerarqua, pueden ser:
CONTINGENTES
Cuando en su resultado hay por lo menos una verdad y una falsedad Ejemplo: dado el
siguiente esquema: ( p q) (p r)
p

(p

(p

r)

El esquema es contingente

q )

TAUTOLOGA
Es una proposicin que siempre es verdadera, independientemente del valor lgico de
las proposiciones simples que la componen..
Se puede decir tambin que un esquema es un tautolgico cuando los valores de
verdad del operador principal son todos verdaderos.
Ejemplo
Si p y q son proporciones simples distintas, demuestre mediante tablas de certeza que
el siguiente esquema proposicional es una tautologa.
(p q) (p q)

( p

q )

( p

q )

Es un esquema tautolgico
CONTRADICCIN
Es cuando en el resultado todos los valores de verdad son falsos o Un esquema A es
una contradiccin si no A ( A), es una contradiccin cuando todos los valores del
operador de mayor jerarqua son falsos.
Indeterminacin: es la sentencia que ni es verdadera ni falsa.
Ejemplo: Dado el siguiente esquema molecular:
( p q) r [ r ( p q ), determinar si se trata de una contradiccin:

( p

( p

q )

10

11

15

14

13

12

q)

[r

Podemos observar en el ejemplo anterior que no se trata de una contradiccin; pero si

es un es un esquema contingente.