Guia Logica V - 1

INTRODUCCIN A LA MATEMTICA FACES UC. PROF. A.
FERNNDEZ
1

Unidad I
SEMESTRE II -2012
INTRODUCCIN A LA MATEMTICA FACES UC. PROF. A. FERNNDEZ
2

LGICA
DEFINICIONES:
Etimolgicamente el trmino lgica deriva del latn lgica, que a su vez proviene del trmino griego logiks (de logos razn o estudio).
"La lgica es la ciencia de la demostracin, pues slo se preocupa de formular reglas para alcanzar verdades a travs de la demostracin" (Aristteles).
La lgica o arte de razonar, es la parte de la ciencia que ensea el mtodo para alcanzar la verdad (San Agustn)
"La lgica es la ciencia de las leyes necesarias del entendimiento y de la razn" (Kant).
"La lgica es la ciencia de la idea pura de la idea en el elemento abstracto del pensamiento" (Hegel).
La lgica es el estudio de los mtodos y principios usados para distinguir un razonamiento correcto de uno incorrecto (Copi).
Ciencia que proporciona principios y mtodos que, aplicados a la estructura de los razonamientos, nos permiten decir si estos son o no correctos
(ngel Muoz).
La lgica se ocupa de estudiar las verdades formales, sus estructuras y sus leyes, de manera que sea posible determinar si una proposicin cualquiera,
con un contenido variable, es verdadera o falsa formalmente, es decir, independientemente de los hechos a los que se refiere. Con ayuda de una no-
tacin artificial (simblica) y un mtodo rigurosamente deductivo.
La lgica proposicional es una rama de la lgica que permite representar hechos y/o expresiones del mundo real en un lenguaje representativo del
conocimiento mediante propiedades elementales para estudiar a travs de proposiciones o sentencias lgicas sus posibles evaluaciones de verdad y
en el caso ideal su nivel absoluto de verdad.

EL OBJETO DE ESTUDIO DE LA LGICA La lgica es una ciencia que se encarga del anlisis de las formas, estructuras o esquemas del pensamien-
to y su objeto de estudio es diferenciar un razonamiento correcto (o vlido) de un razonamiento incorrecto (o no valido), para lograr esto es necesario
inicialmente reconocer el tipo de lenguaje utilizado en un razonamiento, dado que hay muchas clases de oraciones que aparecen en el lenguaje comn,
incluyendo enunciados basados en hechos, opiniones, rdenes y preguntas.
La lgica estudia solo el tipo de lenguaje que se refiere a los hechos, es decir, el lenguaje declarativo o enunciativo, el cual sirve para transmitir mensajes, y
varan de lo simplemente informativo hasta la descripcin del desarrollo de ciencias exactas como por ejemplo la estructura comn del razonamiento ma-
temtico, estos mensajes reciben el nombre de proposiciones y tienen un valor veritativo, lo cual significa que pueden ser verdaderas (V) o falsas (F) pero
nunca ambos. Ejemplo: el semestre empez en Abril.
Las otras expresiones se corresponderan al lenguaje expresivo, lenguaje directivo, lenguaje interrogativo, los cuales se usan respectivamente para: dar
expansin a los sentimientos y emociones, producir o impedir una accin, indagar sobre un asunto; estos lenguajes no tiene valor veritativo y por lo tanto
no es de inters a la lgica, son ejemplos: Me gustas! ; por favor, llega temprano; estudiaste para el examen?
Se evidencia entonces que a la lgica le conciernen las expresiones que tienen valor veritativo (se les puede asignar un valor de verdad verdade-
ro o falso), por lo tanto, le interesan las expresiones del lenguaje declarativo o enunciativo.

3

HISTORIA
La evolucin de la lgica est intrnsecamente ligada a la evolucin intelectual del ser humano, son los tratados de lgica de Aristteles (384-332
a.C.), conocidos como rganon, los que contienen el primer tratamiento sistemtico de las leyes de pensamiento en relacin con la adquisicin de cono-
cimiento. Estos representan el primer intento de establecer a la lgica como ciencia, despus sigue un largo periplo de estancamientos y desarrollos, sien-
do a finales del siglo XIX cuando se empieza a utilizar lenguajes lgicos, es decir, lenguajes artificiales, diseados especialmente para describir con mayor
fuerza las formas de razonamiento, con el propsito de facilitar las demostraciones de validez e invalidez.
No cabe duda que la lgica tiene impacto fundamental, como ciencia de las ciencias, en el pensamiento contemporneo, y el nacimiento de la tec-
nologa computacional le deba mucho al desarrollo del formalismo lgico de principios de siglo XX. Hay que hacer notar que aunque el lenguaje lgico o
formal es limitado por su carcter tan riguroso, tiene varias ventajas, como son:
Evitar la ambigedad del lenguaje natural.
Ser conciso y riguroso.
Inducir a la concentracin en lo que es esencial.
Economa de pensamiento.
El lenguaje de la lgica proposicional est constituido por tres elementos:
- Las proposiciones lgicas (definicin, variables proposicionales, notacin, valor veritativo de la variable, tipo de proposiciones)
- Los conectivos (trminos para enlazar proposiciones, notacin, palabras sustitutas)
- Los signos de agrupacin

PROPOSICIN LGICA (o enunciado) ser toda frase, oracin o conjunto de smbolos a los cuales puede asignrseles uno de los dos valores de ver-
dad: verdad o falso, nunca ambas cosas simultneamente. Estas proposiciones son del tipo declarativo y como se dijo anteriormente deben ser verdaderas
o falsas, lo cual se denomina en lgica, valor de verdad de la proposicin (valor veritativo).
Nota: Oraciones de igual significado (an escritas de diferentes formas) son la misma proposicin. Quedan excluidas del concepto de proposicin
aquellas expresiones: admirativas, interrogativas e imperativas que no encierren ningn significado asociable a un valor de verdad.

Variables proposicionales, son los smbolos que sustituyen las proposiciones o enunciados. Se llaman variables porque su significado va cambiando en las
diferentes argumentaciones o expresiones y proposicional porque estas variables simbolizan proposiciones lgicas; a objeto de ste curso se acuerda que
las variables se denoten con letras en minsculas y a partir de la p, es decir p, q, r, s, t, u, v, w, y, x las cuales simbolizan proposiciones atmicas.
Para denotar el valor de verdad de una variable p, cuando esta es verdadero o falso emplearemos V(p): V o V(p): F respectivamente.
EJEMPLOS: a las siguientes proposiciones las denotaremos con variables lgicas
VARIABLE PROPOSICIN
p: Las monedas comunales permiten el intercambio de servicios en mbitos geogrficos limitados.
q: El tiempo como patrimonio, la vocacin de servicio y la solidaridad social son valores de FACES
r: La cesta petrolera venezolana promedia $ 105,37 en lo que va de ao.
s: Descubren una bacteria que reduce la ansiedad y nos hace ms inteligentes.
t: Si los deseos fueran caballos, los mendigos cabalgaran
w: A travs de dos puntos cualesquiera existe solamente una lnea.
Material en revisin
4

EJERCICIOS
Identifique con una variable las expresiones que son proposicin lgica y asigne un valor de verdad

, por lo tanto,

Encuentre el rea del tringulo cuyos vrtices son los puntos (0,0), (0,1) y (1,0)
Los nmeros impares son divisibles por tres
X > 2, por lo tanto x
2
> 4
Los miembros de la Asamblea Nacional tendrn salario mnimo.
Por qu engaas?
Te ruego que me perdones mis estupideces.

En las siguientes expresiones selecciona con una ( X) la repuesta correcta.
Si es proposicin lgica tiene valor de verdad
( ) proposicin con valor de verdad V ( ) proposicin con valor de verdad F ( ) no es una proposicin
Soar que en Maracay, no hay buhoneros en la calle en Diciembre
Estudiar lgica hasta el cansancio

( ) Proposicin con valor de verdad V ( ) proposicin con valor de verdad F ( ) no es una proposicin




Si es racional entonces es entero


5

TIPO DE PROPOSICIONES
De acuerdo a su estructura las proposiciones lgicas son de dos tipos:
ATMICAS O SIMPLES, aquellas que expresan una sola idea o juicio acerca de algo.
Ejemplos
p: log 100 = 2
q: El barril de petrleo ronda los 120 dlares
r: Yo estudio Introduccin a la Matemtica
MOLECULARES O COMPUESTAS, aquellos enunciados que contienen mas de una idea o juicio y se forman mediante partculas gramaticales que en-
lazan dos o ms juicios, estas partculas son: y , o , s... entonces , ...s y solo s ... , no . A dichas palabras se le denomina
CONECTIVOS LGICOS.
Ejemplos: Yo estudio Introduccin a la Matemtica y trabajo en el centro de la ciudad
Si llueve maana, no voy a la playa

TABLA RESUMEN DE CONECTIVOS LGICOS

FORMULA PROPOSICIONAL (FP)
Es una expresin que representa a una proposicin compuesta, escrita usando variables proposicionales, conectivos lgicos y/ smbolos de agrupacin
con sentido en el lenguaje simblico.
LOS SIMBOLOS DE AGRUPACIN
Indican sin ambigedad la estructura de las frmulas proposicionales cuando los componentes de una frmula compuesta son, a su vez, frmulas com-
puestas. Estos son: Parntesis ( ) ; Corchetes | | ; Llaves { }; Barras | |
PARTICULA
GRAMATICAL
NOMBRE DEL
CONECTIVO
NOTACIN DEL
CONECTIVO
LOGICO
PALABRAS ASOCIADAS
no negacin ~ No, no ocurre, es falso, no es
cierto que

y
conjuncin . el punto, la coma, pero, sin
embargo, adems, a la vez,
mientras, pero, mas, e,
o disyuncin inclusiva v o
S... entonces condicional por lo tanto, solo si
...si y solo s ... bicondicional solamente, nicamente
6

Permiten dar sentido a las expresiones que deseamos simbolizar y limitan el alcance del conectivo, ellos muestran una secuencia operativa y por tanto
seala cual es el trmino de enlace dominante y dan sentido a las expresiones que deseamos simbolizar.

Ejemplo
La desercin estudiantil disminuir si y solo si, los estudiantes son mas disciplinados y mejoran los servicios universitarios.
p = la desercin estudiantil disminuir
q = los estudiantes son mas disciplinados
r = mejoran los servicios universitarios

EJERCICIOS
Usando las variables, smbolos de los conectivos y signos de agrupacin simbolice las siguientes proposiciones:
Si pago las deudas entonces tendr nuevos crditos.
Me servir postre o fruta, pero no ambos.
Comprendo que trabajes, pero no comparto que faltes a clases.
Vienes a mi casa y jugamos, entonces yo ir a la tuya.
Si llueve, entonces voy a tu casa. Llueve. Por lo tanto, voy a tu casa.
Si hace frio o est hmedo el ambiente, y no te abrigas bien, entonces tendrs resfriado y no iras a clases.
El gobierno americano produce etanol o no tendr combustible. Si no tiene combustible entonces Obama invadir otro pas petrolero.
Si existo entonces razono, pero, si estoy dormido no razono. Entonces estoy despierto y razono.

Complete las siguientes definiciones con la(s) palabra(s) que corresponda
Para simbolizar proposiciones lgicas utilizamos _______________ llamadas________________
En lgica, una proposicin completa que tenga trmino(s) de enlace se denomina _________________________________
Toda frase, oracin o conjunto de smbolos a los cuales se les puede determinar si son verdaderas o falsas, pero nunca ambas cosas simultneamente
se le denomina __________________________________
Aquellos enunciados que contienen ms de una idea o juicio y se forman mediante partculas gramaticales que enlazan dos o ms juicios, se denomi-
nan__________________________________________________________

Seleccione la alternativa que considere correcta, con un circulo una sola es la correcta
La nueva LOT establece seis semanas de reposo prenatal y de 20 semanas posnatal.
( ) proposicin simple ( ) proposicin con valor de verdad F
( ) no es una proposicin ( ) proposicin compuesta
Dadas las proposiciones p:"A ti no te encontr en la calle"; q:"No es cierto que haya slo una madre" Entonces ~q .~p ser:
( )"Madre no hay ms que una y a ti te encontr en la calle" ( )"Aunque slo haya una madre, a t no te encontr en la calle"
( )"O slo hay una madre, o te encontr en la calle" ( )"Aunque te haya encontrado en la calle, slo hay una madre"

p (q.r)

7

Si tienes fe, te salvas.
( ) proposicin con valor de verdad V ( ) no es una proposicin ( ) proposicin con valor de verdad F ( ) proposicin compuesta
La disyuncin entre una variable y un valor de verdad falso siempre es una contradiccin
( ) proposicin simple ( ) proposicin compuesta
( ) no es una proposicin ( ) proposicin con valor de verdad V
En la expresin no es cierto que no hay elecciones de gobernadores en Diciembre del 2012, podemos afirmar que:
( ) no es proposicin lgica ( ) proposicin lgica atmica
( ) proposicin lgica molecular ( ) proposicin lgica falsa

( ) proposicin simple ( ) proposicin compuesta
( ) no es una proposicin ( ) proposicin con valor de verdad V

TABLAS DE VERDAD
Cada proposicin simple tiene un valor de verdad, es decir, es verdadera (V) o es falsa (F), cuando tenemos proposiciones compuestas su valor de verdad
depende del valor de verdad de las proposiciones simples que la componen y del conectivo que las relaciona, por lo tanto para obtener el valor de verdad
de una formula proposicional compuesta se construye la tabla de verdad el cual es un esquema tabular donde se plantean todos los posibles valores de
verdad de las variables proposicionales que la componen, y de los conectivos lgicos que las relaciona hasta determinar el valor de verdad de la formula
proposicional estudiada. Tambin se le llama tablas veritivas de Quine.
Al elaborar la tabla se deben tomar en cuenta los siguientes aspectos:
a) La tabla debe tener tantas columnas como variables proposicionales y conectivos lgicos tenga la formula proposicional.
b) El nmero de filas de la tabla se obtiene calculando la expresin 2
n
donde n es el nmero de variables de la formula proposicional.
c) Los valores de verdad se denotan con V si es verdadero y F si es falso, algunos textos utilizan 1 y 0 respectivamente.
d) Por convenio adoptado a los fines de este curso, se le asignaran valores de verdad a las variables, respetando el orden alfabtico y no el orden de
aparicin en la frmula proposicional.
e) Se plantean todas las posibles combinaciones de valores de verdad, por ejemplo, si la tabla consta de 2 variables (2
2
= 4 filas) en la columna de la
primera variable debe aparecer dos verdades y dos falsedades y en la columna de la segunda variable verdad y falso alternadamente. Como ejemplo visua-
licemos las tablas de verdad de los conectivos lgicos.

DEFINICIN Y TABLAS DE VERDAD DE LOS CONECTIVOS LGICOS
NEGACIN: Se denota: ~, se lee no. Operador unitario que tiene la propiedad de cambiar la cualidad del juicio, es decir, afectar el valor de ver-
dad de una proposicin de tal manera que ser falsa si la proposicin original es verdadera y viceversa. Al aplicar el conectivo a una proposicin simple o
atmica la transforma en compuesta o molecular.
Ejemplo
p: 15 es divisible por 6
Simblicamente ~p: no es cierto 15 es divisible por 6;
~p: es falso que 15 es divisible por 6
p ~p
V F
F V
8

q: a > b; Simblicamente ~q: a b
Nota:
Convencionalmente, al traducir del lenguaje natural al lenguaje de lgica simblica, las proposiciones negadas se extraen en su forma afirmativa; y luego
cuando se proceda a simbolizar, recurrimos al operador negacin para expresar la proposicin original. Asimismo suele usarse la palabra nunca con fun-
cin negativa, que tiene en el lenguaje ordinario un matiz que la lgica no toma en cuenta, el sentido de negacin prolongada, como por ejemplo, la pro-
posicin Nunca te perdonar

DISYUNCIN INCLUSIVA: relaciona dos enunciados o proposiciones mediante el conectivo o
Propiedad: La proposicin que se forma es falsa si las proposiciones que la forman son falsas, siendo en los dems ca-
sos verdaderos. Se simboliza v .
Ejemplo: Aprendemos Matemticas o cambiamos de carrera.
w: aprendemos Matemticas;
r: cambiamos de carrera Simblicamente: w v r

CONJUNCIN: Enlaza dos proposiciones mediante el conectivo y . Se simboliza con . .
Propiedad: Este conectivo se define como verdadero cuando las dos proposiciones de la conjuncin son verdaderas, en los dems casos es falso.
En el lenguaje ordinario se utilizan otras palabras para indicar conjuncin, como son las palabras: adems, tambin, pero.

Ejemplo: Comprendo tus puntos de vista, pero no los comparto
t: comprendo tus puntos de vista
s: los comparto Simblicamente: t . ~s

En el lenguaje natural en castellano, reconocemos las conjunciones cuando vemos en un prrafo nexos como: y, sin embargo, no obstante, pero,
aunque, , (coma), ., y combinaciones de ellos.
No siempre en nuestro idioma la conjuncin se encuentra ubicada entre las dos proposiciones como por ejemplo: Juan y Rosa bailan merengue, Jos y
Rafael no fueron a la fiesta, pero representan una conjuncin. A veces la y no tiene una funcin conjuntiva, la proposicin Carlos y Daniel son herma-
nos no es la conjuncin de dos proposiciones, sino que es una proposicin simple que establece una relacin, la de ser hermano de, la funcin de la y
en este caso no es conjuntiva sino relacional.

p q p v q
V V V
V F V
F V V
F F F
p q p . q
V V V
V F F
F V F
F F F
9

CONDICIONAL: relaciona dos proposiciones con el conectivo si... entonces de la forma si p entonces q donde p recibe el nombre de antece-
dente hiptesis y q se llama consecuente tesis.
Propiedad: Este conectivo se define falso solamente en el caso de que el antecedente sea verdadero y el consecuente sea falso.
Se simboliza: p q.
Es importante sealar que, en algunas oportunidades la palabra si puede ser sustituida por la palabra
cuando y la palabra entonces puede ser sustituida por una coma;
Ejemplo: Cuando llueve en Maracay, se interrumpe la electricidad.
p: llueve en Maracay
q: se interrumpe la electricidad Simblicamente: p q

En el lenguaje natural (castellano), la simbolizacin p q, donde p y q son proposiciones, se identifica en las siguientes frases

Cuidado, todas las frases anteriores se simbolizan p q

BICONDICIONAL: enlaza dos proposiciones con el conectivo ...si y solo si... de la forma p si y solo si q. Tambin se usan las expresiones solamente
si, nicamente si, siempre y cuando. Es frecuente encontrar la apcope ssi en algunos textos.
Propiedad: Un bicondicional es verdadero en el caso que las dos proposiciones que la componen tengan el mismo valor de verdad, en los dems
casos es falso. Se simboliza: p q

Ejemplo: El l g
x +
=
2
7 2 para x =
1
5
si y solo si sen x = 1 para x =
t
3

r : l g
x +
=
2
7 2 para x =
1
5
; w : sen x = 1 para x =
t
3

Simblicamente: r w
Ejercicio: Simbolice la siguiente expresin Se puede estudiar en la universidad si y solo si se es bachiller

En las siguientes expresiones selecciona con una ( X) la repuesta correcta.

p q p q
V V V
V F F
F V V
F F V
p q p q
V V V
V F F
F V F
F F V
Forma 1:
s p entonces q
si p, q
p implica q
Forma 2:
q s p
q siempre que p
q cuando p
q se deduce de p
Forma 3:
p slo si q p solamente si q
p es condicin suficiente para q
una condicin suficiente para q es p
q es condicin necesaria para p
una condicin necesaria para p es q
10

Si las proposiciones son verdad, la conjuncin es falsa
( ) proposicin simple ( ) proposicin con valor de verdad V
( ) proposicin con valor de verdad F ( ) no es una proposicin
Si q es verdadera, entonces (p.q) q es verdadera.
( ) Proposicin con valor de verdad V ( ) proposicin simple
( ) proposicin con valor de verdad F ( ) no es una proposicin
Si una de las proposiciones es verdad su conjuncin es verdad
( ) proposicin con valor de verdad V ( ) proposicin con valor de verdad F
( ) no es una proposicin ( ) proposicin simple
En la formula proposicional ~[(p. r) (r . t)] v q el conectivo dominante es:
( ) negacin ( ) disyuncin
( ) conjuncin ( ) condicional
Una de las afirmaciones es falsa
( ) el lenguaje lgico es bivalente ( ) el condicional entre una misma variable siempre es verdad
( ) ~p es proposicin compuesta ( ) el conector ... si y solo si .....es falso si relaciona variables falsas
Al construir una tabla de verdad de un polinomio lgico es cierto que el nmero de filas depende de el nmero de :
( ) variables ( ) conectivos
( ) variables y conectivos ( ) columnas

TABLAS DE VERDAD DE UNA FORMULA PROPOSICIONAL
Para obtener el valor de verdad de estas formas proposicionales a travs de las tablas de verdad existen dos tcnicas: la acumulativa y la tcnica por pa-
sos; la primera tcnica es adecuada para formas proposicionales sencillas, la otra es ventajosa para formas proposicionales ms complejas y son las que
comnmente usaremos.
Ejemplo: Obtenga la tabla de verdad de Q = ~ [ p ( q r ) | v ( p r )

EJERCICIOS:
Simbolice el siguiente texto usando variables lgicas.
~ [ p ( q r ) | v ( p r )
V V V V V
V V F V F
V F V V V
V F F V F
F V V F V
F V F F F
F F V F V
F F F F F
11

O el ladrn atraves la puerta, o el delito fue cometido desde adentro y uno de los sirvientes debe estar implicado en l. El ladrn slo pudo atravesar la
puerta si el cerrojo fue levantado desde adentro; pero uno de los sirvientes seguramente se halla implicado en el delito, si el cerrojo fue alzado desde el
interior. Luego, uno de los sirvientes se halla implicado en el delito.
Simbolice el siguiente texto usando variables lgicas, asigne un valor de verdad a las variables y obtenga el valor de verdad de toda la expresin
No es cierto que
2
3
1
2
1
s + . Por lo tanto, Freddy Bernal es el gobernador de Caracas.
La suma de los ngulos de un tringulo es igual a
2
t
o no es cierto que toda ecuacin de segundo grado admite dos races, s y solo s el ministro de
finanzas es Jorge Antonio Giordani Cordero y Rafael Eduardo Isea Romero es gobernador de Aragua
"Si l g
x
x es igual a la unidad, entonces la unidad es el neutro para la suma y l g
x
x=1. Por lo tanto, el rea del circulo es
b h .
2

El cielo est despejado, pero el sol no calienta mucho.
Algunas personas nacen grandes, otras consiguen la grandeza, y a otras les ha sido impuesta.

Aparea cada una de las palabras de la izquierda con ejemplos o definiciones de la columna derecha
a) disyuncin ( ) p q
b) negacin ( ) ~(p.q)
c) proposicin condicional ( ) pvq
d) proposicin molecular ( ) q en la proposicin p q
e) antecedente ( )~p
f) consecuente ( ) p en la proposicin p q
g) conjuncin ( ) p.q
h) proposicin atmica ( ) ~pv~q
( ) cualquier proposicin con uno o ms trminos de enlace
( ) cualquier proposicin sin conectivo

TIPOS DE PROPOSICIONES MOLECULARES:
Al construir la tabla de verdad completa, se puede llegar a tres posibles resultados, que determinan si el razonamiento simbolizado es vlido o no.
TAUTOLOGIA: Es una proposicin lgica que es verdad para cualquier valor de verdad de sus componentes, por lo tanto en su tabla la ltima colum-
na de verdad tendr solamente uves maysculas, V.
CONTRADICCIN: Es la negacin de una tautologa; por tanto, una proposicin que es falsa para cualquier valor de verdad de sus componentes es
una proposicin contradictoria o absurdo, por lo tanto en su tabla la ltima columna de verdad tendr solamente efes maysculas, F.
CONTINGENCIA: Es una proposicin lgica que en su tabla la ltima columna de verdad tendr algn valor de verdad V y algn valor F .

12

Hasta el momento hemos conseguido identificar dos objetos lgicos: las proposiciones y las operaciones lgicas. Veamos dos ms; la equivalen-
cia lgica y la implicacin lgica, con ello se introducen la relacin de igualdad y la relacin de orden en la lgica matemtica, instrumentos que permiten
el razonamiento deductivo.
EQUIVALENCIA LGICA: Sean las proposiciones P y Q, (indicando con sta notacin que pueden ser proposiciones compuestas) se dice que estas
proposiciones son lgicamente equivalentes, si sus tablas de verdad coinciden. Se denota con el signo , lo cual se escribe P Q tambin el signo
, se escribe P Q y se lee que P es lgicamente equivalente a Q . De lo anterior podemos afirmar que dos tautolgicas o dos contradicciones son
siempre lgicamente equivalentes.
Se debe evitar confusiones en el uso de los smbolos y ya que representan conceptos absolutamente distintos y no es lcito su uso indis-
criminado; si P y Q son dos proposiciones, P Q tambin lo es y, como tal, su tabla de verdad tendr uves o efes, en funcin de los valores
de verdad de sus componentes; mientras que P Q no es una proposicin, sino una relacin entre proposiciones.

Ejemplo
Dadas las proposiciones P = [p ( q v r ) |; Q = [(p q) v ( p r)|.
Pruebe usando Tablas de Verdad (TV) si P es lgicamente equivalente a Q
Instrucciones: completa las columnas de verdad de la tabla y verifica si estas son iguales

CONCLUSIN:

IMPLICACIN LGICA: Se dice que una proposicin P implica lgicamente otra Q, si y solamente si, el condicional es una tautologa (P Q es una
tautologa), se denota P Q. No han de confundirse los signos y que responden a conceptos diferentes. Si P y Q son dos proposiciones,
afirmar que P Q, exige que P Q, sea siempre verdadera.
Recordemos entonces que P Q si, y solamente si P Q es tautologa; y que P Q si, y solamente si, P Q es tautologa.

Ejemplo
Dadas las proposiciones T = [(p q).( q r)|, S = (p r);
Pruebe usando Tablas de Verdad (TV) si T implica lgicamente S. (T S)

[p ( q v r ) | [(p q) v (p r)]

13

Instrucciones: completa las columnas de verdad de la tabla y verifica si la columna sombreada es una tautologa

CONCLUSIN:

EJERCICIOS
En la siguiente expresin selecciona con una ( X) la repuesta correcta.
Dos proposiciones son lgicamente equivalentes cuando el bicondicional entre ellas es una tautologa
Si son equivalentes no se implican lgicamente
En la formula proposicional [( p. r ) (p v s)] p donde p es verdad, el valor de verdad de la expresin es:
( ) Falso ( ) verdad
( ) no se puede definir ( ) depende del valor de r
Una de las afirmaciones propuestas es falsa:
( ) p . ~p F ( ) p ~ q q ~ p
( ) V p p ( ) ~ (p . ~p) F
Si (p v q) es falso, entonces (p t) . (q t) es:
( ) depende de t ( ) valor de verdad falso
( ) valor de verdad verdadero ( ) no se puede determinar
Si dos formulas proposicionales son logicamente equivalentes no se cumple que:
( ) tienen igual tabla de verdad ( ) su condicional es contradiccin
( ) se implican lgicamente ( ) su bicondicional nos da tautologa
Si en dos formulas proposicionales observamos que sus tablas de verdad del conectivo dominante son iguales podemos afirmar que es:
[(p q) . (q r)] (p r)

14

( ) una tautologa ( ) equivalente lgicamente
( ) implicacin lgica ( ) condicional recproco
Cuando relacionamos dos formulas proposicionales a travs del condicional y nos resulta una tautologa podemos afirmar que hay:
( ) relacin de igualdad ( ) equivalente lgicamente
( ) implicacin lgica ( ) condicional directo
La conjuncin de un valor de verdad falso y una formula proposicional equivale a:
( ) formula proposicional ( ) valor de verdad falso
( ) valor de verdad verdadero ( ) complemento
Sean p, q, r y s las siguientes proposiciones: p: Termino de escribir mi programa de computacin antes de comer, q: Juego al tenis por la tarde, r: Hace
sol, s: Hay poca humedad. La expresin [(p r) s] q equivale a decir
( ) Si termino de escribir mi programa de computacin antes de comer y hace sol entonces si hay poca humedad jugar al tenis por la tarde.
( ) Jugar al tenis por la tarde siempre que termine de escribir mi programa de computacin antes de comer, haga sol y haya poca humedad
( ) Es necesario que termine de escribir mi programa de computacin antes de comer y haga sol y haya poca humedad para que juegue al tenis por la
tarde.
( ) Ninguna de las anteriores
Indique cuantas filas se necesitan para la tabla de verdad de la proposicin (p q) *(r s ) t]
( ) 16 ( ) 32 ( ) 64 ( ) Ninguna de las anteriores

Obtenga la tabla de verdad y clasifique
(pq)(pq) Sol: Contradiccin
[p(qr)][(pq)(pr)] Sol: Tautologa
[p(qr)] [(pq)(pr)] Sol: Contingencia
Material en revisin
15

[p(qr)][(pq)(qr)] Sol:
[(pq)r][(pr)(qr)] Sol:
{[(pq)q][(pr)(qr)]} Sol:

Pruebe usando Tablas de Verdad si las equivalencias propuestas se cumplen:
[(pq)r] [p(qr)] Sol:
[(pr)(pq)] [p(qr)]

Pruebe mediante las Tablas de Verdad s S R
R: [ (~p q) . (~p v r)] ; S:[( ~ p q) .~r] . r
R: [ (~ q v p ) v (~ p q )]; S: ( p ~ q) Sol:
R: [(p q).( q . r)|. (q ~ s); S: ( ~ s) Sol:
R: [(pq)(qr)]; S: (pr) Sol:
R: q (s . p); S: [(~ qp) v s] Sol:
R: p q; S: [(pv r) (qv r)] Sol:
[(pq)q] p Sol:
[(pq)(qp)] qp Sol:

OTROS EJERCICIOS
Indique si las siguientes expresiones son proposiciones, en caso de serlo diga si son simples o compuestas. Para aquellas que sean compuestas simbolcelas
usando la lgica simblica:

a. Congreso nacional sobre Enseanza matemtica.
b. Los nuevos programas de reconocimiento de voz tienen a todos hablando.
16

c. Si x > 3 entonces x > 5
d. No hables con la boca llena.
e. Es necesario que Chuo tenga 18 aos para que pueda votar en las elecciones de Diciembre
f. 125 es divisible por 5
g. En Mrida se realiz el IV Congreso Nacional sobre Multimedia y Videoconferencias.
h. Caramba! Por fin, existen computadoras de bolsillo.
i. Es cierto que el romero es bueno para la cada del cabello?
j. El nmero natural n es par o es impar.
k. La impresora DocuPrint de Xerox reduce los costos de impresin.
l. Si Juan estuvo ayer en el partido, necesitar dormir.
m. Usted puede obtener ste programa y sus archivos correspondientes si visita Internet.
n. El carro involucrado en el accidente era verde o azul.
o. Disculpe!, Qu hora es?
p. Amanece en Singapur.
q. Sara y Mara son hermanas de Pedro.

2. Si p significa: Juan dice la verdad y q: Jaime miente, exprese simblicamente las siguientes proposiciones:

a. Juan o Jaime mienten.
b. Juan o Jaime dicen la verdad.
c. Si Juan dice la verdad, entonces Jaime miente.
d. No es cierto que Juan o Jaime digan mentiras.
e. Juan miente si solo si Jaime dice la verdad.
f. No es cierto que, ni Juan miente ni Jaime dice la verdad.
g. Juan dice la verdad solo si Jaime miente.
h. Es necesario que Jaime no mienta para que Juan no diga la verdad.
i. Siempre que Jaime diga la verdad, Juan mentir.
j. Es suficiente con que Juan diga la verdad para que Jaime no mienta.

3. Sean las proposiciones simples:
p: Los invitados hacen su llegada.
q: El asado est crudo.
r : Las papas ya estn listas.
Escriba en forma simblica las proposiciones siguientes:
a. Los invitados hacen su llegada y el asado est crudo.
17

b. Las papas no estn listas y el asado est crudo.
c. Los invitados hacen su llegada, y una de dos, las papas estn listas o el asado est crudo.
d. El asado est listo, o ambas, los invitados hacen su llegada y las papas no estn listas.

4. Si p significa: El rgimen de permanencia es aplicado y q Hay disturbios en la UC, expresa en lenguaje natural cada una de las siguientes proposicio-
nes:
a. p q
b. p q
c. ~(p ~q)
d. ~ (~p q)
e. ~ (~p)
f. ~ (~q p)

5. Proporcione una frase para cada proposicin simple y exprese en lenguaje natural, el significado de cada expresin:
a. p (q r)
b. q ~(~p r)
c. (r p) ~q
d. (p q) ~ (pq)

6. Determine el valor de verdad de cada una de las siguientes proposiciones sin usar tablas de verdad:

a. S 7<16 entonces 40>34.
b. S 5=10 entonces 10=7+3.
c. No es cierto que s 8+10=6 entonces 8=4+4.
d. 9<25 s 64>16.

7. Para cada una de las siguientes proposiciones, verifique si la informacin dada es suficiente para determinar el valor de verdad de la proposicin.

a. (p q) r r v
b. ~ [p (q t)] [~ t (p q)] t v y p v
c. (p q) (p q) p v
d. (p q) (p s) p v, s f
e. p (r p) p v

8. Suponiendo que p y q son verdaderas y r y s son falsas, hallar los valores de verdad de las siguientes expresiones:
a. p (q r)
18

b. [p (q r)] ~ [(p q) (r s)]
c. [~ (p q) r] ([(~p q) ~r] s)

9. Simbolice los siguientes enunciados:

a. Ni come ni deja comer.
b. Slo tendrs xito si prestas atencin.
c. Aunque lo he intentado, no he llegado a tiempo.
d. Mara y Julia prometen mucho pero ni Mara ni Julia cumplirn.
e. Alicia mir en derredor y vio muchas flores y hojas de hierba, pero nada que tuviera el aspecto de ser lo que deba comer o beber en esas circunstancias.
f. Entrena todos los das pero no le vale de nada.
g. O bien si no entiendes es muy difcil o bien es porque no estudiaste.
h. Si y slo si viera un marciano con mis propios ojos, creera que hay vida extraterrestre.
i. La lgica trata de cmo piensa la gente, o de cmo se debera pensar, o de ninguna de ambas cosas.
j. No se da el caso de que, si Edgar presenta una queja, entonces Jess investigar y Sonia no ser descalificada.
k. Si los elefantes volaran o supieran tocar el acorden, pensara que estoy loco y dejara que me internaran en un psiquitrico.
l. Si la liebre est alerta y es rpida, ni el zorro ni el lince podrn atraparla.
m. O bien, que Jos haya preguntado por Mara es condicin necesaria para que Carmen est enojada, o bien que Carmen est enojada no es condicin
suficiente para que Jos haya preguntado por Mara.

ALGEBRA DE PROPOSICIONES

Las proposiciones, la negacin, la conjuncin y la disyuncin nos permiten hablar de un algebra de proposiciones en las que se cumplen un conjunto
de leyes que permiten simplificar una proposicin compuesta o expresin lgica reducindola a una forma ms simple mediante el uso de los axiomas y/o
leyes lgicas sin modificar su valor de verdad.
19

La simplificacin consiste en ir desarrollando la expresin paso a paso mediante la sustitucin de una expresin lgica equivalente hasta llegar a una ex-
presin lgica irreducible.
Usando simplificacin se puede determinar
si una expresin lgica es una tautologa, una
contradiccin o una contingencia.
Ser Tautologa cuando el resultado final de la
simplificacin es V , Contradiccin cuando el resultado final de la simplificacin es F y Contingencia cuando el resultado final de la simplificacin es otra
expresin lgica mas pequea.
Tambin se aplica el lgebra de proposiciones para demostrar una equivalencia lgica, para ello se simplifican las formas proposicionales dadas a su
mnima expresin y se comparan sus resultados. Los pasos a seguir pueden ser: a) Se desarrolla un lado de la equivalencia paso a paso mediante la sustitu-
cin hasta llegar a la expresin lgica del otro lado.
b) Se desarrollan ambos lados de la equivalencia lgica por separado utilizando las leyes lgicas hasta llegar en ambos lados a la misma expresin irredu-
cible.
c) Se aplica la definicin de equivalencia lgica y se demuestra que el bicondicional asociado es una tautologa simplificando la expresin completa (ahora
con el bicondicional) hasta llegar al valor de verdad verdadero

Igualmente se aplica para demostrar implicacin lgica, se relacionando las formulas proposicionales a travs del condicional y luego se simplifican
hasta obtener un valor de verdad verdadero.

LEYES DEL LGEBRA DE PROPOSICIONES Expresin simblica
20

Ejemplo: aplicando leyes del algebra proposicional (LAP) simplifique el siguiente polinomio lgico
LEY
IDEMPOTENTE
Para la conjuncin
p . p p
Para la disyuncin
p v p p
LEY
ASOCIATIVA
Para la conjuncin
( p . q ) . r p . ( q . r )
Para la disyuncin
( p v q ) v r p v ( q v r )
LEY CONMUTATIVA Para la conjuncin
p . q q . p
Para la disyuncin
p v q q v p
LEY
DISTRIBUTIVA
De la conjuncin respecto de la disyuncin
p . ( q v r ) ( p . q ) v ( p . r )
De la disyuncin respecto de la conjuncin
p v ( q . r ) ( p v q ) . ( p v r )
LEY DE
COMPLEMENTACIN
Para la conjuncin
p . ~p F
Para la disyuncin
p v ~ p V
LEY DE
IDENTIDAD
Para la conjuncin
p . V p ; p . F F ;
Para la disyuncin
p v V V; p v F p
LEY DE INVOLUCIN
~ ( ~ p) p
LEY DE
De MORGAN
Para la conjuncin
~ ( p .q) ~ p v ~ q
Para la disyuncin
~ ( pvq) ~ p . ~ q
LEY DE
ABSORCIN
Para la conjuncin
p . ( p v q ) p
Para la disyuncin
p v ( p . q ) p
LEY DEL CONDICIONAL
p q ~ p v q
LEY DEL BICONDICIONAL
p q ( p q ) . ( q p )
21

Q: ~ p {[( ~ p v q) . ~ (p . q)| r}
~ p {[( ~ p v q) . ~ (p . q)| r}
~ p {[( ~ p v q) . (~ p v~ q)| r} L. D Morgan
~ p {[ ~ p v (q .~ q)| r} L. Distributiva
~ p {[( ~ p v F)| r} L. Complementacin
~ p (~ p r) L. Identidad
~~ p v (~~ p v r) L. Condicional
p v (p v r) L. Involucin
p v p) v r L. Asociativa
p v r) L. Idempotencia
Conclusin: ~ p {[( ~ p v q) . ~ (p . q)| r} p v r) La formula proposicional es una contingencia

Ejemplo: aplicando leyes del algebra proposicional (LAP) muestre si la equivalencia se cumple en
~| (~ p q) . ( q p) | p q
~{[(~ p q) . (q ~p)] . (q p) } ~pvq L. Bicondicional y Condicional
~{[(~~ p vq) . (~q v ~p)] . (~q v p)} ~pvq L. Condicional
~{[(pvq) . (~q v~p)] . (~q v p)} ~pvq L. Involucin
~{(pvq) . [(~q v~p) . (~q v p)]} ~pvq L. Asociativa
~{(pvq) . [~q v(~p . p)]} ~pvq L. Distributiva
~[(pvq) . (~q vF)] ~pvq L. Complemento
~[(pvq) . ~q] ~pvq L. Identidad
~[(p.~q) v(q.~q)] ~pvq L. Distributiva
~[(p.~q) vF] ~pvq L. Complemento
~(p.~q) ~pvq L. Identidad
(~pv~~q) ~pvq L. D Morgan
~pvq ~pvq L. Involucin
Conclusin: Se cumple la equivalencia ya que ambos polinomios son iguales

EJERCICIOS
Aplicando leyes del algebra proposicional simplifique los siguientes polinomios lgicos
22

1) { [~ (p.q ) . (~p v q ) | r } ~ p Sol: ~p
2) ~| (~p q) . ( q p) | Sol: ~pv q
3) ~ p { [ ( ~ p v q ) . ~ ( p . q ) | r } Sol: p v r
4) ( p . q ) ( ~p ~ q ) Sol: q
5) ( p q ) v { p [ ( r v ~ q ) r ] } Sol: V

Pruebe si las equivalencias propuestas se cumplen aplicando leyes del algebra proposicional
1) q ( p q) q p Sol: p ~ q v p
2) ~(~ r ~p)[ p.( ~ p r )| p ~ r Sol: ~ p v ~ r ~ p v ~ r
3) p q ~| (~ p q) . ( q p) | Sol: ~ p v q ~ p v q
4) [~ (p v q) v (~p . q)] (~p . q) p v q
Indique con una V o una F si las afirmaciones dadas son verdad o falsas respectivamente
( ) Cualquier proposicin compuesta que contenga condicionales o bicondicionales puede ser escrita como una proposicin compuesta equivalente solo
con , y ~.
( ) Es falso que la proposicin p q es equivalente a (p q) (q p).
( ) Es verdadero que una expresin imperativa es una proposicin.

CONDICIONALES ASOCIADOS A UNO DADO
Dada una proposicin condicional cualquiera, la cual se llama condicional directo, es posible enunciar a partir del mismo, otros tres condiciona-
les, los cuales se denominan CONDICIONALES ASOCIADOS. Dado el condicional
p q condicional directo
q p condicional recproco
~p ~q condicional contrario
~q ~p condicional contra recproco

El condicional directo es equivalente al condicional contra recproco
p q ~q ~p
El condicional recproco es equivalente al condicional contrario
q p ~p ~q

Directo Recproco Contrario Contra recproco
p q p q q p ~ p ~ q ~ q ~ p
V V V V V V
23

EJERCICIOS

1. Si W ~T es el condicional recproco donde T: ~ (p . ~ q) y W: ~ [(r v ~ s) ~ p]. Determine los condicionales asociados y su valor de cada
uno de ellos si r : t . F; s: 3% de 20 = 0,6; p : los asamblestas son propuestos por los partidos; q:
tag
sen
=
cos

2. Si ~ P Q es el condicional contra recproco, determine los otros condicionales asociados donde
P: ~ (p . ~ q ) y Q : ~ [ ( r v ~ s ) ~ p]. Determine el valor de cada uno de ellos si
r: p . ~ p s: 3% de 20 = 0,6; p: q q; q: 0
3
2
2
1
> +
3. Si P Q es el condicional directo, donde P : [ ( s ~ r ) v ~ t ] y Q : [ ( t . ~ s ) r ] determine los condicionales asociados y el valor de cada
uno de ellos si r : p . ~ p; s: m
2
n
2
= (m + n )( m n ); t : q q
4. Sea P: [( s ~ r ) v ~ t ]; y T: [( t . ~ s ) r ] determine el condicional asociado contra recproco a T P y su valor de verdad si s:
m
n
a a
n m
= ; ~ t : m
2
- n
2
= (m - n)
2
; r : p v q ~ p . ~ q
5. Dados: P: [ (q ~p) v r] y Q: [( p ~r) . ~q] determine los condicionales asociados a ~Q P y su valor de verdad si p: log 0,01 = 2 ; ~q =
3
8 = 2; r = ~p q

V F F V V F
F V V F F V
F F V V V V
Material en revisin

Guia Logica V - 1

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Guia Logica V - 1

Hochgeladen von

Copyright:

Verfügbare Formate

INTRODUCCIN A LA MATEMTICA FACES UC. PROF. A.

Das könnte Ihnen auch gefallen