Victor Pataso I Logica Proposicional (Iugt)

LGICA PROPOSICIONAL
ARISTTELES :(384322 AC )
Aristteles ( A ) fueun :, y de la cuyas
ideas han ejercidouna enorme influencia sobre la historiaintelectual de por msde
dos milenios .
Aristteles escribi cerca de 200 tratados (de los cuales slo nos han llegado
31) sobre una enorme variedad de temas, incluyendo lgica, metafsica,
filosofa de la ciencia, tica, filosofa poltica, esttica, retrica, fsica,
astronoma y biologa. Aristteles transform muchas, si no todas, las reas
del conocimiento que toc. Es reconocido como el padre fundador de la lgica
y de la biologa, pues si bien existen reflexiones y escritos previos sobre
ambas materias, es en el trabajo de Aristteles donde se encuentran las
primeras investigaciones sistemticas al respecto.
Entre muchas otras contribuciones, Aristteles formul la teora de la
generacin espontnea, el principio de no contradiccin, las nociones de
categora, sustancia, acto, potencia y primer motor inmvil. Algunas de sus
ideas, que fueron novedosas para la filosofa de su tiempo, hoy forman parte
del sentido comn de muchas personas.
Aristteles fue discpulo de Platn y de otros pensadores (como Eudoxo)
durante los veinte aos que estuvo en la Academia de Atenas. Fue maestro de
Alejandro Magno en el Reino de Macedonia. En la ltima etapa de su vida
fund el Liceo en Atenas, donde ense hasta un ao antes de su muerte.
Aristteles naci en 384 AC en la ciudad de Estagira (razn por la cual se lo
apod el Estagirita), no lejos del actual Monte Athos, en la pennsula Calcdica,
entonces perteneciente al Reino de Macedonia (actual Macedonia). Su padre,
1
Nicmaco, fue mdico del rey Amintas III de Macedonia, hecho que explica su
relacin con la corte real de Macedonia, que tendra una importante influencia
en su vida.
En 367 AC, cuando Aristteles tena 17 aos, su padre muri y su tutor
Proxeno de Atarneo lo envi a Atenas, por entonces un importante centro
intelectual del mundo griego, para que estudiase en la Academia de Platn.
All permaneci por veinte aos. Tras la muerte de Platn en 347 AC,
Aristteles dej Atenas y viaj a Atarneo y a Aso, en Asia Menor, donde vivi
por, aproximadamente, tres aos bajo la proteccin de su amigo y antiguo
compaero de la Academia, Hermias, quien era gobernador de la ciudad.
Cuando Hermias fue asesinado, Aristteles viaj a la ciudad de Mitilene, en la
isla de Lesbos, donde permaneci por dos aos. All continu con sus
investigaciones junto a Teofrasto, nativo de Lesbos, enfocndose en zoologa y
biologa marina. Adems se cas con Pythias, la sobrina de Hermias, con quien
tuvo una hija del mismo nombre.
En 343 AC, el rey Filipo II de Macedonia convoc a Aristteles para que fuera
tutor de su hijo de 13 aos, que ms tarde sera conocido como Alejandro
Magno. Aristteles viaj entonces a Pella, por entonces la capital del imperio
macedonio, y ense a Alejandro durante, al menos, dos aos, hasta que inici
su carrera militar.
En 335 AC, Aristteles regres a Atenas y fund su propia escuela, el Liceo
(llamado as por estar situado dentro de un recinto dedicado al dios Apolo
Licio). A diferencia de la Academia, el Liceo no era una escuela privada y
muchas de las clases eran pblicas y gratuitas. A lo largo de su vida
Aristteles reuni una vasta biblioteca y una cantidad de seguidores e
investigadores,
conocidos
como
los
peripatticos
(de
,
'itinerantes', llamados as por la costumbre que tenan de discutir caminando).
La mayora de los trabajos de Aristteles que se conservan son de este
perodo.
Cuando Alejandro muri en 323 AC, es probable que Atenas se volviera un
lugar incmodo para los macedonios, especialmente para quienes tenan las
conexiones de Aristteles. Tras declarar (segn se cuenta) que no vea razn
para dejar que Atenas pecara dos veces contra la filosofa (en referencia a la
condena de Scrates), Aristteles dej la ciudad y viaj a Calcis, en la isla de
Eubea, donde muri al ao siguiente, en 322 AC, por causas naturales.
PENSAMIENTO . Metafsica .Crticas a lateora de las Ideasde Platn
y Aristteles , por (detalle de La escuela de Atenas, 1509)
En su juventud , Aristteles fue discpul o de en la .

Aristteles construy un sistema filosfico propio . Previo a ello , someti a crticala teora de
las de su maestro. Platnhaba propuesto laexistencia de dos dimensiones en larealidad :
el Mundo sensible y el Mundo inteligible . Para Aristt eles ,el mundo no tiene compartimentos .
LGICA . Aristteles es ampliamente reconocido como el padre fundador de la.
Sus trabajos principales sobre la materia , que tradicionalmente se agrupan bajo el nombre de
( herramienta ) , constituyenla 1 a investigacin sistemticaacerca de los del

o correcto .
Sus propuestas ejercieron una influencia sin par durante ms de dos .
LOS SILOGISMOS . La nocin central del sistema lgico de Aristteles es el ( o deduccin ) .

Un silogismo es , segn ladefinicin de Aristteles , un discurso () en el cual , establecidas
ciertas cosa s , resultanecesariamente de ellas , por ser lo que son , otra cosa diferente .
Unejemplo clsico de silogismo es el siguiente :
1.Todos los homb res son mortales

2.Todos los griegos son hombres
3. Por lotanto , todoslos griegos son mortales
En este ejemplo, tras establecer las ( 1 ) y ( 2 ) ,la ( 3 ) se sigue por .

La nocin de silogismo es similar a lanocin moderna de ,
perohay diferencias .
LA SILOGSTICA .
En los Primeros analticos, Aristteles construy la primera

teora de lainferencia vlida . Conocida como la silogstica , la teora ofrece criterios
para evaluar la validez, o no, de ciertos tipos muy especficos de silogismos .
Algunos de estos silogismos son vlidos, otros no. Para distinguir unos de
otros, Aristteles parte de dos silogismos categricos que asume como vlidos
(algo anlogo a las actuales reglas de inferencia), y demuestra a partir de
ellos (con ayuda de tres reglas de conversin), la validez de todos y slo los
silogismos categricos vlidos.
Adems de su
teora de los silogismos , Aristteles realiz una gran cantidad de
otros aportes a la lgica. En la parte IV (Gamma) de la Metafsica, Aristteles

enunci y defendi el famoso . En la interpretacin se encuentran algunas
observaciones y propuestas de lgica modal, as como una controversial e
influyente discusin acerca de la relacin entre el tiempo y la necesidad.
Aristteles tambinreconoci la existencia e importancia de los argumentos , en los
cuales se va de lo particular a lo universal , pero dedic poco espacio a su estudio .
DEFINICIN
Lalgica es la ciencia y , a la vez , el arte del estudio de los razonamientos o las inferencias .
Tiene como propsito no slo establecer siun razonamiento es correctoo no , sinotambin estu
diar las leyes , as como las propiedades lgicas que permiten llevar a cabo un buen razonamien
.
La lgica es el estudio de los mtodos y principios usados para distinguir el buen left (correcto right )
ra zonamiento del malo (incorrecto ) .

Enuna frase :lalgica ayuda a distinguir el buen razonamientodel malo .
MBITO DE LA LGICA
El mbito de estudio de la lgica es tan amplio como lo es el del razonamiento humano.

Donde quieraque haya razonamiento , ah estar presente lalgica , seamos o no conscientes de
ello .
IMPORTANCIA DE LA LGICA
El estudio de lalgica ( IrvingCoppi y Carl Cohen ) ofrece una serie de beneficios :

a Aumento de la capacidad para expresar ideas de manera clara y concisa
b Incremento de la capacidad para definir los conceptos que utilizamos

c Desarrollo de la capacidad para la formulacin de razonamientos rigurosos
d Incremento de la capacidad crtica

sin embargo , los beneficios del estudio de la lgica no se restringen solamente a estos aspectos ,
pues ella puede extenderse a muchos otros mbitos ,como el de la inteligencia artificial(IA ) y el
pensamientocientfico en general . Puede hablarse incluso de unalgica de la investigacin cien
tfica o unalgica de la contrastacin de hiptesis .

El mbito de lalgica se ha ramificado incluso hacia el estudio del lenguaje , as como hacia las
ciencias sociales . Esto se debe a que lalgica , como ciencia que estudiala correccin de losrazo
namientos ,tiene cabidaen toda actividad , en la que el razonamiento humano est presente .
El estudio de cualquier tema , tanto en el campode las Humanidades como en el de lasCiencias y

Tcnicas ,requiere conocer los fundamentos y mtodos del razonamiento lgico , estudio que per
mi te , alestudiante o profesional , extraer y depurar sus conclusiones ,evitando elriesgo de modi

ficar , en forma equivocada, lainformacin que posee .
Esto es , en esta era de la computacin, una herramienta que es usada entodos los campos del
desarrollo de una sociedad y con lavelocidad a la cual se procesanlos datos , cualquier error de
lgica puede originar problemas tcnicos , s ociales y econmicos .
Siendo muy importante , en matemtica moderna ,el anlisis del lenguaje con un criterio lgico ,
lalgica tiene como fin conducirnos a un hbil manejo del lenguaje matemtico , y el empleo de
mtodos eficaces de razonamiento .

Todaciencia o materiade estudio tiene un objeto o tema de investigacin .
As ,la tica estudia laconducta moral ; la biologa ,los fenmenos vitales o de la vida misma; la
sociologa , los fenmenos sociales ; la fsicaaborda entre sus temas la naturaleza del calor , luz ;
pero qu estudia la lgica? , hacia qu temas orienta sus investigaciones ?

La palabra lgica proviene del vocablo griegologos , que significa pensamiento , aunque tambin
se ha entendido como palabra , razn y ciencia .

De acuerdo con su etimologa ,la lgica sera una ciencia o tratado del pensamiento .
Hay que advertir que esta definicin es demasiado amplia para caracterizar a lalgica , porque
en realidad a nuestra disciplina slointeresa un aspecto o una parte del pensamiento , que se
llama aspecto formal.

Se dedica a investigar cmo se encuentraestructurado el pensamient o con el fin de estudiar las
leyes o principiosque reglamentanla validez lgica del propio pensamiento.

Cuando lalgica estudia las proposiciones o juicios , como : El pizarrn es negro ,no se interesa
por lo que se enuncia o dice de ellas , en este caso concreto no se interesa por el objeto pizarrn
por el hecho de que sea verde .
Esto significa que lalgica centra su atencin enla form a lgica que adoptan los pensamientos .
Dela misma manera, cuando en la clase de aritmtica se explica que 2 naranjas ms3 naranjas
suman 5 naranjas , no se habla en s de lasnaranjas , sinode lasuma :2+3=5 .

En estaoperacin se ha abstrado o eliminado el contenido para quedarse con la forma .
La aritmtica, como lalgica , son disciplinas que manejan formas :sumas , smbolos , en el caso de
la matemtica ; conceptos , juicios ,razonamientos , smboloslgicos ( conectivas lgicas ) , en el caso
de lalgica .
As ,la lgica y la matemtica son ciencias formales , de acuerdocon la naturaleza de los objetos
que estudian .
Lalgica es la ciencia del correcto razonar , es la ciencia del razonamiento. Estudia losmtodos
y leyes que permiten distinguir unrazonamiento vlido de un razonamiento no vlido .

6
Lalgica es el sistema de comunicacin entre personas y mquinas y ha sidoaplicada al automa
tismo y control , larobtica y lainteligencia artificial(IA ).

Los elementos de lalgica que veremos , son importantes para la precisin enla comunicacin .
El estu dio de este tema , permite estructurar en un sistema de reglas lgicodeductivas , ellen
guaje , simbologa , vocabulario , para comunicarnos con las mquinas electrnicas digitales .
Adems de su importancia en razonamiento matemtico ,lalgica tiene numerosas aplicaciones

en ciencias de lacomputacin .
Las reglas de lalgica se usan en diseos de circuitos electrnicos , construccin de programas

informticos , verif icacin de que un programa estbien construido , etc .
LENGUAJE DE LAS PROPOSICIONES

Ahora bien , como disciplina formal ,la lgicatiene comotarea construir lenguajes formales que
contengan claridad , precisin y univocidad .

Algunas disciplinas , como la msica y la matemtica , hanrecurrido a lenguajes artificiales para
simplificar la expresinde ideas complejas .

A diferencia del lenguaje natural ( espaol , por ejemplo ) , que sirve como herramienta general de
comunicacin ,el lenguaje artificial es disea do con un propsito especfico que nos permite ex
presar ideas en trminos precisos , sin ambigedades y sin contenido emotivo .
En estaunidad , estudiaremos un lenguaje artificia lllamado LP ( Lgica Proposicional ) que ha

sido concebido para sacar a laluz la estructura lgica de afirmaciones y razonamientos que se
hace utilizando el lenguaje natural .

Inicialmente , examinaremos larelacin entre los enunciados del espaol y las frmulas del len
guaje LP . Estudiaremos tambin cmo se determinael valor de verdad de las frmulas de este
lenguaje lgico .
El objetivo es entender qu quiere decir que LP sea unlenguaje veritativoional .

Finalmente , estableceremoslas reglas gramaticales o la sintaxis de estelenguaje formal .
PROPOSICIN
Enunciado ( oracin ) o frase ,al que puede asignarse uno y slouno de losdos valores de verdad :
T , si es verdadera ; F , si es falsa .
Por este motivo , se denomina lgicabivalente
lgica binaria , porque slo tiene dos categoras
de clasificacin : proposiciones verdaderas ( T ) ; proposiciones falsas (F).
Tambin podemosusar , 1 y 0, respectivamente . En estaunidad usaremosT y F , exclusivamente.

EJEMPLOS
a 15 es divisible por 7 b Uncuadriltero es un rombo

c 5=5 d Qu hora es ?
e Siun tringulo es equiltero , entonces es issceles

f Abre la ventana g x+ 2=5
h Si x2 +1=10,entonces x= 3 i(x + y )(x y )=x 2 y 2

Los ejemplos ( d ) , ( f ) , ( g ) , no son proposiciones , puestoque estas oraciones , no sonT F .
El ejemplo ( i ) es unaidentidad y puede considerarse comouna proposicin siempre T .
Los ejemplos ( e ) y ( h ) son proposiciones compuestas llamadas implicaciones.
Los enunciados(a),(b) y (c ), son proposiciones simples .
Comenzaremos el estudio de larelacin entre los enunciados del espaol y las frmulas de
LP estableciendouna distincin entre enunciados simples y enunciados compuestos.

Unenunciado simple es una oracindeclarativa cuyo sujeto es una persona , animal o cosa
dividual y concreta , de la cual se predica un solo atributo o propied ad .

Los enunciados simples pueden ser combinados de mltiples maneras para formar enuncia
dos compuestos . Enespaol existen muchas palabras y frases que sirven para combinar enun
ciados , tales como y , o , slo si , antes de , a causa de , si y slo si
y muchas otras.
Notodas estas palabras y frases establecen una relacinlgica entre los enunciados .
Algunas palabras establecen relacionestemporales causales y de otros tipos . Las palabras y
frases que establecen una conexin lgica entre dos enunciados se denominan conectores l
gicos.
Hay otras palabras y frases que no conectan dos enunciados sino que se anteponena uno de
ellos , slo.
Al aadir expresiones como : no , no es el caso de o no es cierto que a un enunciado , se
nera un enunciado nuevo con un valor de verdad opuesto aldel enunciado original .
Tales frases se denominan operadores de negacin .

Los conectores lgicos y los operadores de negacin sonlos operadores lgicos de lalalgica
clsica proposicional . Podemos definir un enunciado simple de maneranegativa , como aqul

que no contiene ningn operador lgico . El siguiente enunciado es un enunciado simple :
( 1 ) Freud es un pintor
Pero ninguno de los siguientes enunciados lo es :
( 2 ) Freud y Bacon son pintores

( 3 ) Freud es un pintor y escritor
( 4 ) Freud no es austraco
( 5 ) Si Freud es un pintor , no es muy conocido
PROPOSICIONES ( ENUNCIADOS)SIMPLES Y COMPUESTAS
Lalgica proposicional distingue dos tipos de proposiciones : simples , compuestas .
Las osiciones simples no se componen de ms proposiciones y carecen de conectivos .

La matemtica es una ciencia formal Lalgica es una ciencia
Las proposiciones compuestas(frmulas) , se componen de dos o ms proposiciones simples , y ,

adems , como rasgo distintivo tienentrminos de enlace o conectivos lgicos .
NOTA .Tambin se considera proposicin compuesta , la negacin de una proposicin simple .

Lalgica es una ciencia y la matemtica lo es tambin
LaTierra es un planeta si y slo si giraalrededor del Sol

No es cierto que lalgica es difcil
EJEMPLO
A laderecha de cada proposicin escribe S si la proposicines simple o C si es compuesta .
a QUOTE Si estudiamos para el examen ,aprobaremos

C
b El Soles una estrella si y slo si la Tierra es un planeta
c Juan y Mara son novios
d La lnea ms corta entre dos puntos es lalnea recta
e No es cierto que el plomo sea radiactivo
Defina proposicin ( enunciado ) y d ejemplos .

Enunciado o asercin verbal es cualquier coleccin de smbolos o sonidos que puede ser T o
F , perono ambascosas a la vez .
La certeza o falsedad de un enunciado se llama valor veritativo .

Por ejemplo , considerelas expresiones :
a Parsest en Inglaterra b Dnde vas ?

c 2+2=4 d Escriba losdeberes enla pizarra
Las expresiones ( a ) , ( c ) son en unciados ( proposiciones ) :

la 1 es falsa ( F ) ; la 2 es verdadera (T ) .
Las expresiones ( b ) , ( d ) no son enunciados :no sonT F .
Defina proposicincompues ta y d ejemplos
Algunas proposiciones estn formadas por subenunciados ( oraciones ) y varias partculas

con conectivas .
A estos enunciados , se les llama proposiciones compuestas (frmulas) .
La Luna es blanca y Marte es rojo

Proposicin compuesta formada por dos proposiciones simples:
1 : La Lunaes blanca2 : Marte es rojo

Ellaes inteligente o estudia todas las noches
Proposicin compuesta formada por dos proposiciones simples:

1 : Ella es inteligente 2 : Ella estudia todas lasnoches
Valor de verdad de los enunciados compuestos

La propiedad fundamental de un enunciado ( proposicin) compuesto es que su valor de ver
dad queda determinado completamente por los valores de verdad de sus enunciados y por
la forma en que estn conectados para formar el enunc iado compuesto .
A tal efecto utilizamoslas tablas de verdad que son representaciones grficas que sirven
para determinar la verdad o falsedad de una proposicin compuesta dada .
Laimportancia de los smbolos fue enfatizada por el filsofo y lgico estadounidense , Charles
10
Sanders Peirce ( 18391914 ) , que afirm que , los seres humanos son organismos que tienden
a
utilizar smbolos o signos .
Enuna ocasin , B . Russell dijo que la notacin simblica es la mitad de las matemticas!
Proposiciones compuestas b sicas
NEGACIN ( ) CONJUNCIN ( ) DISYUNCIN ( , ) IMPLICACIN ()BICONDICIONAL ()

NEGACIN ( No , Not )
En ellenguaje natural este conectivo seexpresa as :
no es el caso que ; no sucede que ; no ; es falso que ,no es posible que .
Las proposiciones simples las designamos con letras minsculas : p , q , r , s , , z .

Para negar una proposicin simple se emplea el smbolo de tal forma que p ( no p ) , es tal , que
si p es T , p ser F , y viceversa .
El operador negacin QUOTE tambin se denomina NOT por razones obvias.
QUOTE
p p
T F
F T
Y ,
CONJUNCIN
Enlenguaje cotidiano se expresa como : y , pero , aunque , adems .
La conjuncin de 2 proposiciones simples
p q
( p y q )
es T si ambas proposiciones son T .
La conjuncin es una conectiva lgica que se denomina el operador lgico y representa

el producto lgico .
QUOTE
QUOTE
p q
QUOTE p q
T
T
F
F
T
F
T
F
T
F
F
F
11
La tablade verdad de 2 proposiciones simples ,tendr 4 filas con todaslas combinaciones de
valores veritativos de las proposiciones simples .

As , si n es el nmero de proposiciones simples ,la tabla de verdad tendr 2n filas , con todas
las posibles combinaciones de valores veritativos de l as proposiciones simples .
Deigual maneralos siguientes trminos de enlace se toman como conjuncin :

La coma , cuando une dos proposiciones .
Pero , mas , y el punto cuando relacionauna yuxtapuesta , se consideran conjunciones .

Por consiguiente , se simbolizan tambin con el conector :
Llueve , hace fro y la noche es oscura :( p q) r

{Necesito
hablar contigo . Maana ir a tu casa : p q
O,
DISYUNCIN
La disyuncin de las proposiciones p q QUOTE ( p o q ) es F si ambas proposiciones son F .
El operador lgico disyuncin tambin se denomina y representa la sumalgica .
Hay situaciones que requierenel uso de la disyuncin pero en el sentido excluyente o exclu
sivo , cuando cualqu ierade las proposiciones(no ambas), sea T .
Hablamos de la disyuncin exclusiva (XOR :).

Es muy importante distinguir estos 2 casos de ladisyuncin :
DISYUNCIN INCLUSIVA () DISYUNCIN EXCLUSIVA XOR ()

O INCLUYENTE ()(cualquiera o ambas)
p
T
T
F
F
q
T
F
T
F
p q
T
T
T
F
p
T
T
O EXCLUYENTE ( XOR :)(cualquiera mas no ambas)

12
p q
T
T
F
F
p q
T
F
F T
T
T
F F
NOTA :
p q ( p q ) ( p q ) ( p q ) ( p q )
p
T
T
F
F
q
T
F
T
F
p q
p q
( p q)
T
T
T
F
T
F
F
F
F
T
T
T
p q
( p q) ( p q)
F
T
T
F
F
T
T
F
IMPLICACIN ( CONDICIONAL ) : ( Si ..; Si entonces )

En el ( la ) condicional p q :
El 1er trmino p es el antecedente , hiptesiso premisa
El 2 trmino q , consecuente ,tesis o conclusin .
El condicional es
si el antecedente es
y el consecuente es F .
El condicional , puede expresarse en funcin de otros conectivos , como se ver ms adelante .
El condicional(implicacin)es un conectivo lgic o que se notar con una flecha .

As ,( p q) , se puede leer de las siguientes maneras :
pimplica q Si p , entonces q p es suficiente para q

q es necesario para q p slo si q q si p
q siempre que p q cuando p q se deduce de p
Es falso que , p y no q ( ) No p , a menos que q
QUOTE
QUOTE
QUOTE
p q pq q pQUOTE ( pq q)
T
T
F
F
T
F
T
F
T
F
T
T
F
T
F
T
F
T
F
F
T
F
T
T
p
F
F
T
T
pq
T
F
T
T
13
Segn latabla de verdad , los valores veritativos de la condicional p q y ( p q) p q
.
son los mismos . Es decir , p q ( p q ) ( ) p q
Se puede , por tan , sustituir la condicional por ( p q ) o por p q .
EJERCICIO
Explique por qu , si sabemos que p es T ,tambin sabemos que [ r ( p s ) ] ( p q ) es T ,aun
que no conozcamoslos valores de verdad de q , r y s .
Las implicaciones(condicionales) pueden ser de 4 formas :

Implicacin directa PD : p q Implicacin recproca PR:q p
Implicacin inversa PI : p q Implicacin contrarecproca PC : q p
T
T
F
F
T
F
T
F
F
F
T
T
PD
QUOTE
pqq
F
T
F
T
T
F
T
T
PC
PR
PI
QUOTE q p
QUOTE p q
QUOTE q p
T
F
T
T
T
T
F
T
T
T
F
T
EJEMPLO
Sean las proposiciones : p :tienes 18 aos q : puedes votar
Las implicaciones:
PD :( p q) :Si tienes 18 aos , entonces puedes votar
PR:(q p):Si puedes votar , entoncestienes 18 aos

PI :( p q): Si no tienes 18 aos , entonces no puedes votar
PC :( q p): Sino puedes votar , entonces no tienes 18 aos

Las tablas de verdad de las implicaciones directa ( PD ) y contrarecproca ( PC ) , son iguales .
Lainversa ( PI )
y la recproca ( PR ) , por otro lado , son iguales .
Por lo tanto , estas implicaciones son equivalentes() , es decir :
14
( p q)( q p) : PD PC
(q p)( p q) : PR PI
CONDICIONES NECESARIAS , SUFICIENTES , SUFICIENTES Y NECESARIAS
CONDICIONES NECESARIAS
Unevento o condici n A es necesario para un evento B , si B no puede suceder cuando A no suce
de
aun cuando pueden requerirse ,

o no seda , es decir , A se requiere para que se produzca B
junto a
A , otras condiciones para que se produzca B .Un caso bien conocido por el lector :
tener pi as es condici n necesaria para preparar una torta de pi a , por cuanto si no se tienen
pi as , no se puede
preparar una torta de pi a .
sin embargo , junto a estacondici n se requieren otras , pues tener pi as no basta para hacer la
torta .
EJEMPLO 1. Saber primeros auxilioses condicin necesaria para ser mdico , pero ser mdico no
es condicin necesaria para saber primeros auxilios .
EJEMPLO 2. Ser nmero par es condi cinnecesaria para ser divisible por 2.
Pero ser divisible por 2 tambin es condicin necesaria para que un entero sea par .
Los dos ejemplos anteriores muestran que si A es condicin necesaria para B , entonces B puede ,
o no ser condicin necesaria para A .
CONDICION ES SUFICIENTES
Unevento o condicin A es suficiente para un evento B , si A basta
para que se produzca B(aun cuando puedan existir otras formas de que se produzca) .
EJ :Correr la media maratn de Caracas es suficiente para terminar cansado . Pero hay otras for
mas de terminar cansado :correr lamaratn de Boston , jugar un partido de ftbol ,etc .
EJEMPLO 1
Ser catlico es suficiente para creer en Dios . Pero , como no slo loscatlicos creen en Dios , ser
catlico no es necesario para creer en Dios .
EJEMPLO 2
Creer en Dios no es condicin suficiente para ser catlico , pues laiglesia catlica pone condi
15
ciones adicionales para ser catlico (Obediencia al Papa , por ejemplo ) .

EJEMPLO 3
Qu significala afirmacin ser oficial del ejrcito es condicin suficiente pero no necesaria
para saber manejar armas de fuego ?

Significa que todo oficial del ejrcit o sabe manejar armas de fuego , pero que existen personas
que saben manejar armas de fuego y no son oficiales del ejrcito .

CONDICIONES NECESARIAS Y SUFICIENTES
Unevento o condicin A es necesario y suficiente para un evento B , cuando A se requiere y bas

ta para que se produzca B , es decir , si no sucede A , no sucede B , y si sucede A , sucede B .
Por ejemplo , es necesario y suficiente ocupar uno de los tres primeros lugares en una carrera
de F 1, para subir al podio ; en condiciones normales , es suficiente y necesario obtener el mayor
nmero de votos en las elecciones presidenciales, para ser elegido presidente .

EJEMPLO 1. Es suficiente , perono necesario , haber nacido en Caracas , para ser venezolano.
Es necesario , pero no suficiente , ser venezolano por haber nacido en Caracas .

Distinguir correctamente :condiciones suficientes , condiciones necesarias , y , suficientes y nece
sarias ,es de fundamental importancia en el proceso de formacinterica ,en prcticamente ,

cualquier disciplina . Pero tambinlo es en la prctica cotidiana .
Estos dos hechos justifican el nfasis en eltratamiento del tema .

ELCONDICIONAL SI ENTONCES .. Y LAS CONDICIONES SUFICIENTES
La forma de e xpresar condiciones suficientes guarda una estrecha relacin con el condicional
si entonces , que es la siguiente:
Si A es condicin suficiente para B , el condicional Si A entonces B , es un condicional T .

Observe que la condicin suficiente es el antecedente delcondicional :Si ( condicin suficiente )
entonces ( evento ) . En un ejemplo anterior dijimos que , correr la media maratn de Caracas es
suficiente para terminar cansado .
El condicional correspondiente , sicorre la media maratn de Caracas , termina cansado , es T .

Recprocamente :Uncondicional verdadero establece una relacin en la que el antecedente es
condicin suficiente para elconsecuente .
16
Si el enunciado condicional Si es domingo entonces visito a mis abuelos es T , entonces ser da
domingo es condicin suficiente para visitar a los abuelos.

Entrminos generales :
laafirmacin A es condicin suficiente para B es T ( F ) ,el enunciado condicional Si A entonces B

tambin es T ( F) .
Como aplicacin directadel tema anterior consideremos este caso :

Como es suficiente saber que una persona es buzo profesional , para asegurar que tal persona
sabe nadar , el condicional Si alguien es buzo p rofesional , entonces sabe nadar es T .

En particular , si Juan es buzo profesional , podemos asegurar que Juan sabe nadar .
Esto indica que el ra zonamiento Si todoslos buzos profesionales saben nadar y Juan es buzo
profesional , entonces Juan sabe nadar , es un razonamiento deductivo vlido .
El razonamiento tiene esta forma general :

La1 a premisa declara que A es condicin suficiente para B : Si A entonces B .
La 2a premisa afirmael antecedente del condicional : A se satisface .
Entonces la conclusin afirma el consecuente : B se satisface .
Este esquema de razonamiento vlido se conoce con el nombre de
Modus Ponens :
P1 : Si A entonces B
P2 : A
C : Entonces B
El esquema Modus Ponens forma parte de la vida cotidiana , aparentemente desde siempre .
El nio malcriado que hace un berrinche para lograr algo porque sabe que , silo hace , entonces
lo obtiene .
El universitario que va al cine loslunes , porque si es lunes ,la entrada tiene un descuento.
El empleado que almuerza los viernes en el comedor de su empresa , porque si es viernes sirven
su plato preferido.
Estos ejemplosilustran aj ustes espontneos de la conducta al esquema Modus Ponens .
17
ELCONDICIONAL SI ... ENTONCES .. Y LAS CONDICIONES NECESARIAS
En elcontexto de las matemticas, si A y B son eventos tales que elcondicional si A entonces B

es T , se dice que B es necesario para A , o que B es condicin necesaria para A .
Por ejemplo , unteorema algebraico estableceque si ab=0 entonces a=0 o b=0 .

Decimos entonces que es necesario que alguno de los factores de un producto sea 0, para que
el producto sea 0.
Otroteorema establece que :si dos rectas del planoson paralelas entonces sus pendientes son
iguales .
Entonces , es necesario que las pendientes de 2 rectas del plano sean iguales , para que las rec
tas sean paralelas .

La relacin anterior entre condicional y condicin necesaria tambinest presente en contex
tos cotidianos , aunque su identificacin no es siempre evidente .

Por ejemplo :el condicional Si alguien es cardilogo , entonces es mdico , es T , y tiene sentido
la afirmacin Ser mdico es necesario para ser cardilogo ,o ,lo que es equivalente , si alguien
no es mdico , entonces no es cardilogo .
Anlogamente , laafirmacin Todo catlico cree en Dios , se traduce en condicional Si alguien

es catlico , entonces cree en Dios , segn el que creer en Dios es necesario para ser catlico o ,
lo que es equivalente :no creer en Dios implica no ser catlico.

La afirmacin Si e s domingo , entonces voy al cine equivale a la afirmacin Sino voy al cine,
entonces no es domingo ; si no se da lo 1o ( ir al cine ) , no se da lo2o (ser domingo) .

Y no significa esto ltimo que ir al cine es condicin necesaria para ser domingo? Este giro ,
lgicamente correcto , es semnticamente inaceptable y es a esta dificultad que nos referimos

al comienzo de este prrafo .
La relacindescrita enlos prrafos anteriores , indica que cuando B es necesaria para A , se

configura un razonamiento deductivo vlido que tiene esta forma gen eral :
La1 a premisa
a
La 2 premisa
es elcondicional
A entonces B
niega elconsecuente del condicional : B no se satisface .
Entonces la conclusin niegael antecedente : A no se satisface .

Este esquema de razonamiento vlido se conoce como
ModusTollens :
18
P1 : Si A entonces B
P2 :no B
C : Entonces no A
Como el esquema Modus Ponens , tambinel esquema ModusTollens hace parte delarsenal
de esquemas bsicos de razonamientos vlidos :
Si incurro en fraude en el examen, entonces corro el riesgo de que mi examen sea anulado .
Pero no correr el riesgo de que me anulen el examen , por lo tanto , no har fraude.
No abusar de licor , porquequien abusa del licor se porta co moun idiota y yo no me porto
como unidiota .
Si me levanto tarde , entonces no llegar a tiempo a launiversidad . Pero debo llegar atiem
po , entonces no melevantar tarde .
Estos son slo algunos de los muchos casos enlos cuales , en forma inadvertida y espontnea,
aplicamos el esquema Modus Tollens .
ELCONDICIONAL SI ENTONCES .. Y LAS DOS CONDICIONES INVOLUCRADAS EN EL MISMO

Reunamos las discusiones de las dos subsecciones anteriores :
un condicionalT si A entonces B , indica simultneamente que A es condicin suficiente para

B y que B es condicinnecesaria para A .
Volviendo a los ejemplos anteriores:

Si alguien es cardilogo , entonces es mdico , es un condicional T del cual se deduce que ser car
dilogo es condicin suficiente para ser mdico , en el sentido de llevarlo implcito y se deduce
tambin que ser mdico es una condicin necesaria para ser cardilogo .
Dela misma manera, la afirmacintodo buzo profesional sabe nadar , se traduce en el condicio
nal si es buzo profesional ,entonces sabe nadar , el cual afirmaque ser buzo profesional es sufi
ciente para saber nadar , es decir , implica saber nadar , y saber nadar es necesario para ser buzo
profesional .
Finalmente , elconocido resultado relativo a nmeros reales , si ab=0, entonces , a=0 o b=0 ,
indica que ab=0 es suficiente para afirmar que a=0 o b=0, y tambin que es necesario tener
a=0 o b=0, para que ab sea 0.
19
EL BICONDICIONAL .. SI Y SLO SI .. Y LA CONDICIN SUFICIENTE Y NECESARIA
En ocasiones dos eventos A y B estn relacionados de tal manera que el condicional Si A ,enton
ces B es T y ,tambin lo es , su recproca Si B entonces A .
De acuerdo conlas discusiones anteriores , el primero de estos condicionales establece que A

es suficiente para B , y el segundo que A es necesario para B .
Se dice entonces que A es suficiente y necesario para B .

Por ejemplo , el condicional sila suma de las cifras de un nmero es divisible por 3, entonces el
nmero es divisible por 3 es un condicionalT .

Establece que es suficient e que la suma de las cifras de un nmero sea divisible por 3 para que
el nmero sea divisible por 3 .

Pero tambin elcondicional Si un nmero es divisible por 3, entonces la sumade sus cifras es
divisible por 3 es T .
Establece que es necesario que la suma de las cifras d e un nmero sea divisible por 3 para que
el nmero sea divisible por 3 .

En consecuencia ,es suficiente y necesario que la sumade las cifras de un nmero sea divisible
por 3 para que el nmero sea divisible por 3 ,lo cual se expresa con bicondicional si y slo si
en la forma :
Unnmero es divisible por 3 si y slo si lasuma de sus cifras es divisible por 3 .

Observe bien la estructura de la frase anterior en relacincon las condiciones que establece :
o
Unn es divisible por 3 si y slo sila suma de sus cifras es divisible por 3
(es suficiente que lasuma de las cifras sea divisible por 3, para que el no sea divisible por 3)
Unn o es divisible por 3 si y slo sila suma de su s cifras es divisible por 3
(es necesario que la suma de las cifras sea divisible por 3, para que el no sea divisible por 3)
Generalicemosla d iscusin anterior .
Si los condicionales Si A entonces B y Si B entonces A , son simultneamente T , entonces A es
condicin suficiente y necesaria para B ,lo cual se expresa con el condicional :

B si y slo si A (B si A : A es suficiente para B , y B slo si A : A es necesaria para B) .
Por otra lado , tomando los condicionales en el ordensi B entonces A y si A entonces B , resulta
20
que B es condicin suficiente y necesaria para A , lo cual se expresa como A si y slo si B .
Resumiendo , cuando dos condiciones A y B estnrelacionadas de tal maneraque cada una es

suficiente para la otra, entonces c /u resulta necesaria para la otra; se implican y se requieren
mutuamente . Estohace razonablellamarlas equivalentes .

Es indiferente ental caso si se expresa la equivalenciaen la forma A si y slo si B , o en la forma
B si y slo si A . Lo importante es que si una es T ( F) ,la otra es T (F ).

UNA OBSERVACIN NECESARIA
La terminologa de los prrafos anteriores no es usual en el lenguaje cotidiano . Ello contribuye ,

en gran medida , a laambigedad en su uso , pe ro es indispensable en lenguaje formal.
Por ejemplo , eventualmente usted escucharo leer estaafirmacin :

Si f es una funcin derivable , entonces f es continua .
La afirmacin debera generar en usted reflexiones como estas :

1. Saber que una funcin es derivable es suficiente para poder afirmar que es continua .
2. Ser continua es condicinnecesaria para ser derivable y , por lotanto , si s que una funcin es
discontinua enun punto, puedo afirmar que no es derivable en ese punto .
3. El resultado establece que la derivabilidad es suficiente para la continuidad .

Tambin ser necesaria ? Es decir , podr afirmar que si f es continua entonces f es derivable ?
EJEMPLO
Anteriormente anotamos que elenunciado :un no es divisible por 3, si y slo si , la suma de sus
cifras tambin es divisible por 3 , es T . Entonces :
1 1347 es divisible por 3, puesto que satisface la condicin suficiente para ello :
la sumade sus cifras 1+3+ 4+7=15 es divisible por 3.
2 257 n o es divisible por 3 porque no satisface lacondicin necesaria para ello .

En efecto ,la suma 2+5+7=14 no es divisible por 3.
3 Puede afirmarse , aun sin conocer el resultado de la multiplicacin , que la suma de las cifras
del producto 3.(547688) es divisible por 3. Por qu ?
Conviene anotar que , todadefinicin convencional , es un enunciado de la forma si y slo si ,he

cho que con frecuencia es omitido en elenu nciadode las definiciones y que , puede originar
21
confusiones . No es incorrecto decir que , untringulo es equiltero si sus lados son iguales ,
porquela igualdad de los ladoses condicin suficiente para que eltringulo sea equiltero .
Pero s es incompleto , porquela condicin tambin es necesaria .
Entonces , debera decirse :Un
tringulo es equiltero si y slo si sus lados son iguales .
Anlogamente , debera decirse :

Una palabraes aguda si y slo si tiene el acento tnico en laltima slaba ; un nmero natural
es primo si y slo sitiene exactamente dos divisores , etc .

TEOREMA . Tener derivada negativa en un punto , es condicin suficiente para que la funcin
sea decreciente en ese punto .

H : f ( a ) <0 T : f es decreciente en x =a
Donde H :hiptesis()( antecedente) y T :tesis (conclusin)
NOTA . La palabra hiptesis( H)() proviene del griego y significa bajo una idea .
Unahiptesis es una estimacin educada y conduce , con frecuencia , a nuevos conocimientos

y puede ayudar a establecer unateora .
TEOREMA .
es que la
Condicinnecesaria para que una funcin f tenga derivada positiva en un punto ,

funcin sea creciente en ese punto .
H : f ( a ) >0 T : f es creciente en x =a
TEOREMA . Condicinnecesaria y suficiente para que la inversa de una funcin f sea otra fun
cin es que f sea biyectiva :f 1 es una funcin f es b iyectiva
( I)
Para que una matriz tengainversa es necesario que su determinante sea 0.
Esta proposicines T , pero su recproca no siempre es T . Cules proposiciones sonT ?

Razone su
respuesta.
(a)Para que una matriz tenga inversa , es suficiente que su determinante sea 0
(b)Para que su determinante sea 0, es suficiente que la matriz ten ga inversa
22
(c ) Para que su determinante sea=0, es necesario que la matriz no tenga inversa
(d )Una matriz tiene inversa si y slo si su determinante sea 0

(e)Una matriz tiene determinante nulo , slo si no tiene inversa
Veamos el procedimiento para responder este tipo de cuestin .

1 p :Una matriz tiene inversa q : Su determinante es 0
2 Expresamos cada proposicin , en forma simblica .

La proposicin dada es T : Si una matriz tiene inversa , su determinante es 0 .
Se simboliza as : p q
3 (a) q p(b) p q (c ) q p(d ) p q(e) q p
4 Vemos que ( b ) , ( c ) y ( e ) , son T : La ( b : PD ) ; ( c y e : PC ) .

Las dems(a ,d ) no se siguen ,lgicamente .
( II )
Una funcin derivable es continua
Esta proposicines T para todaslas funciones , pero su recproca no siempre es
T.
Cules proposiciones son T , para todaslas funciones ? Razone su respuesta .

(a)Ser derivable equivale a ser continua
(b)Ser derivable es condicin suficiente para ser continua

(c )Una funcin es derivable slo si es continua
(d )Ser derivable es condicin necesaria para ser continua

(e)Una funcin es continua slo sies derivable
(f )Si u na funcin no es continua ,no es derivable

p:Una funcin es derivable q :Una funcin es continua
La proposicin dada es T :Una funcin derivable es continua . Se simboliza as : p q

(a)Ser derivable equivale a ser continua: p q
(b)Ser derivable es condicin suficiente para ser continua : p q

(c )Una funcin es derivable slo si es continua: p q
(d )Ser derivable es condicin necesaria para ser continua :q p

(e)Una funcin es continua slo sies derivable : q p
23
(f )Si una funcin no es continua, no es derivable : q p
Las T son(b) ,(c ) y ( f ); (b y c : PD) y (f : PC ). La(a :bicondicional) ,(d y e :PR), no lo son .
( III )
Unnmero natural(N ), es entero (Z )
Esta proposicines T para todoslos naturales , pero su recproca no siempre es T .
Cules proposiciones son T ? Razone su respuesta.

(a)No ser natural implica no ser entero
(b)Ser natural es condicin suficiente para ser entero

(c )Un nmero es natural slo si es entero
(d )Ser n atural es condicin necesaria para ser entero

(e)Unnmero es entero slo si es natural
(f )Si un nmero no es entero , no es natural

p:Un nmero es natural q :Un nmero es entero
La proposicin dada es T : Si un nmero es natural , es entero . Se simboliza as : p q

(a) No ser natural implica no ser entero : p q
(b)Ser natural es condicin suficiente para ser entero : p q

(c )Un nmero es natural slo si es entero : p q
(d )Ser nmero natural es condicin necesaria para ser entero : q p

(e)Unnmero es entero slo si es natural : q p
(f )Si un nmero no es entero , no es natural : q p

Las T son b , c y f :(b y c : PD y f : PC ). La(a : PI ) ,(d y e : PR)no lo son .
BICONDICIONAL ( EQUIVALENCIA ) : ( Si y slo si ; Sii )

La bicondicional p q , se lee:
p equivale a q ; p si y slo si q ; p es necesario y suficiente para q y viceversa

La bicondicional ( equivalencia ) es T si las proposiciones tienen igual valor de verdad , F si tie
nen distinto valor de verdad :
p
QUOTE
pqq
24
T
T
F
F
T
F
T
F
T
F
F
T
NOTA . p q ( p q)(q p). He aqu la comprobacin .
p q
q p
( p q)(q p)
T T
T
T
T
T F
F
T
F
F T
T
F
F
F F
T
T
T
NOTA .Observe que p q ( p q )
p q
T
F
F
T
JERARQUA DE LAS CONECTIVAS LGICAS

Cuando se tiene una proposicincompuesta con varias conectivas lgicas cmo sabemos la
prioridad de aqullas . Cules conectivas deben evaluarse primero , cules despus .
Por ejemplo , las proposiciones compuestas p ( q r ) y ( p q ) r , no tienen necesariamente

los mismos valores de verdad .
Y como ambasconectivas tienen igual jerarqua ,habr que tener cuidadodnde se debe colo
car el parntesis .
CONECTIVO JERARQUA
1
2,3
4,5
6,7
TABLA . Prioridad de los conectivos
Esta tabla muestra la jerarqua de las conectivas lgicas . Enlamisma seindica cundo se de
be utilizar o no parntesis , y el orden de evaluacin en la proposicin compuesta .
La negacin( )es de mayor jerarqua(1)

Conjuncin() y disyuncin (), con prioridades (2,3)
Condicional() y bicondicional(), con prioridades ( 4,5)
25
Cuantificadores universal ( ) y existencial (), con prioridades (6,7)
1 La proposicin [ p ( q r ) ] s , se puede transformar en la proposicin p ( q r ) s ,

laconectiva ( ) tiene prioridad ( 2 ) QUOTE , y la conectiva , prioridad ( 4 ) , sobreentendiendo que la
proposicinsimple p y la negacin ( q r ) unidas con la conectiva , se debern evaluar an
tes , y luego ,la proposicin simple s ,QUOTE con la conectiva .
sin embargo , no podemos aplicar la mismatransformacin a ( q r ) ya que si eliminsemos
el parntesis , la negacin slo se aplicara sobre la proposicin simple q , cambiando radical
mente el significado de la sentencia compuesta . En el ejemplo se est utilizando este parn
tesis para forzar la prioridad de evaluacin de la disyuncin respecto ala negacin.

Con estas 2 reglas sintcticas lo que buscamos es ,que no aparezcan 2 conectivas adyacentes ,
y definir una relacinde prioridad e ntre conectivas cuando hay ms de una dentro de un mis
mo nivel de agrupamiento dentro de un parntesis .
2 La proposicin p q r muestra problemas en su interpretacin , ya que losdos operadores

pertenecen almismo nivel de prioridad . Hay que insertar parntesis para indicar la prioridad
de evaluacin de las proposiciones que la componen, puestoque no se puede interpretar de la

misma
forma ( p q) r y p (q r ).
IMPORTANCIA DE LAS TAUTOLOGAS

Los dos tipos ms importantes de tautologas son :las equivalenciaslgicas y las implicaciones
lgicas .
Las 1as son usadas como esquemas de sustitucin en procesos de razonamiento .
Las 2as son usadas como esquemas de razonamientos vlidos .
EJEMPLO
La frmula ( p q ) ( p q ) se puede representar mediante las sustituciones :

=( p q ) y =( p q), en el esquema .
CONSTRUCCIN DE ENUNCIADOS EN LGICA PROPOSICIONAL

La traduccin dellenguaje natural al lenguaje formal no es un proceso mecnico . No hay reglas
que nos indiquen de forma automtica y nicacmo debe realizarse dichatransformacin , slo
26
nos podemos basar en una serie de reglas gen erales ,las que ya hemos visto , la intuicin y la ex
periencia previa .
1 La siguiente proposicin es una tautologautilizada para transformar una implicacin en una
expresin equivalente: p q (p q),cuya tabla de verdad es :

p
QUOTE
q q p q
p q
( p q)
p q ( p q)
T T
F
T
F
T
T F
T
F
T
F
F T
F
T
F
T
F F
T
T
F
T
2 Qu tipo de expresinlgica es p q ( p q ) ?
p
pq
QUOTE
p q p q
( p q)
T
T
T
T
p q ( p q)
T T
F
T
T
F
F
T F
F
F
F
T
F
F T
T
T
T
F
F
F F
T
T
T
F
F
La expresinlgica anterior es una contradiccin( siempre es F)
La tablade verdad ,de 3 proposiciones simples ,tiene 8 filas ,debido a las combinaciones de
los valores veritativos T y F .
FIGURA . Diagrama arbreo para 3 proposiciones
[ p ( q r ) ] ( p q ) ( p r ) . Hacemos = p
3
q
q r
(q r )
T
T
T
F
T
T
F
F
F
T
F
F
T
T
T
T
F
F
T
T
F
F
T
T
T
F
T
F
T
F
F
F
T
T
F
F
F
T
F
T
F
T
[]
F
F
F
T
F
F
F
F
T
T
F
F
27
F
T
F
T
F
F
F
T
T
T
F
F
T
T
T
T
T
T
q ; =p r
F F T
T
F
T
F
F
F F F
T
T
F
T
F
Esta proposicines unatautologa( siempre es T )
F
F
F
F
F
F
T
T
4 Diga qu tipo de proposicin es : [ p ( q r)][ ( p q) ( p r )]

Hacemos
p
T
T
T
T
F
F
F
F
= p q ; =p r
T
T
F
F
T
T
F
F
T
F
T
F
T
F
T
F
F
F
F
F
T
T
T
T
F
F
T
T
F
F
T
T
F
T
F
T
F
T
F
T
F
T
T
T
F
T
T
T
T
T
T
T
F
T
T
T
T
T
F
F
T
T
T
T
F
F
T
T
F
F
F
F
T
F
T
F
T
T
T
T
F
T
F
T
F
F
F
F
F
T
T
T
F
F
F
F
F
T
T
T
T
F
F
F
Esta proposicines una contingencia(valores T y F)
EJERCICIOS VARIOS
1 Si ( p r ) ( r q ) es F , determine el valor veritativo de r , q y p , respectivamente .

A FTT B FTF C TFT D TTF E TTT
La proposicin ( p r ) ( r q ) es una condicional , la cual ser F , cuando el antecedente

sea T y elconsecuente
(r q)
La conjuncin
( p r )
La conjuncin
(r q) ,
( p r )
sea F .
ser T slo cuando
sea T y r sea T . Luego ,
para que sea F , como r es T , entonces
es
r T ; q T ; p F
2 De la falsedad de : ( p q ) ( r s ) ,deduce el valor veritativo de las proposiciones:

a ( p q) q b [( r q) p][( q r ) s ]c ( p q) [( p q) q]
A TFT B FFF C TTT D TTF E FFT
28
p F , r T .
F,
por lo tanto:
( p q )( r s ) F .
La
disyunci n
es
F,
por lo que cada proposici n es F .
Ambas expresiones son condicionalesque nicamente son F , cuando el antecedente es T y el

consecuente es F . De donde : p T , q F y r T , s F . Entonces p T , q T ,r F , s F .
Reemplazando estos valores en cada expresin se tendr :

a ( p q) q ( T T ) T (F F) F F F F
b [( r q) p ] [( q r ) s ][( F T )T ] [( T F) F ]
[(T T )T ] [(F F ) F ][T T ][ F F ]T F F
c ( p q ) [ ( p q ) q ] ( T T ) [ (T T ) T ] T [ T F ] T F F
3
Si
( p q) ( r q),
es F , entonceslos valores veritativos de :
a ( p q ) ( r q ) b q [( p q) r ], son , respectivamente :
A TT B TF C FT D FF E INDEFINIDOS
Tenemos como dato una disyuncin : ( p q)( r q).
sta es F , cuando ambas proposiciones son F : p q F ; r q F

La1 de ellas ,
es una
condicional ,
La 2 de ellas ,
por ser XOR (r q) ,
ser F cuando
ser F cuando r y q sean :
Ambas T ,
es decir ,
r q T
Ambas F ,
es decir ,
r q F Pero, como q T ,r T
Si [( p r ) (r q)]
p T ; q F . Luego : p F ,q T .
es
T.
Halle el valor veritativo de :
a (r p)[( p q) (r q)]b ( p q) (r q)c (r p q) (r q)q
A TFT B FFT C TTF D TTT E FFF

Se deduce que : ( p r ) ( r q ) F , luego, la condicional, ser F , cuando ( p r ) sea T
sea
F.
Para que
( p r)
sea
T : p T , r T , p T y r F .
La otra proposici n ( r q ) ser F cuando r y q , tenganid nticos valores veritativos .

Como r es F , q tambi n es F , q T . Reemplazando en las expresiones pedidas :
a (r p)[( p q) (r q)](F T )[(T T )(F T )] F [F T ] F T T

b ( p q) (r q) (T T ) (F T ) T F T
c (r p q) ( r q) q (F T T )( F T ) T (F T ) F T F F T F T T
5
Adems ,
Se sabe que :t=(r s) r ; u=(r s) r .
29
tF ,
u T .
y (r q)
Determine valor
veritativo de :a [ ( r u ) ( t s ) t ] b [(r u)t ] s c [r (u t)] s
A TFF B TTT C TFT D FTT E FFF
Veamos , ahora otro procedimiento para determinar los valores veritativos de r y s , mediante la
tabla de verdad de t y u :
r s
T T T
T F F
F T T
F F T
Notamos que
s
F
T
F
T
tF
r s
F
T
T
T
y
r
F
F
T
T
u T
(r s) r
T
F
F
F
(r s) r
T
T
F
F
slo cuando r es T y s es F , es decir :r T ; s F ; t F ; u T .
Reemplazando en lasexpresiones pedidas :
a [( r u)(t s) t ][(T T )( F F) F][T F ]T F T T

b [( r u) t] s [(T T ) F ] F [T F] F F F T
c [r (u t)] s [T (T F)] F [T T ] F F F T
6
El valor veritativo de la proposicincompuesta :
{ [ ( p r ) q ] [ ( p q ) s ] } [ ( s p ) t ]
es
F , determine el valor veritativo de :
{[( p q)r ] [q (t p)]}( p q)

A T B F C T F D Tautologa E Contradiccin
La expresindada es una condicional . Es F , cuando el antecedente es T y el consecuente es F .

{ [( p r ) q][( p q) s ]}T y (s p) t F
[( p r ) q ]T [( p q) s ]T (F T ) t F
[( p r ) q] F (T F ) s T T t F
p r T q F V s T t F p T s F r T
Reemplazando en la proposicin pedida:
{[( p q)r ] [q (t p)]}( p q) {[( T F) T ] [F ( F T )] }(T F )

{[(F F)T ] [F T ]}(T F ) {[F T ] [T ]}T {T F }T F T T
7 Es posible determinar si
es
sabiendo que : ( p r ) es T ; p q es T ; r q es T ?
A S , T B S , F C No se puede D Depende de r E Depende de r
Utilizaremosla tabla de verdad para determinar el valor de p .
30
p r
p q
( p r )
r q
T T T
F F T
F
T
T
T T F
T F F
T
T
F
T F T
F T T
F
F
T
T F F
T T F
T
F
T
F T T
F F F
T
T
T
F T F
T F F
T
T
F
F F T
F T F
T
T
T
F F F
T T F
T
T
T
Puede verse que ( p r ) , p q y r q son T en 3 casos ( marcados en la tabla ) y en cualquiera
de esos casos p es F .
8 Si definimos : pq ( p q), entonces , si: p( p q)es T , determine el valor de :

a ( qp ) ( b ) q p A TF B TT C FT D FF E NA
I La equivalencia pq ( p q ) indica que su tabla de verdad es id ntica :
p
p q
( p q)
pq
T
T
T
F
T T
F
T
F
F
T
T F
T
F
T
T
F
F T
F
F
F
T
F
F F
F
De donde observamos que pq slo es T cuando p es T y q es F .
Luego , en el dato : p( p q ) T p T : p F ( p q) F :T q F : q F
Reemplazando en lasexpresiones pedidas:

a ( qp) (FF ) F T b q p F F TT F
II
Dela equivalencia pq ( p q ) , podemos darnos cuentaque el nuevo conectivo , equi
vale a una condicional negada .
p( p q) [ p ( p q)]T .
Luego : p ( p q ) F : p T y p q F :
p F T q F : q F Luego , en las expresiones pedidas :

a ( qp) [(q p)]q p F F T
b q p [ q p ] [ F F ] [T T ] T F
9
Si p y q son T , para qu valores de r , el esquema siguiente es T ?
(r p)( q r )(r T )( T r);(r T )( F r ) .
La bicondicional es T , cuando ambas proposicione s son T o ambas son F .

Luego , si r es F : ( F T ) ( F F ) ; ( T ) ( T ) T T :(T T )(F T ); (T ) (T ) T
31
Por consiguiente , para los2 valores de r (T o F) .
10 Si hoy sale el sol , entonces maanano vamos ala playa .

Las proposiciones equivalentes son :
(I ) Noes el caso que ,hoy salgael sol y maana vamos ala playa
(II) Hoy sale el sol y maana no vamos a la playa
(III ) Hoy no sale el sol o maana no vamos a la playa

A I B I y II C II D III E I y III
Sean , p : Hoy sale el sol q : Maana nos vamos a la playa

La expresin dada se simboliza : p q p q
Formalicemos las expresiones y luego simplifiqumoslas :

I ( p q) p q II p q III p q
11
Niegue :Pepe estudia matemtica atiende la clase :
A No es cierto que , Pepe estudie matemtica y atienda laclase

B Pepe atiende la clase y estudia matemtica
C Pepe no atiende la clase o no estudia matemtica

D Pepe atiende la clase o estudia matemtica
Asumiendo ,
p: Pepe estudia matemticaq : Pepe atiende ala clase .
La proposicin :Pepe estudia matemticaatiende la clase , se simboliza as : p q

Esta proposicin, por laley de DeMorgan , se convierte en : ( p q).
La negacin ser: ( p q) p q : Pepe atiende ala clase o estudia matemtica .

12
Los obreros de una fbrica estn clasificados por :
a su estado civil(solteros , casados )
b nacionalidad ( venezolanos , extranjeros)
c raza (blanc os , negros)
Uninvestigador averiguaque un individuo X buscado es : soltero o no venezolano blanco .

Otroinvestigador averigua que ese mismoindividuo es :o soltero o extranjero o negro .
Cul de los dos investigadores da msinformacin de X ? Designemos :

p: son obreros solteros ; p :no son obreros solteros(casados)
q : son obreros venezolanos ; q :no son obreros venezolanos(extranjeros)

r :son obreros blancos ; r :no son obreros blancos (negros)
32
( a ) El primer investigador dice :soltero o no venezolano blanco: p ( q r ) p q r
( b ) El segundo investigador dice : o soltero o extranjero o negro : p q r p q r

De a y b se deduce que los dos investigadores dicenlo mismo de X .
13
Delas premisas :
I . Si estudio en la maana , no me levantar temprano .

II . Estudio en la maana o no voy al cine en latarde .
III . Ir al cine en la tarde .

Se concluye : I Estudio enla maana II Nome levanto temprano
A Slo I B I y II C Slo II D Faltainformacin E Ninguna

Este problema corresponde a lllamado mtodo de derivacin formal , mediante el cualhallamos
una conclusin formal en base a premisas supuestamente T .

Las premisas se formulan en funcin de 3 proposiciones.
p: Estudio en la maanaq : Me levanto temprano r :Voy al cine en la tarde

Premisa1 : p q
Pr emisa 2 : p r : Las 3 premisas , se supone , que tienen a :

Premisa3 :r T , como valor veritativo .
Enla premisa 3 : r T
Enla premisa 2 : p r T , luego, p T T p F T , entonces p T
Enla premisa 1: p q T ,luego ,T q T , q T , de donde q F .

De donde las conclusiones sern :
p T : Estudio en lamaana q F : No me levantar temprano r T : Ir al cine en latarde

14 Sean p :Carlos estudia en la UNA q : Carlos es comerciante r :Carlos gasta poco dinero
Simbolice :
Es suficiente que Carlos sea comerciante o gaste mucho dinero , para que no estudie en laUNA .
Pero siestudia enla UNA , no es comerciante .

A [( q r ) p ]( p q) B [(q r ) p ]( p q)C [(q r) p ]( p q)
D [( p r ) p]( p q)E [( p r ) p]( p q)

15
Sean , p : Roberto se casa con Janet ; q : Sus padres se enojar n con l
r :Sus suegros se enojar n con l .
Simbolice :
33
Si Roberto se casa con Janet , sus padres se enojarncon l, y si no se casa con Janet , sus suegros
se enojarn con l. Pero Roberto se casa con Janet o no se casa .

Por lo tanto , sus padres o sus suegros se enojarn con l .
A {[( p q)( p r)]( p p)}( q r )

B [( p q)( p r )( p p)](q r )
C {[( p q) ( p r )][( p p)](q r ) }

D ( p q) ( p r )( p p) (q r )
E {[(p q) ( p r)]( p p) }(q r )

16 Se sabe que p q T ,r t T y p r F ,entonces los valores veritativos de p , q , r y t son ,
respectivamente : A TFFT B TTTF C TTFT D TFTT E TTFF

1 Si p q T , p T , q T . 2 Si r t T ( ) 3 Si p r F .
Tratndose de una equivalencia ( bicondicional ) , para que sea F , deben ser ambas proposiciones
de valores veritativos opuestos , es decir , una F y otraT y viceversa . Pero como p es T , r es F .
Entonces , p T y r F . Una vez determinado el valor veritativo de r , volvemos ala 2 ( ) ya que

ahora sabemos que r F , y , por consiguiente , t T .
17
Si
[( q s)( p r )]es T ,
halle el valor veritativo de :
I ( s q ) ( r p ) II ( q s ) ( p r ) III ( p q r s) ( p r)
A TFT B FTT C FTF D TTT E FFF

AYUDA .
(F)T ,
parala proposici n dada .
Entonces [ ( q s ) ( p r ) ] es F , y para que una condicional sea F , el antecedente debe ser T y

el consecuente F .
Es decir , q s T , y p r F . S lo de esta ltima , podemos determinar que p T ; r F , inequ
vocamente . De la 1 : q s T ,no podemos asegurar que q es T o es F e igualmente de s .

sin embargo , podemos expresar q s T q s .
18 Halle el valor de [ ( p q ) r ] [ p ( q r ) ] , si , [ ( p q ) r ] [ p ( q r ) ] ,es F .

EJERCICIOS
1 Sean , p :hace fro ; q : estlloviendo . Enuncia verbalmente :
a p q : Hace fro y est lloviendob p q : Hace fro o est lloviendo
34
c p q : Hace fro si y slo siest lloviendo d p q :Si hace fro , no estlloviendo
e q p : Est lloviendo o no hace fro f p q : Nohace fro y no est lloviendo

g p q : Hace fro si y slo sino estlloviendo
Sean ,
p: ella es alta ; q : ella es bonita .
Escribe simblicamente .
a Es falso que ella es baja o bonita : ( p q ) b Ellanoaltabonita : p q

c Ella es alta o es baja y bonita : p( p q)
3
Sean ,
p: hace fro ; q : est lloviendo .
Exprese verbalmente :
a p q : Hace fro y no est lloviendob p q :Hace fro o est lloviendo
c p q : No hace fro y no est lloviendo equivale a:hace froest lloviendo .

4 Dadas , p: Ana lee Meridiano q : Ana lee Lder r : Ana lee ABC . Escribe simblicamente .
a Ana lee Meridiano o Lder , p ero no ABC :( p q) r

b Ana lee Meridiano y Lder o no lee Meridiano y ABC :( p q ) ( p r )
c Es falso que Analee Meridiano , pero no ABC : ( p r )

d Es falso que Analee Abc o Lder , y no ABC : [(r q) r ]
5 Determine el valor veritativo de cada proposicin :

a Si 3+2=7, 4 +4=8: p q ; F T T
b No es verdad que , 2+2=5 sii 4+ 4=10 : ( p q); ( F F ); (T ) F

c No es verdad que ,1+1=3 o 2+ 1=3 : ( p q ); ( F T ) ; (T ) F
Determine el valor veritativo de cada proposicin:
a 3+2=7 y 4 + 4=8: F b 2+ 1=3 y 7 +2=9 :T c 6+ 4=10 y 1+1=3: F

7
Determine el valor de veritativo de cada proposicin .
a Es falso que , 2+ 2=4 y 1+1=5 :T b Caracas est en Venezuela y 1+1=5 2+2=4 :T

8
Elabore lastablas de verdad de cada proposicin.
a ( p q)b p q p q c ( p q) (q p)d ( p q)e ( p q)

9
Elabore lastablas de verdad de las proposiciones .
Diga si son tautologas ( T ) , contingencias(C )
contradicciones(CT ).
a [ ( r s ) r ] s C b [ p q r ] (p q) r T c [ p q p] q CT
10 Demuestre las leyes de DeMorgan :
a ( p q ) p q b (p q) p q
35
p q
( p q)
p q
T T
T
F
F
F
F
T F
F
T
F
T
T
F T
F
T
T
F
T
F F
F
T
T
T
T
11 Escribelas proposiciones en forma equivalente :
p q
( p q)
T
T
T
F
F
F
F
T
p q
F
F
F
T
a Si hace fro , l se pone un sombrero .Tngase en cuentaque la proposicin : p q p q :
Nohace fro o l se pone un sombrero .

b Si la productividad aumenta , entonces los salarios se incrementan :
La productividad no aumentao los salarios se incrementan : p q .

12
Determine el valor veritativo de cada proposici n .
a Es falso que ,1+1=2 sii 3+ 4=5: ( p q); (T F) ; (F) T
b Condicinnecesaria para que 1+2=3 es que 4+ 4=4 : p q ; T F F

c Condicin suficiente para que 1+2=3 es que 4+ 4=4 :q p ; F T T
d Si3< 5,3<5 :T F F e Es falso que ,1+1=5 sii 3+3=1: (F F ); (T ) F

f Es falso que , si , 2+ 2=4,3+3=5 1+1=2: [T (F T )]; (T T ); (T ) F
g Si 2+2=4, es falso que ,2+1=3 y 5+5=10 : p ( q r ) ; T ( T T ) ; T ( T ) F
LEYES DEL LGEBRA PROPOSICIONAL
LEY
p p T
NOMBRE
p p F
Ley de negacin(ln)
p T p p F p
Ley de identidad (LI )
p T T p F F
Ley de dominaci n( LD )
p p p p p p
Ley de idempotencia( LIDP)

Ley de doble negacin( DN )
( p ) p
36
p q q p
p q q p
Ley conmutativa(CONM )
( p q ) r p ( q r ) ( p q)r p (q r )
Ley asociativa( ASOC )
p ( q r ) ( p q ) ( p r ) p (q r ) (p q) ( p r )
Ley distributiva( DIST )
( p q) p q
( p q) p q
p ( p q ) p
Ley de DeMorgan( DM )
p( p q) p
p ( p q ) p q
Ley de absorcin total (LAT )
p( p q) p q
Ley de absorcin parcial(LAP)
p q p q
Ley de condicional( LC)
p q ( p q ) ( q p ) ( p q ) ( p q )
Ley de bicondicional( LB)
EQUIVALENCIAS LGICAS
p q q p
p q p q
p q ( p q )
( p q) p q
( p q)(p r ) p ( q r )
( p q ) ( q r ) ( p q ) r
( p q ) ( p r ) p (q r )
( p r ) ( q r ) ( p q) r
p q p q
( p q ) p q
p q ( p q )
Simplifique las proposiciones aplicandolas leyes del lgebra proposicional
1
Muestre que ( p ( p q ) ) p q
[ ( p p ) ( p q)]
ley distributiva
[T ( p q ) ]
ley negacin
( p q)
ley identidad
p q
ley DM
Muestre que ( p q ) ( p q ) es una tautologa
( p q ) ( p q )
( p q) ( p q )
ley condicional
ley DM
37
( p p) ( q q )
ley asociativa
T ( q q)
ley negacin
Ley dominaci n
Pruebe la equivalencia lgica( p q) q p q

q ( q p)
ley conmutativa
p q
ley ab . parcial
( p q) ( q p ) p q
( p q ) ( q p )
leyes :condicional+ doble negacin
( p q ) ( q p )
ley DM
[( p q ) q] p
ley asociativa
q p
ley ab . total
p q
ley conmutativa
( p q) ( q p ) p q
( p q ) ( q p )
( p q) (q p )
leyes : DM +doble negacin
p[q ( q p ) ]
ley asociativa
p q
ley ab . total
6
q [ ( p q ) q ] q
q [ ( p q ) q ]
q [ ( p q ) q ]
q [ q ( p q ) ]
ley conmutativa
38
ley ab . total
[ ( p q) ( p r ) ] [ r ( r t ) ] r
[ ( p q) ( p r ) ] r
ley ab . total
[( p q) ( p r ) ] r
ley DM
[ ( p q ) ( p r ) ] r
ley condicional
[ ( p q ) ( p r ) ] r
ley DM
[( p q ) ( p r ) ] r
{[ ( p q ) p ] r } r
ley asociativa
[ ( p p ) ( p q ) r ] r
ley distributiva
[ F ( p q ) r ] r
ley de negacin
[ ( p q ) r ] r
ley identidad
ley ab . total
( q p ) ( p q) p
( q p ) ( p q )
( p q ) ( p q )
ley conmutativa
p ( q q )
ley distributiva
p T
p
ley de negacin
ley de identidad
[ q ( q p ) ] ( p q ) T
[ q ( q p )] ( p q)
ley condicional
[( q q) ( q p ) ] ( p q )
ley distributiva
39
[ F (q p )] ( p q)
ley de negacin
[ ( q p ) ] ( p q )
ley identidad
( q p ) ( p q )
ley condicional
( q p ) ( p q )
( q q ) ( p p )
ley asociativa
q ( p p )
ley idempotencia
q T
ley de negacin
ley dominacin
10
( p q ) (q p) p q
( p q) ( q p)
ley condicional
( p q) ( q p )
ley condicional
( p q) ( q p )
[( p p)( q q)]
ley asociativa
p q
ley idempotencia
11
p q ( p q) ( p q )
( p q ) ( q p)
ley bicondicional
( p q) ( q p )
ley condicional
[(
ley distributiva
p q ) q ] [ ( p q ) p]
( p q ) ( q p)
ley ab . parcial
( p q) ( p q )
ley conmutativa
12
Simplifique p ( p q)
p ( p q )
ley condicional
[ p (
ley bicondicional
p q ) ] [( p q ) p ]
40
[p(
p q ) ] [ ( p q ) p]
[p(
p q ) ] [ ( p q ) p]
[( p p) q ] [( p q ) p]
ley asociativa
[ T q ] [ ( p q ) ]
leyes :negacin+ ab . parcial+conmutativa
T ( p q )
ley dominacin
pq
ley identidad
13
[ ( p q ) ( q p ) ] ( p q) q
[ (
p q ) ( q p ) ] ( p q)
ley condicional
[ (
p q ) ( q p ) ] ( p q)
ley condicional
[(
p q ) ( q p ) ] ( p q)
leyes :doble negacin+ DM
[ p (q ( q p ))]( p q)
ley asociativa
[ p q ]( p q)
ley ab . total
[( p q) p][( p q) q]
ley distributiva
[( p q) p][q ]
ley ab . total
[q p][q ]
ley ab . parcial
ley ab . total
14
( p q ) (q p) p q
( p q ) ( q p)
( p q ) (q p)
p[q (q p)]
ley asociativa
p q
ley ab . total
41
15
q ( p q) p q
p
q [ ( q ) ]
ley condicional
q [ ( p q ) ]
ley doble negacin
( q p ) (q q )
ley distributiva
(q p) F
ley de negacin
q p
ley identidad
p q
ley conmutativa
16
Pruebe que ( ( p q ) r ) ( r p ) q es una tautologa

{[ ( p q ) r ] ( r p ) }q
orden de operadores
{[ ( p q ) r ] ( r p ) } q
ley condicional
{[ ( p q) r ] ( r p ) } q
( p q) r
r p } q
ley asociativa
{[ ]
{[ ( p q) r ] p } q
p q
ley ab . parcial
ley asociativa
[ ( p ) ] r q
[(q p) r ] q
ley ab . parcial
[(q p) r ] q
ley condicional
( q p r ) q
( q q ) ( p r )
ley asociativa
T ( p r)
ley de negacin
ley dominacin
17
Pruebe que ( p q ) ( q r ) ( p r ) es una tautologa
42
[( p q ) ( q r ) ] ( p r )
[ ( p q ) ( q r ) ] ( p r )
orden de operadores
ley condicional
[ ( p q ) ( q r ) ] ( p r )
ley DM
[( p q ) (q r )] ( p r )
ley de equivalencia : ( p q ) p q
( q r ) q r
[( p q ) (q r )] ( p r )
ley condicional
[( p q ) (q r ) p]r
ley asociativa
[( p q ) p (q r)]r
ley conmutativa
[ ( p q)
ley asociativa
p ] [(q r )]r
p p
( q p() ] [(q r) ( r r )]
ley dist ributiva
[ T ( q p)] [(q r )T ]
ley de negacin
( q p)( q r )
ley identidad
( q q)( p r )
ley asociativa
T ( p r)
ley de negacin
ley dominacin
18
Pruebe que [ p ( q s ) ] [ p ( p q ) ] ( s p ) es una tautologa
{[ p ( q s ) ] [ p ( p q ) ] } ( s p )
orden de operadores
{[ ( p q ) ( p s)] [
leyes :condicional+ distributiva
p ( p q) ] } ( s p)
p q
[ ( p q ) ( p s) ] [ p } ( s p )
ley condicional
{[ ( p q ) ( p s) ] [ (
p p) q ] } ( s p )
ley asociativa
{[ ( p q ) ( p s) ] (
p q) } ( s p )
ley idempotencia
{[ ( p q ) ( p s) ] ( p q) } ( s p )
ley DM
{[ ( p q) ( p s ) ] } ( s p )
ley ab . parcial
43
ley condicional
[ ( p q) ( p s ) ] ( s p )
[( p q ) ( p s ) ] ( s p )
( p q) ( p s ) ( p s )
leyes :asociativa+ conmutativa
( p q)T
ley negacin
ley dominacin
19
Deduzcala equivalencia p ( q r ) ( p q ) ( p r)
( p q ) ( p r )
expresin atransformar
( p q ) ( p r )
p ( q r )
ley distributiva
p ( q r )
ley condicional
20
Dada p {q [ r ( s r ) ] } , determine una frmula que es lgicamente equivalente y ala
cual se puede llegar por simplificacinalgebraica .
( A ) p [ ( q r ) ( q s ) ] ( B ) [(q r ) (q s)] p
(q r)( q s) p
( C ) [ ( q r ) ( q s ) ] p ( D )
( E ) [ (q r ) (q s)] p
21
En cul de los ejemplos vemos una aplicacin de laley de dominacin ?
( A ) [ ( p q ) r ] {[( p q )( p q)]r }
( B ) {[ ( p p ) ( p p ) ] ( r r ) } {[( p p) T ] (r r )}
( C ) {[ ( p T ) ( p T ) ] ( r F ) } {[ p ( p T ) ](r F)}
44
( D ) {[ ( p T ) ( p T ) ] ( r F ) } {[(p T ) T ] ( r F ) }
( E ) {[ ( p T ) ( p T ) ] ( r r ) } {[( p T ) T ] F }
22
Considere p ( q r ) .
Cu l expresi n es equivalente nicamente por aplicaci n de la
( A ) ( p q ) ( p r )
( B )( p p ) ( q r )
( C ) p ( q r )
( D ) p [ ( p q ) ( p r ) ]
ley distributiva?
( E ) ( p q ) ( p r )
23
Si Patty no va alcine o Patty va al cine , pero no va con falda ,implica que no va al cine pero tiene
puesta su falda . La proposicin equivale a :

A Patty va al cine B Patty no va al cineC Patty tiene puesta su falda
D Patty nolleva puesta su falda E Es una tautologa

Sean ,
p: Patty va al cine q : Patty tiene puesta su falda
La proposicin resultante del enunciado dado es : {[ ( p p ) q ] p } q
{[ T q ] p } q
ley de negacin
{ q p } q
ley identidad
{ q p } q
( q q) ( q p)
ley distributiva
q ( q p)
ley idempotencia
( q T ) ( q p )
ley identidad
q (T p )
ley distributiva
q T
ley dominacin
ley identidad
(Patty tiene puesta su falda)
24
45
Si hoy hace calor , me pondr un pantaln blanco ; y que no me ponga el pantalnblanco es condi
cin necesaria y suficiente para que hoy haga calor .

Esta proposicinequivale a :
A Hoy me pondr un pantalnblanco B Hoy no hace calor

C Hoy no hace calor y usar un pantaln blanco D Hoy no me pondr un pantaln blanco
E Hoy hace calor

Sean ,
p: Hoy hace calor q : Hoy me pond r un pantaln blanco
Luego ,la proposicin que resulta del enunciado ser : ( p q ) ( q p )
( p q ) [( q p ) ( p q ) ]
ley bicondicional
( q p)
( p q)
ley condicional
(q p)
( p q)
ley doble negacin
[(
p q) (q p )] ( p q )
ley asociativa
[(
p p ) q ] ( p q )
ley distributiva
[ F q ] ( p q )
ley de negacin
q ( p q )
ley identidad
q p
ley ab . parcial
pq
ley conmutativa
(Hoy no hace calor y usar pantalnblanco)

25
Definimos elconectivo , como : p q ( p q ) ( p q ) .

Luego ,la frmula ( p q ) p , equivale a: A p q B p q C p q D q E p
Utilizando la definicin dada:( p q) p [( p q)( p q)] p
{[( p q)( p q)] p } { [( p q)( p q)] p }
{[( p q) q][( p q) p]} { ( p q ) ( p q) p }
Leyes : Distributiva+ DM
Leyes :Conmutativa+ DM
( p q)( p p q)} {( p q)( p q) p }

{
Leyes :negacin+asociativa
{( p q)(T p)}{( p q) p ( p q)}
Leyes : Identidad +ab . parcial

46
{( p q) T }{ p ( p q) }
{ p q }{ p q }
{ p p } q
Ley distributiva
F q
Ley negacin
Identidad
26
Pruebe que ( q r ) (q r) es una contradiccin
( q r ) (q r)
equivalencia de ( q r ) (q r)
[ ( q r ) ( r q ) ] (q r )
ley bicondicional
[(
ley condicional
q r ) ( r q ) ] (q r)
[ ( q r ) ( r q ) ] (q r )
[((q
ley distributiva
r ) r ) ( ( q r ) q ) ] (q r )
[ ( q r ) (
r q ) ] (q r )
ley ab . parcial
[( q r ) q r ( r q ) ]
ley asociativa
q (r q)
leyes :ab . total+ ab . parcial
(q q) r
ley asociativa
F r
ley negacin
ley dominacin
EJERCICIOS
Complete los pasos que faltan en la demostracin incompleta de la ley de absorcin .

p( p q) p
p( p q)
( p F ) ( p q ) ley identidad
47
distributiva
ley
pley
Completar cada lnea en esta demostracinalgebraica de que [ ( p q ) p ] q , es una
La aparicin de y indica que usted debe escribir los nombres de dos

tautologa .
leyes que se han aplicado simultneamente :
[ ( p q ) p ] q [( p p)(q p)] q
48

[ (q p)] q
(q p)q
ley de identidad
(q p) q
ley condicional
(q p)q
(q q) p
49
ley de dominacin
Dadas , I ( p q ) ( p q)II ( p q ) ( p q) III ( p q ) ( p q)
Cul ( es ) es ( son ) una contradiccin? (Slo III )

La proposicin ( p q ) ( q r ) es equivalente a cul ( es ) proposicin ( es ) ?(Todas)
a p ( p r ) ( q ) b p ( q ) [ ( q r ) ] c ( p q ) [(p r)q ]
Cules proposiciones son tautologas ?(Todas)
a [ ( p q ) q ] p b [( p q ) q ] q c [ ( p ) ( q r ) ] [( q p) ( p r )]
Simplifique [ ( p ) q ( r r ) ] ( q ) : q
Simplifique [ ( q p ) ( p q ) ] ( p q ) : q
Alguna de las proposiciones es tautologa ?(Slo c)
a [ ( ( p q )) q ] ( p q ) b [ ( p ) q ] ( p q )
p }( p q)
c {(p q)
Si p q se define por p q , entonces ( p q ) a cul es equivalente? (Slo b)
a [ ( p ) q ] (q p) b [ ( p ) q ] [ ( q ) p]
Determine el equivalente ms simple de
c [ ( p ) ( q ) ] ( p q)
( p q ) [ ( p q ) p ] .
A ( p q ) B p q C p q D q p E p q
50
p
( p q )
ley conmutativa
( p q ) [ p q ]
ley ab . parcial
[( p q) p]q
ley asociativa
[ p (p q)]q
ley conmutativa
p q
ley ab . total
q p
ley conmutativa
q p
ley condicional
Cul es el equivalente ms simple de ( p q ) ( p q ) ?

A q B q C p D p E p q
( p q ) ( p q)
ley condicional
( p q) ( p q )
[( p q) p ]( p q) q
ley distributiva
[ p q ]q
leyes :ab . parcial+ab . total
ley ab . total
Simplifique [( p q)] ( q p ) ( p q )
A p B q C p D q E p q
( p q) ( q p ) ( p q )
ley condicional
( p q) ( q p ) ( p q )
[(( p q ) q) p] ( p q )
ley asociativa
[ q p] ( p q )
ley ab . total
[ q p] ( p q )
ley DM
q ( p p)
ley distributiva
q F
ley negacin
ley identidad
Simplifique [ ( p q ) q ] ()
51
A p q B p q C p q D p q E p q
[ ( p q ) q ]
ley condicional
[( p q ) q]
p q ( p q )
ley de equivalencia
[ ( p q ) ( q p ) ] q
ley bicondicional
[ ( p q ) ( q p)]q
ley DM
( p q) q
ley condicional
[ ( p q ) (q p)] q
[ ( p q ) q ] [(q p)q ]
ley distributiva
( p F ) (q p)
leyes :asociativa+ negacin+idempotencia
F ( p q)
leyes :dominacin+ conmutativa
pq
ley identidad
( ) El operador
tiene el mismo significado que el operador .
ARGUMENTO
Unargumento es una afirmacin de que , de un conjunto de proposiciones dado P1 , P 2 , .. , Pn ,

llamadas premisas , se deduce otra proposicinC ,llamada conclusin .
Unargumento se presenta as : P1 , P2 , .. , Pn C .
Notacin de un
argumento lgico
argumento vlido
( AV ) :
TEOREMA
Unargumento P1 , P2 ,.. , Pn C es vlido siC es T , sitodas las premisas P1 , P2 , .., Pn son T .
Se denomina
falacia
a todo
argumento no vlido (ANV )
errneo .
TEOREMA
El argumento P1 , P2 ,.. , Pn C es vlido , si y slo si , P1 P 2 .. Pn C , es una tautologa.
Demostracin
52
Las proposiciones ( premisas ) P1 , P2 , .., Pn son T simultneamente , si y slo si ,

P1 P 2 .. Pn es T .
As que , el argumento P1 P2 .. P n C es vlido ( AV ) siC es T siempre que P1 P2 .. Pn , es T ,
o de forma equivalente , si la proposicin P1 P2 .. P n C es una tautologa .
Una de las ms importantes tareas de unlgico es poner a prueba los argumentos .
Por argumento , queremos decir , afirmacin de que ,una cierta proposicin ( conclusin ) , se
infiere de otras proposiciones ( premisas ) .
Unargumento ser vlido ( AV ), si laconjuncin de las premisas ,implica la conclusin , es decir , si
las premisas son todasT ,la conclusin debe ser tambinT .
Es importante percatarse de que , la verdad de la conclusin , es independiente de la prueba de

validez del argumento.
Unaconclusin T no es necesariasuficiente para lavalidez de los argumentos . Los ejemplos

que siguenmuestran esto , y tambin la forma en que estableceremoslos argumentos .
1 :las premisas (P) 2 :la conclusin(C)

(1)
Si Venezuela es una democracia , sus ciudadanos tienen derecho a votar QUOTE

Sus ciudadanos tienen derecho a votar
Por lo tanto , Venezuela es una democracia

ConclusinT , pero ANV . RAZN : C no se infiere de las P
(2)
Para pasar este curso tienes que ser un genio
Todo jugador del equipode ftbol ha pasado este curso

El capitn del equipo de ftbol no es un genio
Por lo tanto , el capitn del equipo de ftbol no juega en el equipo

Conclusin F , pero AV . RAZN :C se infiere de las P
53
Si nos damos cuenta que la1 premisa es F ,la paradoja desaparece .
Nohay nada sorprendente en la correctadeduccin de una conclusin F a partir de premisas F .

Si un argumento es vlido , entonces la conjuncin de las premisas implica laconclusin . Por eso ,
si todas las premisas son T , entoncestambin la conclusin es T .

Pero , si son F una o ms de las
de las premisas , de modo que laconjuncin de todas las premisas
es F , entoncesla conclusin puede ser T o F .
Podran todaslas premisas ser F , la conclusinT , y el AV , comoel ejemplo siguiente hace ver .
(3)
Todos los perros tienen2 patas
Todos los animales de 2 patas son carnvoros

Por lo tanto , todos los perros son carnvoros
ConclusinT y AV . RAZN : Ambas premisas son F

Cadauno de estos ejemplos subraya elhecho de que ,el valor veritativo , elcontenido de las
proposiciones que figuran en un argumento , afectan su validez .

NOTA
Unargumento es vlido ( AV ) , si y slo si , no existe ninguna valuacin bajo la cual todaslas

premisas sean T y laconclusin sea F .
Veamos cmo se determina la validez de un argumento, mediante el uso de tres mtodos .
( 1 ) MTODO DE LA TABLA DE VERDAD

Veamosla utilizacin de las tablas de verdad para afrontar problemaslgicos medianteun
verdadero y apropiado clculo .Consideraremos , para empezar , el siguiente argumento :
Sillueve , voy atu casa . Llueve. Por lo tanto , voy a tuc asa
Al transcribirlo allenguaje simblico tomala forma :(p q) p q
Segn la tabla de verdad , una proposicin p implicatautolgicamente una proposicinq si y slo

54
si lacondicional p q es una tautologa. Unargumento es vlido ( AV ) , si implica laconclusin .

Si nos fijamos detenidamente en la traduccin delargumento , podemos ver que corresponde a
una condicional .
Por tanto , si podemos demostrar que lacondicional correspondiente es una tautologa, diremos
que el argumento es vlido( AV ).
Por consiguien te , someteremos a prueba el argumento anterior :

p
T
T
F
F
pQUOTE
q
( p
QUOTE
q)
[( pQUOTE
p
q) p ] q
T
F
T
F
T
F
T
T
T
F
F
F
T
T
T
T
Siendo la conclusin una implicacin tautolgica , podemos concluir que el argumento es vlido .
As ,mediante la tabla de verdad podemos demostrar la validez o invalidez de un argumento.
Traduzca el argumento y demuestre su validez mediante la tabla de verdad .

O construimos la paz o generamos violencia. Si construyramos la paz ,cumpliramos nuestra
palabra. Por lotanto , si no cumplimos nuestra palabra , generamos violencia.

PROCEDIMIENTO(Modus Operandi)
1. Se reemplaza cada proposicin simple ( atmica ) por una variable( p , q , r , s ,t):

p:Construimos la paz q :Generamos violenciar :Cumpliramos nuestra palabra
2. Las premisas se enlazan con el conector conjuncin ( ) ,representando ellas el antecedente o

hiptesis ( H ) de la condicional . La tesis ( conclusin ) , constituye elconsecuente .
3. Se transcribe al lenguaje simblico :[( p q) ( p r ) ]( r q)
4. Construimos la tabla de verdad correspondiente . Sila ltima columna de latabla de verdad es
T , entonces AV . En caso de que no sea as , entonc es ANV (falacia ).

5. Si AV ,la condicional correspondiente es una tautologa .
p
T
T
T
T
F
F
q
T
T
F
F
T
T
QUOTE
p qr
T
F
T
F
T
F
F
F
T
T
T
T
r
F
T
F
T
F
T
( p r )
T
F
T
F
T
T
( p q) ( p r() r q)
F
F
T
F
T
T
T
T
T
F
T
T
55
pq
[ ( p r ) ] ( r q )
T
T
T
T
T
T
F F T F
F
T
F F F F
T
T
AV . La condicional es unatautologa .
F
F
T
F
T
T
Formaliceel argumento y diga sies vlido .

Sino hay control de nacimientos , entoncesla poblacin crece ilimitadamente .
Pero sila poblacin crece ilimitadamente , aumentar el ndice de pobreza .

Luego , si no hay control de nacimientos , aumentar elndice de pobreza .
p: Hay control de nacimientos q : La poblacincrece ilimitadamente

r : Aumenta el ndice de pobreza
P1 : p q
P2 :q r
C : p r
Argumento en lenguaje simblico :( p q) (q r)( p r )
P1
p
QUOTE
r qp
pq
P2
qr
T T T
F
T
T
T T F
F
T
F
T F T
F
T
T
T F F
F
T
T
F T T
T
T
T
F T F
T
T
F
F F T
T
F
T
F F F
T
F
T
AV . La condicionales unatautologa .
P1 P 2
pr
T
T
T
T
T
F
T
F
P1 P 2 C
P1 P 2 P1 P 2 C
T
F
T
T
T
F
F
F
T
T
T
T
T
T
T
T
Formalice los argumentos . Cules son vlidos y cules no ?
1 Siel mayordomo es el asesino , se pondr nervioso cuando lo interroguen.

El mayordomo no se puso nervioso cuando lo interrogaron . Ergo ,el ma yordomo es elasesino .
p: El mayordomo es el asesino q : El mayordomo se puso nervioso cuando lo interrogaron

1. p q
2. q
56
3. p
Argumento en lenguaje simb lico :( p q) q p
P1
p
P1 P 2
P2
p q
( p q) q
P1 P 2 C
C
( p q) q p
T T
T
F
F
T
T F
F
T
F
T
F T
T
F
F
F
F F
T
T
T
F
ANV . La condicional no es una tautologa .
T
T
T
F
2 SiTorcuato se casa , Florinda se tira al tren . Florinda se tira al tren , slo si Torcuato se hace
cura . Ergo , siTorcuato se casa , no se hace cura .

p:Torcuato se casa q : Florinda se tira al tren r :Torcuato se hace cura
1. p q
2. q r
3. p r
Argumento en lenguaje simblico :[( p q)(q r )]( p r)

P1
p
p q
P1 P 2
P2
r
qr
( p q) (q r)
T T T
T
F
T
T T F
T
T
F
T F T
F
F
T
T F F
F
T
T
F T T
T
F
T
F T F
T
T
F
F F T
T
F
T
F F F
T
T
T
ANV . La condicional no es una tautologa .
T
F
F
F
T
T
T
T
P1 P 2 C
C
p r
F
T
F
T
T
T
T
T
[( p q) (q r)]( p r )
F
T
T
T
T
T
T
T
3 Si Dios no existe ,todo estar permitido . Si Dios no existe , no habra normas morales .
Es as que hay normas morales . Luego , Dios existe .(Hermanos Karamasov F . Dostoievsky)
p: Dios existe q : Todo estar permitido r : Habra normas morales
57
1. p q
2. p r
3. r
4. p
Argumento en lenguaje simblico : [ ( p q ) ( p r ) ( r ) ] p

P1
P2
P3
P1 P 2 P3 C
p
pq
p r
T T T F
F
T
T
T T F F
T
T
T
T F T F
F
T
T
T F F F
T
T
T
F T T T
F
T
F
F T F T
T
T
T
F F T T
F
F
F
F F F T
T
F
T
AV . La condicionales unatautologa .
P1 P 2 P3
T
F
T
F
T
F
T
F
T
F
T
F
F
F
F
F
[(
p q )( p r )(r )] p
T
T
T
T
F
F
F
F
T
T
T
T
T
T
T
T
( 2 ) MTODO DIRECTO POR ASIGNACIN DE VALORES ( MDAV )

Si el nmero de proposiciones es superior a 3,usar el mtodo de la tabla de verdad , resulta poco
prctico , puesto que latabla de verdad se hac e muy extensa.
Luego , es poco recomen dable , en estas circunstancias .

Veamos otro mtodo , conocido como M todo D irecto por A signacin de V alores MDAV .
1 Consiste en asignar el valor T a cada premisa .

2 Deducir el valor de cada una de las variables proposicionales teniendo en c uentalos valores
de los conectores , , , , , que se pueden presentar en cada premisa .

3 Silos valores que hacen T a cada premisa , hace T a la conclusin , entonces , AV .
En caso de que los valores que hacenT a cada premisa, hagan F a la conclusin , entonces ANV .
Sea la frmula A :[( p (q r ))(s q )(t r)(p t)]q
Esto , de acuerdo conla definicin , es cierto si y slo si el condicional ( P1 P2 P 3 P 4 ) Q , es

una tautologa, es decir , si y slo si la frmula siguiente es una tautologa:
58
A :[( p (q r)) ( s q)(t r )( p t)] q
Es posible establecer que A es o no una tautologa, sin necesidad de hacer latabla de verdad
completa con sus 32 interpretaciones( filas).
En efecto , es suficiente considerar lasinterpretaciones en las cuales cada premisatiene valor T ,

porque si alguna tiene valor F , entonces el valor delantecedente es F , y , en tal caso , v ( A )=T .
Por esto se supone que v ( Pi ) =T para cada premisa Pi y se procede a calcular el valor de verdad
del consecuente .
Si este es T ,la frmula es una tautologa .
Enla 1a lnea del arreglo siguiente hemos asignadoel valor T al conectivo principal de cada pre
misa , paraindicar que ella es T . El subndice 1indica que esta ha sidola 1a asignacin de valores
de verdad ; adems , usamos el mismo subndice , en cada premisa , para indicar que laasignacin
ha sido simultnea.
[( p( q r ))(s q)(t r)( p t )] q

T1 T1 T1 T1
Luego , procuramos establecer qu valores deben tener las subfrmulas de cada premisa , a fin
de tener el valor T asignado.

Recuerde que si se trata de un condicional , A B ,hay para ello tres interpretaciones posibles :
T T , FT , FF .
Entonces , considerar cada posibilidad , para cada condicional ,hara el proceso ms complicado
que elaborar latabla completa. Por estarazn ,continuamos el proceso de asignacin de valores
con la conjuncin ( p t ) que presenta una solaopcin .
En efecto , v ( p t)=T si y slo si v ( p)=T y v (t)=T .
Esta inferencia se agrega al paso anterior , como se ve a continuacin. El ndice 2indica que
a
esta ha sido la 2 inferencia en el proceso .

[( p( q r ))(s q)(t r)( p t )] q
T1 T1 T1 T2 T1 T 2
Seguidamente , trasladamos los valores obtenidos de p y t alas frmulas que loscontienen ,
59
identificados con el subndice 3, como se ve a continuacin :
[( p( q r ))(s q)(t r)( p t )] q

T3
T1 T1 T3 T 1T 2T 1T 2
er
er
En1 y 3 condicionales , de izquierda a derecha, se conoce el valor del condicional y el de su

antecedente . En ambos casos, se tiene un condicional T con antecedente T ,lo cual exige que el
consecuente tenga el valor T .

Estas infer encias se incorporan aldesarrollo , indicadas con el subndice 4.
Tenga presenteque en el condicional t r , la subfrmulaque tiene valor T es r .

Por lo tanto T 4 va directamente debajodel smbolo .
[( p( q r ))(s q)(t r)( p t )] q
T3
T1 T 4 F6 T1 T3 T1 T 4 F5T 2T 1T 2
Al llegar a este punto ,tenemos dos subfrmulas con valor conocido para continuar el anlisis:
(q r)
y r.
Como v ( q r )=T origina varias opciones , escogemos v ( r )=T , de la que se infiere , en5 lugar ,
que v (r )=F . Trasladamos este resultado a r como F6 en la disyuncin(q r):
[( p (q r )) (s
T3
q ) ( t r ) ( p t ) ] q
T1 T7 T 4 F6 T1 T3 T 1T 4 F5 T2 T1 T2
Finalmente , de v ( q r )=T pero v ( r )=F , se concluye que v ( q )=T , valor que registramosen la
estructura anterior de valores de verdad como T 7 . Tenemos entonces :
[( p (q r )) (s
T3
q ) ( t r ) ( p t ) ] q ()
T1 T7 T 4 F6 T1 T3 T 1T 4 F5 T2 T1 T2 T7
Hemos llegado as ala conclusin de que lasinterpretaciones que hacenT el antecedente hacen
T el consecuente q . Entonces , el condicional es unatautologa y , por lotanto , q es consecuencia

lgica del conjunto dado de premisas , es decir : { p q r , s q ,t r , p t } q
Enla prctica ,el proceso de asignacin se hace en unrengln , que se ver finalmente como().
60
Es indispensableindicar con subndices el orden de las inferencias parciales para que , de ser
necesario , usted mismo , o alguien que lee su trabajo , pueda reconstruir el proceso .
Hemos probadoque el condicional es unatautologa , considerando slo lasinterpretaciones
que hacen T las subfrmulas del antecedente y mostrando que , para ellas , el consecuente , tiene
que ser T : [ ( p ( q r ) ) ( s q ) ( t r ) ( p t ) ] q
EJEMPLO
Utilice el MDAV para establecer lavalidez del argumento siguiente :
El alza en los pre cios del petrleo es imparable . Esto obligar a disminuir los niveles de consumo
mundial de petrleo o a incrementar la produccin de biocombustibles .
Todo indica , sin embargo , que el mundo no est dispuesto a disminuir los niveles de consumo de
petrleo . La otra cara de la moneda es que el incremento en la produccin de biocombustibles
obliga a dedicar cada vez mstierra a cultivos aprovechables para la produccin de bi ocombusti
bles . Esto traer , como consecuencia ,alzas exageradas en los precios de alimentos bsicos para
consumo humano. Lo anterior muestra que el mundoexperimentar alzas exageradas enlos pre
cios de los alimentos bsicos para laespecie humana .
En primer lugar , representaremos con variables , las proposiciones atmicas que intervienen en
el argumento :
p: El alza en los precios del petrleo es imparable

q : Disminuir el consumo mundial de petrleo
r :Se incrementar la produccin de biocombustibles

s :Se dedicarnms tierras a cultivos aprovechables para la produccin de biocombustibles
t : Habr alzas exageradas en los precios de los alimentos bsicos para consumo humano
En elejemplo se afirm que de este grupo de premisas se deduce como consecuencia lgica que
habr alzas exageradas en los precios de losalimentos bsicos para consumo humano .
Esto , de acuerdo conla definicin , es cierto si y slo si el condicional
es una
tautologa ,
esto es , si y slo sila frmula es una tautologa:
61
P 1 P 2 P3 P 4 P5 q
[( p)( p( q r ))( q)(r s) (s t)] t
T1 T1 T1 T1 T1
En1 lnea del arreglo siguiente hemos asignado el valor T al conectivo principal de cada premi
sa , para indicar que ella es T .
El subndice 1indica que estaha sidola 1a asignacin de valores de verdad ; adems , usamos el
mismo subndice en cada premisa para indicar que laasignacin ha sido simultnea .
Enlas premisas1 y 3,
no hay conectivos (son atmicas) , es decir , v ( p)=T , v( q)=T .
De estaltima v ( q)=F .
Trasladamos estos valores veritativos de p y q donde aparezcan. As :
[(p) ( p ( q r )) (~ q ) (r s) (s t)] t
T1
T2
T1
F2
T3
T2
T1
F2
T3
T1
T4
T4
T1
Enla 2 premisa ,
Trasladamos
en el consecuente v (r )=T , ya que v (q)=F .

v (r)=T
a todaslas subfrmulas en que est presente
[(p) (p (q r)) (~ q) (r
T2
T2
T1
F2
T3
T2
Enla 4 premisa
[(p) (p
T2
T5
r.
As :
s) (s t)] t
T1
F2
T3
T1
T4
T4
T1
si v (r)=T , v (s)=T , puesto que es una condicional .
(q r)) (~ q) (r
T2
T1
F2
T3
T2
s) (s t)] t
T1
F2
T3
T1
T4
T4
T1
T5
Enla 5 premisa,
al ser v (s)=T , entonces v (t )=T .
Hemos probadoque el condicionales unatautologa , considerando slo lasinterpretaciones

que hacen T las subfrmulas del antecedente y mostrando que , para ellas , el consecuente tiene
que ser T .
[(p) (p (q
T2
T2
T5
r)) (~ q) (r s) (s
T1
F2
T3
T2
T1
F2
T5
62
t)] t
T3
T1
T4
T4
T1
EJERCICIO
Establezca lavalidez del argumento :( p q )(q r) ( r) p
( p q)(q r )( r ) p
T4
ANV .
T1
T3
T3
T1
F2
T1
F2
F5 T 4
Los valores que hacen T las premisas , no hacen T laconclusin .
Es decir , el condicional no es una tautologa .
EJERCICIOS
Mediante MDAV determine lavalidez de los argumentos .
1 r ( p q)( AV )2 [ ( p q ) q ] p( ANV )
3 [ p ( q r ) ] [ r s ] [ s ] p ( AV ) 4 [ ( p q ) ( q r ) ( r ) ] p (AV )
5 [ p ( q r ) ] [ r s ] [ s ] p ( ANV ) 6 [ ( p s ) ( p r ) ( r ) ] ( p ) ( AV )
7 {[( p q) r ][s (r t)](t v) (s v)}( p q )( AV )
( 3 ) MTODO INDIRECTO POR ASIGNACIN DE VALORES (MIAV )

El MDAV que acabamos de analizar consiste en lo siguiente :
1 Asignar el valor T a cada premisa .
2 Deducir el valor de c / u de las variables proposicionales teniendo en cuentalos valores de los

conectores , , , , , que se pueden pr esentar en cada premisa .
3 Silos valores que hacen T a cada premisa , hace T a la conclusin , entonces , AV . En caso de que
los
valores que hacen T a cada premisa , hagan F a la conclusin ,entonces ANV .
P Q
T TT
Si los valores que hacen T a las premisas , hacen T la conclusin , entonces AV .
Si los valores que hacen T a las premisas , hacen F la conclusin , entonces ANV .
El MIAV , supone que elcondicional no es unatautologa , es decir , que existe , por lomenos , una
interpretacin para lacual el condicional es F .

Esto significa que suponemos que la conclusin ( tesis ) es F y las premisas ( hiptesis ) son T .
63
Entonces , suponemos que laconclusin Q es F .
P Q
T FF
A partir de este supuesto , desarrollamos un proceso hacia atrs ( ) .

Si , en algn momento , se llega auna inconsistencia , es porque tal interpre tacin no existe y , en
consecuencia , el condicional s es unatautologa .

Si no se llega a unainconsistencia , habremos mostrado que el condicional no es una tautologa.
Haremos un anlisisal argumento ( p1 p 2 p n ) q mediante los siguientes pasos :

1 Asignar el valor F ala conclusin q , y T a cada una de las premisas p1 , p 2 , , pn
( p1 p 2 p n ) q
T F F
2 Deducir el valor de c / u de las variables proposicionales teniendo en cuentalos valores de los
conectores , , , , .
3 Silos valores de las variables proposicionales cumplen con la definicin de los conectores , se
dice que , no hay inconsistencia . Luego , ANV .

4 Silos valores de las variables proposicionales incumplen con ladefinicin de los conectores ,
se dice que , s hay inconsistencia . Luego , AV .
Veamosla aplicacin del MIAV

1.
Analizar el argumento [ ( p r ) ( q r ) ] [ ( p q ) r ]
[ ( p r ) ( q r ) ] [ ( p q ) r ]
TTF
Analizamos la conclusin
( p q) r
TFF
r F . No sabemos los valores veritativos de p y q
Analizamos las premisas

64
2a q r
FT F qF
1a p r
FT F pF
Estos valores de p y q ( ambos F ) , soninconsistentes , ya que p q T . Por lotanto , AV .
Analizar el argumento [ ( p q ) ( p r ) ( p q ) ] ( p r )
2.
[( p q )(
p r ) ( p q ) ] ( p r )
TTT F
p r
FFF
p F ; r F
3a p q
FT T
2a p r
T T F ()
1a p q
FT F
Hay inconsistencia ( ) . Por lotanto , AV .
3.
[(
Analizar el argumento
[(
p ( p r ) ) ( r s ) ] ( s p )
p ( q r ) ) ( r s) ] ( s p )
TTF
s p
TFF

1a p ( p r )
65
p r F p F ;r F
FT F
2a r s
F T T r F ;s T , F
Nohay inconsistencia . Por lo tanto , ANV .
4. Demostrar la validez del argumento [ ( p q ) ( ( q p ) r ) ] r
[ ( p
q ) ( ( q p ) r ) ] r
TT F
r F
2a ( q p ) r
T F F T F q T ; p F
1a p q
F T F ()
Hay inconsistencia ( ) ya que F F F , cuando debe ser T . Por lo tanto , AV .
5. Demostrar la validez del argumento [ ( p q ) ( p ) ] q
[ ( p q ) ( p) ] q
TT F
qF
a
2 pT
a
1 pq
()
TT F
Hay inconsistencia ( ) . Por lotanto , AV .
6. Demostrar la validez delargumento [ ( p q ) ( q ) ] p
66
[ ( p q )( q)] p
TT F
p F

2a q T
1a p q
FT T

7. Demostrar la validez del argumento [ ( p q )( r s ) ( q s ) ] ( p r )
[ ( p q )( r s )(
q s ) ] ( p r )
TTT F
p r
TFF
p T ; r F

1a p q
TTT
3a q s
TTT
a
2 r s
FT F
Establezca lavalidez , mediante MIAV de los argumentos siguientes .
67
P1
( p q ) ( r s)
P2
( p r ) (q s)
P3
( ANV )
p q
P1
P2
p (r q )
P3
( s r ) q
P4
( AV )
P1
p q
P2
p r
r q
( AV )
Llene los espacios provistos en cada caso , para obtener frmulas lgicamente equivalentes con
la frmula r s . Nouse dobles negaciones(
(a)
(b)
A) .

(c )
( a ) s r ( b ) r s(c ) ( r s )
Considere el texto :
Slo con un uso adecuado del poder y con una interpretacinapropiada de la voluntad del pue
blo ,una democracia es verdaderamente legtima ; s i es cierta la anterior afirmacin , entonces
hay un uso adecuado del poder o no habr reeleccin .

Simbolice eltexto conlos tomos p , q , r , s ,en elmismo orden en que aparecen .
cul de las opciones es una representacin simblica de ese texto ?

A
{[ ( p q ) r ] [ ( p
s ) ( p s)]}
{[ r ( p q ) ] ( p s ) }
68
{[ r ( p q ) ] ( p
s )}
{[ ( p q ) r ] ( p
{[ ( p q ) r ] ( p s ) }
{[ r ( p q ) ] (
{[ r ( p q ) ] (
{[ p ( q r ) ] ( p r ) }
p s )}
s )}
p s )}
No es cierto que el nuevo equipo sea un equipo ganador , como tampoco es cierto que el nuevo
tcnico sea responsable. Sila afirmacin anterior es verdadera , entonces es falso que , si el nue
vo equipo no es un equipo ganador entonces e l nuevo tcnico es responsable .
Simbolice las proposiciones atmicas deltexto mediante los tomos p , q , r ,.. en el mismo orden
de aparicin , cul de las opciones es una representacin simblica del texto ?
( A ) [ ( p q ) ( p q ) ]
( E ) [ ( p q) ( p q ) ]
( B ) [ ( p q ) ( p q ) ]
( F ) [ ( p q) ( p q) ]
( C ) [ ( p q ) ( p q) ]
( G ) [ ( p q ) ( p q ) ]
( D ) [( p q ) ( p q ) ]
( H ) {( p q )
[ ( p q ) ] }
Si alguien no tiene paciencia , entonces obtendr beneficiosa corto plazo . Adems, sucedeque
alguien tiene paciencia o tiene carisma . Por otra parte ,una personano obtendr beneficios a
corto plazo o al menos no es el caso que tenga carisma . En consecuencia ,tiene paciencia .
Simbolice mediante p , q , r ,.. , en el mismo orden en que aparecen en el argumento.
cul de las opciones es una representacin simblica del argumento?

A [ ( p q ) ( p r ) ( p r ) ] p
[ ( p q ) ( p r ) (
q r )] p
B [ ( p q ) ( p r ) ( p r ) ] p
[ ( p q ) ( p r ) (
q r )] p
C [( p r ) ( p r ) ( q r ) ] p
G [ ( p q ) ( p r ) ( q r ) ] p
D [ ( p q ) ( p r ) ] [ ( q r ) p ]
H {( p q ) ( p r ) [ ( q r ) ( q r ) ] } p
Considere la siguiente afirmacin:

Puede suceder alguna de estas cosas, en primer lugar , eltimerosal causa autismo si y slo si el
autismo es el resultado del envenenamiento c on mercurio ; en segundo lugar , es suficiente que

69
retiren el timerosal de las vacunas para que se reduzcan las tasas de autismo . Siendo :
p: eltimerosal causa autismo

r :retiran eltimerosal de las vacunas
q :el autismo es elresultado del envenenamiento con mercurio

s :se reducenlas
tasas de autismo
Entonces cul es una representacin simblica de la afirmacin anterior ?

A
[( p q )(r s )]
[ ( p q )( q p)] (r s )
[( p q )( s r )]
[ (q p )(r s )] [ (q p) ( r s )]
[( p q )(r s )]
Considere la frmula: { ( p q ) ( q r ) } . Cul afirmacin acerca de esta frmula es correcta?
A El valor de verdad de la frmula es F cuando v ( p )=V , v ( q )=V , y v ( r )=F

B La frmula es una contradiccin
C La frmula es una contingencia, teniendo en cuenta que su valor de verdad es V cuando

v ( p )=F , v ( q )=F , y v ( r )=F , y su valor de verdad es F cuando v ( p )=F , v ( q )=V , v ( r )=V
D El valor de verdad de la frmula slo es F cuando v ( p )=V , v ( q )=V , y v ( r )=V
Supongamos que dos frmulas , A y B , son lgicamente equivalentes . Podemosconcluir que :

A Si lasunimos medianteun condicional ,la frmula resultante seruna contingencia
Si lasunimos medianteun bicondicional , la frmularesultante seruna contradiccin
C Si el valor de verdad de A para cierta asignacin de valores es T , entonces el valor de

verdad de B para lamisma asignacin de valores ser F
D Como A y B tienen los mismos valores de verdad para cada interpretacin ,la frmula
A B es una tautologa
Sea la frmula: p {q [ r ( s r ) ] } . Determine una que sea lgicamente equivalente y a la que
se puede llegar por simplificacin algebraica .

A
p [ ( q r ) ( q s ) ]
[ ( q r ) ( q s ) ]
p
70
[ ( q r ) ( q s ) ]
[ ( q r ) ( q s ) ]
[ ( q r ) ( q s ) ] p
Supongamos que A es una consecuencialgica de B . Podemosconcluir que :
A A y B son lgicamente equivalentes

B A es vlida
C A es verdadera
D Unargumento en el que A constituye las premisas y Bla conclusin es un AV
E Unargumento en el que B constituye las premisas y A la conclusin es un AV

Considere la frmula p ( q r ) .
Cul expresines equivalente a ella nicamente por laaplicacin de la ley distributiva ?
A ( p q ) ( p r )
B
C
( p p ) ( q r )
p (q r)
D p [ ( p p ) ( p r ) ]
E ( p q ) ( p r )
Sea la frmula ( p q ) ( p q ) .
Cul de los textos representa unalectura incorrecta de lafrmula o de una equivalente ?
( p :quiero paz ; q :quiero armona)
A Quiero paz y no armona o quiero armona pero no paz

B
Quiero paz o armona , pero no ambas cosas simultneamente
C Quiero paz o no quiero armona y quiero armona o no quiero paz

D Es falso que , si quiero paz o armona , o es falso que siquiero armona , quiero paz
Cul de las frmulas es una tautologa ?

A
{ ( p q ) ( q s ) } ( s p )
{[ p ( q s ) ] [ p s ] }
71
{[ p ( q s ) ] [ p ( p
{[ ( p q ) ( q q ) ] ( p p ) } ( p q )
{[ ( p q ) ( q p ) ] q } (
q)] } (s p )
q p)
Cul de las frmulas representa este enunciado :

Te ayudo sime devuelves mi calculadora
A
p q
p q
p q
( p :teayudo q :me devuelves mi calculadora) ?
D q p
E ( p q ) ( p q )
APLICACIONES TECNOLGICAS
Lalgica se aplica principalmente en tres aspectos :

1 Las
contingencias
se utilizan para hacer circuitos de automatismo y control.
Las tautologas y contradicciones
para probar la consistencia interna de las argumentaciones .
2 Las reglas de inferencia lgica , se utilizan como prueba de laconsistencia lgica interna en
los algoritmos de computacin .

3 Las propiedades algebraicas y las transformaciones de las sentencias lgicas en funcin de
slo una u otra conectiva . Se utilizan comouna ventaja enla construccin de los circuitos inte
grados ( CI ) comer ciales , ya que stos sloutilizan puertas NOT , y .
MTODO DE DEDUCCIN NATURAL( MDN )

Dosimportantes cuestiones que aparecen en el estudio de las matemticas son :
1 cundo es correctoun argumento (razonamiento)matemtico ?
72
2 qu mtodos se pueden usar para construir argumentos ?
Ahora bien ,un argumento es una secuencia o serie de proposiciones enla que una de ellas ,
llamada conclusin , se infiere de las premisas .
Demostramos que unteorema es T medianteuna secuencia de sentencias que constituyenun

argumento llamado demostracin .
Para construir demostraciones se necesitan mtodos para derivar sentencias nuevas a partir de
las conocid as .
Las sentencias que se utilizan en una demostracin pueden incluir axiomas o postulados , que
son suposiciones que subyacen a lasestructuras matemticas , hiptesis del teoremao teoremas
demostrados previamente .
Las reglas de inferencia , que son los medios usados para deducir conclusiones a partir de otras
afirmaciones ,enlazan los pasos de una demostracin .

Veremos las reglas de inferencia ,lo que ayudar a clarificar cmo construir una demostracin
correcta. Los mtodos de demostracin que se describen a continuacin son import antesno slo
porque se usan para demostrar teoremas matemticos , sino por sus muchas y variadas aplicacio
nes enlas ciencias de computacin. Podemos citar :

Verificacin de que un programa de computacin es correcto
Establecer si un sistema operativo es seguro

Hacer inferencias en elrea de la inteligencia artificial(IA )
Mostrar que las especificacio nes de un sistema son consistentes

Por consiguiente , entender las tcnicas que se utilizan enlas demostraciones es esencial tanto
en las matemticas como en las ciencias de la computacin. Anteriormente usamos el mtodo de

la tabla de verdad , el cual es , en el fondo , un mtodo semnt ico .
La validez o invalidez viene definida mediante el clculo de las funciones de verdad de las pro
posiciones .
Lainferencia ,en cambio , propone un mtodo que , mediante reglas adecuadas , sigue vlidamente
una conclusin partiendo de un conjunto de premisas .
Este paso lgico de las premisas a la conclusin es una deduccin.

La conclusin que se obtiene es una consecuencia lgica de las premisas , si cada paso utilizado
73
para obtener dicha conclusin es permitido por una regla .
Y estas reglas , que permiten concluir vlidamente una conclusin , son la s reglas de inferencia .
El procedimiento es el siguiente :
Se empieza con un conjunto de proposiciones que se denominan premisas .

Luego se aplicanlas reglas de inferencia de manera que nos permiten inferir , de esas premisas ,
una conclusin .
Con el raciocinio , laverdad slo se obtiene si se cumplen las 2 condiciones siguientes :
1 Las premisas han de ser T

2 Las premisas se relacionarnmediante las leyes de la lgica
As , elconocimiento obtenido de proposicionesT preestablecidas , sin recurrir directamente a la

experiencia y aplicando dichas leyes a estas premisas , se denomina conclusin .
QUOTE Las reglas de inferencia lgica son , entre otras:

Modus Ponendo Ponens(MPP): Modo en que afirmando se afirma
Modus Tollendo Tollens ( MTT ): Modo en que negando se niega

Modus Tollendo Ponens (MTP): Modo en que negando se afirma
MODUS PONENDO PONENS ( MPP)

Siuna implicacin es T y ademstambin es T su antecedente , entonces su consecuente es T .
1. p q
2. p
3. q
Laimplicacin es :[( p q) p] q
A Si llego a tiempo, participo en el juego . Llego a tiempo. Luego , participo en el juego .
P1 : Si llego a tiempo , participo en el juego: p q

P2 : Llego atiempo : p
C : Participo en el juego :q
B Si Ivana no estudia , no aprobar el semestre . Ivana no estudia .
Luego , Ivana no aprobar el semestre .

P1 : Si Ivana no estudia ,no aprobar el semestre : p q
74
P2 : Ivana no estudia : p
C : Ivana no aprobar el semestre : q

MODUS TOLLENDO TOLLENS (MTT )
Siuna implicacin es T y su consecuente es F , entonces su antecedente ser F .

1. p q
2. q
3. p
Laimplicacin es :[( p q) q ] p
A Si Elena est estudiando , no est practicando Taichi . Elena est practicando Taichi .
Luego , Elena no est estudiando .
1. p q
2. q
3. p
B Si Ivanano estudia ,reprobar el semestre . Ivana no reprobarel semestre .

Luego , Ivana estudia .
1. p q
2. q
3. p
MODUS TOLLENDO PONENS (MTP)(Silogismo disyuntivo)

Siuna disyuncin es T y una de las proposiciones es F , entoncesla otra proposicin ser T .
1. p q 1. p q
2. p 2. q
3. q 3. p
Laimplicacin es :[( p q) p ]q La implicacin es :[( p q ) q ] p

A Un nmero natural es , primo o compuesto . No es primo . Luego ,es compuesto .
75
B Un nmero natural es , primo o compuesto . Noes compuesto . Luego , es p rimo .
SILOGISMO HIPOTTICO()(SH )
El consecuente de una premisa es el antecedente de otra y as sucesivamente .
La conclusin contiene el antecedente de la 1 y el consecuente de la ltima .

1. p q
2. q r
3. p r
Laimplicacin es :[( p q) (q r)]( p r )
* Esta ley es equivalente ala propiedad transitiva en el lgebra ordinaria: Si a>b ,b> c ,entonces a>c .
A Si el agua se congela, sus molculas forman cristales . Si las molculas forman cristales , el
agua
aumenta de volumen . Luego , siel agua se congela , aumenta de volumen.
1. Si elagua se congela , sus molculas forman cristales : p q

2. Si las molculas forman cristales , elagua aumenta de volumen :q r
3. Si el agua se congela , aumenta de volumen: p r
B Siun nmero es primo , es natural . Si es natural , es entero .

Luego , si un nmero es primo , es
entero .
1. Si un nmero es primo , es natural : p q
2. Si es natural , es entero :q r
3. Siun nmero es primo , es entero : p r

DILEMA CONSTRUCTIVO ( DC)
De dos condicionales y de la disyuncin de sus antecedentes , se concluye con ladisyuncin de

sus
consecuentes .
1. p q
2. r s
3. p r
76
4. q s
Laimplicacin es :[( p q) (r s )( p r )]( q s)

A Si estudio , aprendo . Siduermo , descanso . Estudio o duermo.
Luego , aprendo o descanso.

B Si un nmero es positivo , es natural . Sies entero , es racional . Es positivo o entero .
Luego , es natural o racional .

DILEMA DESTRUCTIVO( DD)
De dos condicionales y de la disyuncin de las negaciones de sus consecuentes , se concluye con

la disyuncin de lasnegaciones de sus antecedentes .
1. p q
2. r s
3. q s
4. p r
Laimplicacin es :{[( p q)(r s)]( q s)}( p r)

A Si estudio , aprendo . Siduermo , descanso . No aprendo o no descanso .
Luego , no estudio o no
duermo .
B Siun nmero es positivo , es natural . Sies entero , es racional . No es natural o no es racional .

Luego , no es positivo o no es entero .
SIMPLIFICACIN ( SIMP)
Sien un argumento tenemos como premisauna proposicincuya conectiva es una conjuncin ,
podemosconcluir , cualquiera de las proposiciones .

1. p q 1. p q
2. p 2. q
Laimplicacin es :( p q) p La implicacin es :( p q ) q
A
Soy caraquista y vino tinto . Luego , soy caraquista
Soy caraquista y vino tinto . Luego , soy vinotinto
CONJUNCIN ( CONJ )
77
Dadas dos proposiciones , como premisas , se puede formular , como conclusin ,la conjuncin de
las premisas .
1. p
2. q
3. p q
Laimplicacin es :( p)(q)( p q)
A Soy caraquista . Soy vinotinto . Luego , soy caraquista y vinotinto .

B 7 es natural . 7 es entero . Luego , 7 es natural y entero .
ADICIN ( AD )
Dadauna proposicin que se establece como premisa ,la ley de adicin permite obtener , como
conclusin , una proposicin en laque una de lasalternativas es la premisa dada , y la otra puede
ser cualquiera(T o F ) .
1. p
2. p q
Laimplicacin es : p ( p q)
5
5
A es una fraccin . Luego , es una fraccin o mi perralee .
2
2
B Boole fueun matemtico . Luego , Boole fue un matemtico o Einstein era poeta.
Otras leyes de equivalencia
EXPORTACIN ( exp): r [ p( q r )]
A Si estudio y resuelvo los ejercicios de launidad , aprobar lgica
Si estudio , entonces , si resuelvo los ejercicios de la unidad , aprobar lgica .

1
B Si, es racional y es real , entonces es complejo
2
1
Si es racional ,entonces , si es real es complejo .
2
IMPORTACIN ( IMP): [ p (q r )] r
A Si estudio , implica que , si resuelvo los ejercicios de la unidad , aprobar lgica

78
Si estudio y resuelvo los ejercicios de la unidad , aprobar lgica .
1
B Si es racional , implica que , si es real , es complejo
2
1
Si es racional y es real , entonces es complejo.
2
CONTRARECPROCA (CT ): p q q p
A Si4 es Z , es Q Si4 no es Q , no es Z .
B Sime mojo , me resfro Sino me resfro , no me mojo .

DOBLE NEGACI N ( DN ) : ( p ) p
DEFINICI N DE CONDICIONAL: p q p q ( p q )
Tambi n conocido por IMPLICACI N MATERIAL
DEFINICI N DE BI CONDICIONAL : p q ( p q ) (q p)
LEYES DEL LGEBRA PROPOSICIONAL
Existen argumentos que exigenla aplicacin de otras leyes , comolas leyes de equivalencia .
Las leyes de equivalencia ms conocidas son :
LEY ASOCIATIVA( ASOC )
a ( p q ) r p ( q r )
LEY CONMUTATIVA (CONM )
a p q q p
LEY DISTRIBUTIVA (DIST )
a p ( q r ) ( p q ) ( p r )
LEYES DE DeMORGAN (DM )
a ( p q) p q
b ( p q )r p (q r)
b p q q p
b p(q r )( p q)( p r)
b ( p q) p q
Simbolice cada argumento , y demuestre sila conclusin , es consecuencia lgica de las premisas .
A Si continala investigacin , surgirn nueva s evidencias . Si surgen nuevas evidencias , varios

dirigentes se vern implicados . Si varios dirigentes estnimplicados , los peridicos dejarn de
hablar del caso . Sila continuacinde lainvestigacin implica que los peridicos dejen de hablar
del caso , el surgimiento de nuevas ev idencias implica que lainvestigacin contina .
Lainvestigacin no contina. Luego , no surgirn nuevas evidencias .

p:Contina lainvestigacin q : Surgirn nuevas evidencias
r :Varios dirigentes se vern implicados s : Los peridicos dejarn de hablar del ca so

P1 : Si contina la investigacin , surgirn nuevas evidencias : p q
P2 : Si surgennuevas evidencias , varios dirigentes se vern implicados :q r
79
P3 : Si varios dirigentes estnimplicados , los peridicos dejarn de hablar del caso : r s
P 4 : Sila continuacin de la investigacin implica que los peridicos dejen de hablar del caso , el
surgimiento de nuevas evidencias implica que la investigacin contina:( p s)(q p)
P5 : La investigacin no contina : p
C : No surgirnnuevas evidencias : q
{[ p q][ q r ][(r s)][( p s)( q p)][ p]} q

B Si el cajero hubiese accionado el botn de alarma , lacaja se habracerrado automticamente
y la polica habrallegado en 3 min . Sila polica hubiese llegado en 3 min ,habra alcanzado el
vehculo de los asaltantes. No pudo alcanzarlo . Luego , el cajero no accionla alarma .
p: El cajero accion el botnde alarma q : La caja se habracerrado automticamente

r : La polica habra llegado en 3 minutos
s : La polica habra alcanzado el vehculo de los asaltantes

P1 : Si el cajero hubiese accionado el botnde alarma , lacaja se habracerrado automticamente
y la polica habrallegado en 3 minutos : p (q r )

P2 : Si la polica hubiese llegado en 3 minutos , habraalcanzado el vehculo de los asaltantes:
(r s)
P3 : No pudo alcanzarlo : s
C : El cajero no accion laalarma : p

{[ p (q r)][r s ][ s]} p
C Si es verdad que , sillueve entonces losestudiantes se duermen , entonces no estudian . Si los

estudiantes aprueban el examen entonces , o est udiano el examen es trivial . Pero si elexamen es
trivial , entonces los estudiantes son flojos. Esun hecho que los estudiantes aprueban el examen
y no son flojos . En consecuencia ,llueve y los estudiantes no se duermen .
p: Llueve q : Los estudiantes se duermen r : Los estudiantes estudian

s : Los estudiantes aprueban el exament : El examen es trivial u : Los estudiantes son flojos
P1 : Sies verdad que si llueve , entonces los estudiantes se duermen, entonces no estudian :
( p q) r
P2 : Si los estudiantes aprueban el examen entonces , o estudian o el examen es trivial : s (r t)

P3 : Si el examen es trivial , entonceslos estudiantes son flojos: t u
80
P 4 : Es un hecho que los estudiantes aprueban el examen y no son flojos : s u
C : L lueve y los estudiantes no se duermen: p q

{[( p q) r ][s ( r t)](t u)(s u) }( p q)
Considere la prueba , que utiliza MDN pero dejauna de sus columnas en blanco .
1. ( p q ) ( p q )
2. ( p q ) ( q r ) C : p r
3. SIMP (2)
4. SIMP (2)
5. DM (3)
6. MTP (1,5)
7. SH ( 4,6)
8. DEFCOND(7)
Cu l de las opciones muestra lainformaci n que completa correctamente la prueba ?
( A)
( B)
p q
3.
4. q r
5.
( p q)
3.
p q 3. q r
4.
p q
5. p q
5.
( q r ) 5.
6.
7. p r
7. p r
pr
3.
4. q r
6. p q
8.
( D)
(C)
8.
( p q ) 6. p q
pr
7. p r
8.
pr
( E)
p q
4. q r
p q
4. q r
5.
( p q)
6. p q
6.
(pq)
7. p r
7. q r
8.
( p q)
3.
pr
Idem
1. r s
2. ( q t ) ( p t )
3. [ ( r s ) q ] ( p t ) C :q t
4. AD(1)
5. MPP (3,4)
6. DM (5)
7. MTT (2, 6)
81
8.
pr
8. DEFCOND(7)
Cul de las opciones muestra la informacin que completa correctamente la prueba ?

( A)
( B)
( D)
(C)
4. ( r s ) q
4. ( r s ) q
4. ( r s ) q
5. p t
5. p t
5.
6. ( p t )
6.
( p t)
7. q t
7.
(q t)
8. q t
8. q t
( E)
4. ( r s ) q
4. ( r s ) q
5. p t
5. p t
6. p q
6. p q
6.
(pq)
7. q t
7. q t
7.
(q t)
8. q t
8. q t
8.
( q t )
( p t)
Idem
1.
(r p)
2. [ ( p r ) q ] [ ( p r ) s ]
3. [ s ( t q ) ] ( p t )
C : p t
4. DIST (2)
5.CT (1)
6. DEFCOND (5)
7. MTP (4, 6)
8. SIMP (7)
9. AD (8)
10. MPP (3,9)
Cu l de las opciones muestra la informaci n que completa c orrectamente la prueba ?
( A)
( B)
(C)
( E)
(D)
4. ( p r ) ( q s ) 4. p [ r ( q s ) ] 4. ( p r ) ( q s ) 4.
( p r )( q s )
5.
( p r)
5. . ( p r )
6.
( p r)
6.
7. q s
7.
( p r ) 5.
5.
( p r)
6.
( p r)
r ( q s) ]
7. q s
82
4. ( p r ) ( q s )
( p r ) 5.
p r
6.
(p r)
6.
(p r)
7.
( q s)
7. q s
8. s
8. s
8. s
8. s
8. s
9. s ( t q )
9. s ( t q )
9. s ( t q )
9. s ( t q )
9. s ( t q )
10. p t
10. p t
10. p t
10. p t
10. p t
I Deduzca r
1. s t
2. q
3. r t
4. s q
5. s MTP( 4, 2)
6. t MTP(1, 5)
7. r MTP( 3,6)
II Deduzca t
1. q p
2. s ( p q)
3. s t
4. p q CONM (1)
5. s MTT (2, 4)
6. t MPP(3, 5)
III Deduzca p
1. s q
2.(r q )( p t)
3. r s
4. t
5.r q SH (3,1)
6. p t MPP(2, 5)
7. p MTP(6, 4)
IV Deduzca p r
1. p q
83
2. (q s)
3. r s
4. q s DM (2)
5. p r DD (1,3 y 4)
( ) USE LAS LEYES DE INFERENCIA ( Soluciones ( ) al final)

( A)Deducir s (B)Deducir r t
1. t p 1. (r t )q
2. p 2. q s
3. s q 3. s
4. q t
(C) Deducir t ( D)Deducir s

1. p q 1. p q
2. r p 2. q r
3. q 3. s r
4. r t 4. p
(E)Deducir p (F) Deducir r

1. q s 1. s t
2. r s 2. q
3. q 3. r t
4. r p 4. s q
84
(G)Deducir s ( H) Deducir r
1.r q 1. p t
2. r 2. t q
3. q p 3. q
4. p s 4. p r
(I ) Deducir r (J ) Deducir p
1. s t 1. s
2. q s 2. t q
3.t 3. p q
4. q r 4. s t
(K )Deducir s ( L)Deducir r t
1. q 1. s t
2. p r 2. r p
3. q r 3. q s
4. p s 4. p q
(M ) Deducir s t (N ) Deducir p t
1. s p 1. p q
2. q r 2. r s
3. p q 3. s t
4. r t 4. q r
(O) Deducir t p ( P) Deducir t
1.(r q) p 1. s
2. r ( s t )2. r q
3. s r
4. t q
85
( Q ) Deducir p t ( R ) Deducir t ( S)Deducir x 3 y 1

1. ( t q ) r 1. p s 1. x =3 y 3
2. r s 2. s r 2. x= y x y
3.t 3. p ( r t ) 3 . ( x 5 ) ( y <3)
4. s p
4. x= y (x= y +2 x< 5)
5 . x= y +2 x < y
( ) USE LAS LEYES DE INFERENCIA Y DE EQUIVALENCIA (Soluciones ( ) al final)

( A)Deducir t (B) Deducir p
1. q p 1. s q
2. s ( p q) 2.(r q)( p t)
3. s t 3. r s
4. t
( C ) Deducir r (D)Deducir q t
1. p q 1. p
2. q s 2. p (r s)
3. q 3.r (s q)
4.(s p) r
(E)Deducir p r ( F )Deducir s r
1. q p 1. s
2. q r 2. p (r t )
QUOTE 3. p t
(G)Deducir (s r )( t q)
1.r s
86
2. p q
3. q ( t q )
4. p
( H ) Deducir r ( I ) Deducir t p
1. q 1. [ ( s)]
2.(r t) (q s) 2.t q
3. s 3. s q
4. t
(J )Deducir r t ( K) Deducir t
1.( p s) t 1. q r
2. r q 2. p t
3.(q p) s 3. p (q r)
(L) Deducir t r ( M ) Deducir ( p q)

1. p s 1. r
2.( p q) r 2. p q
3. q 3. q r
(N )Deducir u r (O)Deducir (q p)
1.t s 1. p r
2.( p q)r 2. q r
3.t (p q)
( P)Deducir s t (Q) Deducir t

1. ( p q)1.(p q) r
2. r p2. (q r )
87
3. r (t m)3. s p
4. m 4. s t
5. s
(R)Deducir ~rq
(S )Deducir u r
1. p q
1. p (q r)
2. p r 2. ( p q ) (q s)
3. ( s t ) u
SOLUCIONES ( )
(B) Deducir r t
1.
(r t ) q
2. q s
3. s
4. q MTT (2,3 )
5. (r t )MTT (1,4)
5.r t DN (5)
(F) Deducir r
1. s t
2. q
3. r t
4. s q
5. s MTP( 4,2)
6. t MTP ( 1,5 )
7. r MTP(3,6)
88
(G)Deducir s
1.r q
2. r
3. q p
4. p s
5. q MTP(1,2)
6. p MTP( 3,5)
7. s MTP(4,6)
(J )Deducir p
1. s
2. t q
3. p q
4. s t
5.t MPP(4,1)
6. q MTP(2,5)
7. p MTT (3,6)
(Q) Deducir p t
1.(t q) r
2. r s
3.t
4. s p
5.t q AD (3)
6. r MPP( 1,5)
7. s MTP( 2,6)
89
8. p MPP(4,7)
9. p t CONJ (8,3)
(S )Deducir x 3 y 1
1. x=3 y 3
2. x = y x y
3 . ( x 5 ) ( y <3)
4. x= y ( x= y +2 x< 5)
5 . x= y+ 2 x< y
6. x = y SIMP ( 2 )
7. x y SIMP (2)
8 . ( x = y+ 2 x <5 ) MPP(4 , 6)
9. x y +2 MTT (5,7)
10 . x <5 MTP(8 , 9)
11. y< 3 MTP (3 ,10)
12. x 3 MTT (1,11)

13. x 3 y 1 AD (12)
SOLUCIONES ( )
(B) Deducir p
1. s q
2.(r q )( p t)
90
3. r s
4. t
5.r q
SH (3,1)
6. p t
MPP(2,5)
7. p
MTP(6,4)
(D)Deducir q t
1. p
2. p (r s)
3. r ( s q)
4. ( r s )
MPP(2,1)
5. ( r s ) q
ASOC (3)
6. q
MTP(5,4)
7. q t
AD 6
(E)Deducir p r
1. q p
2. q r
3. p q
PC (1)
4. p r
SH (3,2)
(F) Deducir s r
1. s
2. p (r t)
3. p t
91
4. ( p r ) ( p t )
2
DIST
5. ( p t )
DM (3)
6. ( p r )
MTP( 4,5)
7.r
SIMP (6)
8. s r
CONJ (1,7)
(H ) Deducir r
1. q
2.(r t) (q s)
3. s
4. t
5. q s
CONJ (1,3)
6. ( q s )
DM (5)
7. ( r t )
MTT (2,6)
8. r t
DM (7)
9. r
MTP(8,4 )
(I ) Deducir t p
1. [ ( s )]
2.t q
3. s q
4. s
DN (1)
5. q
MTP(3,4)
6. t
MTT (2,5)
92
7. t p
AD ( 6)
(M ) Deducir ( p q)
1. r
2. p q
3. q r
4. q
MTP(3,1)
5. p
MTT (2,4)
6. p q
CONJ (5,4)
7. ( p q )
DM (6)
(R)Deducir ~r q
1. p q
2. p r
3. ( p q )
Equivalencia ( 1 ) ()
4. [ ( p q ) ( q p ) ]
Ley bicondicional (3)
5. ( p q ) ( q p )
DM ( 4)
6. ( p q ) ( q p )
Ley condicional(5)
7. ( p q ) ( q p )
DM (6)
8. ( p q ) ( q p )
DIST (7)
9. ( p q ) ( q p )
Ley condicional ( 8 )
10. p q
SIMP (9)
11. r p
PC (2)
12. r q
SH (10,11)
( ) Tambin
podrausar la equivalencia siguiente : p q ( p q ) ( p q )
(S )Deducir u r
93
1. p (q r)
2. ( p t ) (q s)
3. ( s t ) u
4.( p t )(q s)
Equivalencia ( 2 ) ( p t) p t
5. p
SIMP (4)
6. q r
MPP(1,5)
7. q s
SIMP (4)
8. q
SIMP (6)
9. s
MPP(7,8)
10. ( s t ) u
Ley condicional(3)
11. s t u
DM (10)
12. s (t u)
ASOC (11)
13. s (t u)
Ley condicional(12)
14.t u
MPP(13,9)
15. t u
Ley condicional(14 )
16. t
SIMP (4)
17.u
MPP(15,16)
18.r
SIMP (6)
19.u r
CONJ (17,18)
94
Vctor M . Pat S .(USB )
Prohibidos su uso o reproduccin con fines lucrativos sin autorizacin por escrito del autor .
95

Victor Pataso I Logica Proposicional (Iugt)

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Victor Pataso I Logica Proposicional (Iugt)

Загружено:

Авторское право:

Доступные форматы

LGICA PROPOSICIONAL

PENSAMIENTO . Metafsica .Crticas a lateora de las Ideasde Platn

y Aristteles , por (detalle de La escuela de Atenas, 1509)

En su juventud , Aristteles fue discpul o de en la .

( herramienta ) , constituyenla 1 a investigacin sistemticaacerca de los del

LOS SILOGISMOS . La nocin central del sistema lgico de Aristteles es el ( o deduccin ) .

1.Todos los homb res son mortales

3. Por lotanto , todoslos griegos son mortales

En este ejemplo, tras establecer las ( 1 ) y ( 2 ) ,la ( 3 ) se sigue por .

En los Primeros analticos, Aristteles construy la primera

teora de los silogismos , Aristteles realiz una gran cantidad de

otros aportes a la lgica. En la parte IV (Gamma) de la Metafsica, Aristteles

ra zonamiento del malo (incorrecto ) .

El mbito de estudio de la lgica es tan amplio como lo es el del razonamiento humano.

El estudio de lalgica ( IrvingCoppi y Carl Cohen ) ofrece una serie de beneficios :

b Incremento de la capacidad para definir los conceptos que utilizamos

d Incremento de la capacidad crtica

tfica o unalgica de la contrastacin de hiptesis .

El estudio de cualquier tema , tanto en el campode las Humanidades como en el de lasCiencias y

mi te , alestudiante o profesional , extraer y depurar sus conclusiones ,evitando elriesgo de modi

lgica puede originar problemas tcnicos , s ociales y econmicos .

mtodos eficaces de razonamiento .

pero qu estudia la lgica? , hacia qu temas orienta sus investigaciones ?

se ha entendido como palabra , razn y ciencia .

llama aspecto formal.

leyes o principiosque reglamentanla validez lgica del propio pensamiento.

suman 5 naranjas , no se habla en s de lasnaranjas , sinode lasuma :2+3=5 .

y leyes que permiten distinguir unrazonamiento vlido de un razonamiento no vlido .

Lalgica es el sistema de comunicacin entre personas y mquinas y ha sidoaplicada al automa

tismo y control , larobtica y lainteligencia artificial(IA ).

Adems de su importancia en razonamiento matemtico ,lalgica tiene numerosas aplicaciones

Las reglas de lalgica se usan en diseos de circuitos electrnicos , construccin de programas

LENGUAJE DE LAS PROPOSICIONES

contengan claridad , precisin y univocidad .

simplificar la expresinde ideas complejas .

En estaunidad , estudiaremos un lenguaje artificia lllamado LP ( Lgica Proposicional ) que ha

hace utilizando el lenguaje natural .

El objetivo es entender qu quiere decir que LP sea unlenguaje veritativoional .

Por este motivo , se denomina lgicabivalente

lgica binaria , porque slo tiene dos categoras

de clasificacin : proposiciones verdaderas ( T ) ; proposiciones falsas (F).

Tambin podemosusar , 1 y 0, respectivamente . En estaunidad usaremosT y F , exclusivamente.

a 15 es divisible por 7 b Uncuadriltero es un rombo

e Siun tringulo es equiltero , entonces es issceles

h Si x2 +1=10,entonces x= 3 i(x + y )(x y )=x 2 y 2

LP estableciendouna distincin entre enunciados simples y enunciados compuestos.

dividual y concreta , de la cual se predica un solo atributo o propied ad .

Al aadir expresiones como : no , no es el caso de o no es cierto que a un enunciado , se

Tales frases se denominan operadores de negacin .

clsica proposicional . Podemos definir un enunciado simple de maneranegativa , como aqul

( 2 ) Freud y Bacon son pintores

Las osiciones simples no se componen de ms proposiciones y carecen de conectivos .

Las proposiciones compuestas(frmulas) , se componen de dos o ms proposiciones simples , y ,

NOTA .Tambin se considera proposicin compuesta , la negacin de una proposicin simple .

LaTierra es un planeta si y slo si giraalrededor del Sol

a QUOTE Si estudiamos para el examen ,aprobaremos

b El Soles una estrella si y slo si la Tierra es un planeta

c Juan y Mara son novios

d La lnea ms corta entre dos puntos es lalnea recta

e No es cierto que el plomo sea radiactivo

Defina proposicin ( enunciado ) y d ejemplos .

La certeza o falsedad de un enunciado se llama valor veritativo .

a Parsest en Inglaterra b Dnde vas ?