INTRODUCCIN

La lgica es el estudio de los mtodos y principios utilizados para diferenciar un

razonamiento correcto de un incorrecto. No debe interpretarse esta definicin en el
sentido de que slo el estudioso de la lgica puede razonar bien o correctamente; ms
bien depende de la agudeza intelectual innata de cada persona, sin embargo se debe
tener en cuenta que la persona que ha estudiado lgica tiene mayor posibilidad de
razonar correctamente que aquella que nunca ha pensado en los principios generales
implicados en esa actividad.
La lgica ha sido definida a menudo como la ciencia de las leyes del pensamiento, se
considera tambin como la ciencia del razonamiento, pero se debe tener en cuenta que
estas definiciones no son tan precisas, ya que el pensamiento es uno de los procesos
estudiados por los psiclogos, adems el razonamiento es un tipo especial de
pensamiento en el cual se realizan inferencias, es decir en el que se derivan
conclusiones a partir de premisas.
El problema central de la lgica es de distinguir entre el razonamiento correcto y el
incorrecto, que es a lo que nos vamos a dedicar con ms nfasis en esta unidad, para tal
fin nos ubicamos en el tipo de lgica que desarrollaremos.
La lgica general, es la ciencia que estudia las leyes didcticas y lgicos-formales los
mtodos los procedimientos, las propiedades y las relaciones, sobre las bases de las
formas de los pensamientos; se clasifica en: lgica dialctica y lgica formal.
La lgica dialctica estudia el contenido de las formas del pensamiento, es decir lo
esencial, contextual del concepto, juicio y raciocinio, en correspondencia con la realidad
objetiva que es dinmica, su objetivo es encontrar la verdad relativo-absoluta de los
pensamientos.
La lgica formal es una ciencia que estudia la estructura o forma de los conceptos,
juicios y raciocinios, sus relaciones de validez, mtodos, reglas, principios y leyes, con
abstraccin del contenido material de los pensamientos. En la actualidad la lgica
formal se denomina lgica matemtica o simblica, cuyo objetivo es demostrar la
validez de los argumentos simblicos o formalizados, en la edad media George Boole
(1815-1864 d.C) fue el creador de la Lgica Simblica o Lgica Matemtica Moderna.
Fund el Clculo Proposicional, enuncia las Leyes del lgebra Proposicional

LGICA PROPOSICIONAL
La lgica proposicional tambin llamada simblica o matemtica, es aquella parte de la
lgica que estudia las proposiciones y smbolos utilizados en la formacin de nuevas
proposiciones que podrn ser verdaderas o falsas, sealadas por reglas formales.
El estudio de la lgica matemtica se desarrolla utilizando proposiciones, en
consecuencia se debe tener las ideas claras sobre estas.
La oracin. Gramaticalmente tiene una definicin, solamente vamos a clasificarla.
Clases de oraciones
1. Oraciones Declarativas o Aseverativas. Son aquellas que tienen las funciones de
informar, describir y explicar.
- Informativas. Ejemplo: Hoy hay clases
- Descriptivas. Ejemplo: La pelota es esfrica, blanca y pesada.
- Explicativas. Ejemplo: Si hace frio, la temperatura disminuye.
2. Oraciones Expresivas. Son aquellas que buscan expresar sentimientos, rdenes,
deseos e interrogantes.
- Exclamativas. Son aquellas que expresan emociones, tambin se las llama admirativas.
Ejemplo: Qu bella!
- Imperativa o exhortativas. Son aquellas que expresan rdenes o mandatos. Ejemplo:
Recoge ese papel.
- Desiderativas. Expresan deseos, splicas. Ejemplo: Ojal regrese!
- Interrogativas. Su propsito es averiguar algo. Ejemplo: Qu hora es?
Enunciado. Es toda oracin o frase que seala alguna idea. Ejemplo: Qu estudias?,
buenos das, recoge ese papel, etc.
Enunciado Abierto. Son expresiones que no tiene la propiedad de ser verdadero o
falso, es decir no son proposiciones. Ejemplo:
p ( x) : x 2 x 8 , es un enunciado abierto, porque no podemos afirmar que sea
verdadero o falso, salvo que la variable x toma un valor numrico se hace verdadero o
falso.
q ( x, y ) : x 2 y 2 16 , tambin es un enunciado abierto.
Funcin Proposicional. Funcin proposicional en una variable x es todo enunciado en
donde interviene una variable como sujeto, el cual se convierte en proposicin para cada
especificacin de la variable. El conjunto de todos los valores permitidos para la
variable recibe el nombre de dominio de la variable. Ejemplos:
p ( x) :" x es impar " , esta expresin no es proposicin, ya que, depende del valor de
variable x para poder afirmar que el enunciado sea verdadero o falso.
p ( x, y ) :" x es mltiplo de y ", sta expresin tampoco es proposicin, pero si
especificamos los valores de x y de y se obtiene una proposicin, por ejemplo:
p (16, 4) :"16 es mltiplo de 4", es una proposicin verdadera.

Proposicin. Es todo enunciado aseverativo al cual, con buen sentido, se le puede

asignar uno y slo de los llamados valores de verdad o valores veritativos, verdadero
(V) o falso (F).
Notacin. Las proposiciones en forma general se denotan con letras minsculas tales
como p, q, r, s, t,, etc, que toman el nombre de variables proposicionales. Ejemplos:
P: 3+5= 7
q: Pars es capital de Espaa.
r: 4 es mltiplo de 2.
Observaciones:
a) Las preguntas y admiraciones son expresiones no proposicionales. Sin embargo en el
libro Introduccin a la lgica de Digenes Rosales, nos dice que en casos
excepcionales, las preguntas y admiraciones pueden ser proposiciones. Ejemplo:
- No sabes que Coln lleg al Continente Americano en su tercer viaje
- A caso el castellano tiene dos letras mudas?
- La ballena haba sido un mamfero!
b) Existen expresiones lingsticas que tienen apariencias de proposiciones, pero que en
realidad no lo son por no ser una secuencia de palabras sintcticamente correcta.
Ejemplo: La expresin Jorge es un nmero par carece de sentido porque nmero
par no es un predicado de persona, sino de nmeros. Una secuencia de palabras como
la citada en el ejemplo toma el nombre de pseudoproposicin.
Clase de proposiciones. Existen dos tipos de proposiciones:
1. Proposiciones simples, atmicas o elementales. Es aquella en su forma ms
elemental, consta de uno o varios sujetos y de un solo predicado que afirma algo en
torno a dichos sujetos, su caracterstica principal e que carecen totalmente de conectivos
lgicos, sean mondicos o diticos. Ejemplos:
-La lgica es muy importante.
-Juan estudia matemtica bsica.
2. Proposiciones compuesta o molecular o coligativas. Es aquella que est constituida
por dos o ms proposiciones simples o atmicas. Las proposiciones compuestas tienen
en su estructura a uno o ms conectivos lgicos. Ejemplos:
- Hace calor sin embargo llueve.
- Ni estudias ni trabajas.
Se puede formar una proposicin compuesta tan solo con escribir el negador (conectivo
mondico) delante de una proposicin simple. Ejemplo:
- Ocho no es nmero primo.
- No es cierto que Juan estudia ingeniera.
OPERACIONES FUNDAMENTALES CON PROPOSICIONES
(LGEBRA DE PROPOSICIONES)
Las operaciones ms conocidas son las siguientes:
1. LA CONJUNCIN O PRODUCTO LGICO

DEFINICIN. Dos proposiciones cualesquiera se pueden combinar por medio de

la palabra y para formar una proposicin compuesta, que se llama conjuncin de
las proposiciones anteriores. La conjuncin de las proposiciones p y q se simboliza
por: p q que significa p y q.
Ejemplos:
a) 5 es un nmero primo y 1 es un nmero impar
b) es un nmero trascendente y (4+i) es un nmero complejo
Tabla de verdad
El valor de verdad de la proposicin compuesta p
p q p q
q satisface la condicin siguiente:
V V
V
Si p es verdadero y q es verdadero, entonces p q es
V F
F
verdadero; en otro caso p q es falso. Es decir, la
F V
F
conjuncin de dos proposiciones es verdadera
F F
F
solamente si cada componente es verdadero.
En el lenguaje usual hay otras expresiones que, aun cuando tienen otras matices
de significacin, sin embargo pueden traducirse por la conjuncin; tales como:
pero, adems, sin embargo, auque, no obstante, a la vez, sino ,
tambin, mas, ms, al igual que, as como, tal como, de la misma
forma, incluso, empero, e, a pesar de, a la vez, tanto como, etc.
Ejemplos:
a) e es un nmero irracional, tanto como
b) 2 es un nmero par, a pesar de que es primo
En el lenguaje usual, la y no siempre se encuentra ubicada entre las
proposiciones. As, la proposicin 7 y 3 son nmeros primos es la forma abreviada
de 7 es nmero primo y 3 es nmero primo.
Adems es necesario precisar que la y no siempre cumple una funcin
conjuntiva. As, la proposicin Csar y Roberto son amigos, la y viene a ser un
elemento relacional que conecta dos sujetos. En este caso, la proposicin es atmica
ya que y no es una conjuncin. Por lo tanto su reformulacin Csar es amigo y
Roberto es amigo carece de sentido; ms bien la proposicin dada anteriormente
equivale a Csar es amigo de Roberto.
Hay casos que la y no indica una simple unin de proposiciones sino una
consecuencia entre ellas. As, la proposicin Jos rindi examen de matemtica y
aprob el curso no significa una simple unin entre las proposiciones Jos rindi
examen de matemtica y Jos aprob el curso, sino que, en este caso, la y
significa a consecuencia, a causa de. Es decir: Jos rindi examen de
matemtica, a consecuencia de ello, aprob el curso. De ah que, la proposicin
dada no es conjuntiva.
Una conjuncin puede estar dada por signos de puntuacin: Una coma (,), un
punto y coma (;) o un punto seguido (.)
Ejemplos:
a) 7 es un nmero impar, es un nmero trascendente
b) Simbolizar el siguiente razonamiento:
Si se requiere ya sea lgebra o geometra, entonces todos los estudiantes
cursarn matemtica. Se requiere el lgebra, se requiere la trigonometra. Por lo
tanto, todos los estudiantes cursarn matemtica.

Solucin: Sean
A: lgebra es requisito
G: geometra es requisito
S: todos los estudiantes cursan matemtica
T: trigonometra es requisito.
Simbolizacin:
Forma clsica
Forma horizontal

M (A G) S A T S
1. (A G) S
2. A T / S
LA CONJUNCIN CONTNUA. Sean P y Q dos proposiciones, la conjuncin P
Q se llama producto lgico, el producto lgico para m proposiciones se denota
m

por: P1 P2 ... Pm Pi
i 1

El producto lgico Pi se llama conjuncin continua de las proposiciones

i 1

P1, P2 , ..., Pm cada pi se llama factor. La conjuncin continua es verdadera si

cada factor pi es verdadero y es falsa si algn pi es falso. La conjuncin continua

es conmutativa y asociativa.
AUTODISTRIBUACIN DE LA CONJUNCIN. Sea P una proposicin y
m

Qi una conjuncin continua, entonces:

i 1

i 1

i 1

q (m) : p Qi P Qi
DEMOSTRACIN
La demostracin lo haremos por induccin matemtica.
1

i) Para m 1 q(1) : P Qi P Q1 P Qi es verdadero

i 1

i 1

i 1

i 1

ii) Para m h q (h) : P Qi P Qi

Hiptesis Inductiva

iii) Debemos demostrar que se cumple para m h 1 , es decir:

h 1

h 1

i 1

i 1

m h 1 q (h 1) : P Qi P Qi
En efecto:
h 1
h

P Qi P Qh1 Q
i
i 1
i 1

P P Qh1 Q
i
i

P Qh1 P Q
i
i 1

P Qh1 P Qi
i 1

h 1

h 1

i 1

i 1

P Qi P Qi

por propiedad de producto

Ley de idempotencia.
L. conmutativa y asociativa.
Por hiptesis inductiva
por propiedad de producto

Luego por el principio de induccin matemtica la proposicin:

i 1

i 1

q (m) : P Qi P Qi se verifica para todo m

l.q.q.d
2. LA DISYUNCIN INCLUSIVA O DBIL
DEFINICIN. La expresin o en sentido inclusivo, establece que puede darse una
o ambas posibilidades. La disyuncin inclusiva de las proposiciones p y q se
simboliza por: p q que significa p o q o ambos
Ejemplo: En la proposicin Juan es abogado o contador pblico estable que Juan
puede ser abogado o bien contador pblico a la vez. Por tal razn el sentido
inclusivo o dbil puede expresarse con la expresin lo uno o lo otro o ambos. En
los documentos legales se la expresa con y/o.
Esquema Molecular
p q p q
VEl V
valor deVverdad de la proposicin compuesta p
V qF satisface
V la condicin siguiente:
p es falso
FSi V
V y q es falso, entonces p q es falso;
Fen Fotro caso
F p q es verdadero.
En el lenguaje ordinario existen otras expresiones que se traducen en disyuncin
inclusiva, tales como:
p salvo que q (dos posibilidades)
p a menos que q (dos posibilidades)
p o tambin q
p excepto que q (dos posibilidades)
p excepto que a la vez q
p salvo que incluso q
p a menos que tambin q, etc.
3. LA DISYUNCIN EXCLUSIVA O FUERTE
DEFINICIN El sentido exclusivo de la disyuncin descarta que se den ambas
posibilidades, es decir, establece una incompatibilidad. Por ejemplo O un nmero
es positivo o negativo indica una alternativa en la que slo cabe una sola
posibilidad, si se elige una, inmediatamente queda eliminada la otra. Por esta razn
el sentido exclusivo o fuerte puede indicarse con el expresin: lo uno lo otro, pero
no ambos.
La disyuncin exclusiva se simboliza por: p q que significa p o q pero no ambos
Ejemplo:
O bien un nmero es mayor que cero o bien es menor que cero
Esquema Molecular
p q p q
V V
F
V F
V
F V
V
F F
F

La disyuncin exclusiva de dos proposiciones

resulta falsa cuando ambas proposiciones tienen
igual valor de verdad y resulta verdadero cuando
tienen diferente valor de verdad.

Otras notaciones para la disyuncin fuerte: p q, p q, p q, p q

Observacin: Segn la distribucin de la matriz principal de la disyuncin

exclusiva, se observa que es contraria a la de la bicondicional, de acuerdo a esto
podemos afirmar que la disyuncin exclusiva es la negacin del bicondicional o
viceversa, es decir: p q : p q o : pq p q
Es frecuente en el lenguaje usual indicar este sentido exclusivo con las expresiones
O bien p o bien q
O p o q
p o q (en sentido excluyente)
p o slo q
p o nicamente q
4. LA CONDICIONAL O IMPLICACIN MATERIAL
DEFINICIN. Es un operador binario que enlaza a una proposicin que es el
antecedente con otra que es el consecuente.
Simbolizacin: p q que significa Si p, entonces q
Si., entonces.
ANTECEDENTE
CONSECUENTE
CAUSA
EFECTO
HIPTESIS
TESIS
Traduccin Verbal
Si p, entonces q, cuando p as pues q, con tal de que p es obvio que q, en el caso de
que p en tal sentido q, en virtud de que p es evidente q, dado p por eso q, en cuanto p
por tanto q, de p deviene q, p es condicin suficiente para q, ya que p bien se ve que
q, siempre que p por consiguiente q, como quiera que p por lo cual q, de p
inmediatamente q, toda vez que p en consecuencia q, en la medida que p de all q, de
p derivamos q, p impone q, etc.
Ejemplo:
Si un cuerpo se calienta, entonces se dilata.
Esquema Molecular
p q p q
V V
V
V F
F
F V
V
F F
V

La condicional de dos proposiciones es falsa slo

si el antecedente es verdadero y el consecuente
falso, en cualquier otro caso la condicional es
verdadera.

Observaciones:
- En toda proposicin condicional escrita en la forma Si p, entonces q, se puede
suprimir la palabra entonces sin que se altere el sentido de la condicional.
Ejemplo: En la proposicin
Si un cuerpo se calienta, entonces se dilata, suprimiendo la palabra entonces se
tiene:
Si un cuerpo se calienta, se dilata, el significado es el mismo.
- En toda proposicin condicional escrita en la forma Si p, entonces q, se puede
reemplazar la palabra si por la palabra cuando.
Ejemplo: En la proposicin

Si un cuerpo se calienta, entonces se dilata, que reemplazando si por cuando

se tiene:
Cuando un cuerpo se calienta, entonces se dilata, o Cuando un cuerpo se calienta,
se dilata.
FORMAS CONDICIONALES
A) FORMA ANTECEDENTE-CONSECUENTE. Se caracterizan porque despus
de las siguientes expresiones se encuentra el consecuente.
Por lo tanto, luego, en consecuencia, implica, de modo que, en
conclusin, de ah que, por consiguiente, se concluye, se deduce, as
pues, etc.
Ejemplos:
Un cuerpo se calienta, en consecuencia se dilata.
Un cuerpo se calienta, luego se dilata.
Un cuerpo se calienta, por lo tanto se dilata.
Es suficiente que un cuerpo se caliente para que se dilate.
B) FORMA CONSECUENTE-ANTECEDENTE. Se caracterizan porque despus
de las siguientes expresiones se encuentra el antecedente.
Puesto que, ya que, porque, cada vez que, si, dado que, siempre que,
pues, en vista de que, supone que, es insuficiente para, etc.
Ejemplos:
Transpiro, porque hago deporte.
Transpiro, ya que hago deporte.
Transpiro, pues hago deporte.
Es transpirar es condicin necesaria para hacer deporte.
5. LA BICONDICIONAL
DEFINICIN. Nos referimos exclusivamente a la equivalencia material llamada
tambin bicondicional, se caracteriza por el conector si y slo si. Se simboliza
por: p q que significa p si y slo si q
Ejemplo:
Juan construir su departamento si y slo si obtiene un prstamo
p q p q
VLaV bicondicional
V
de dos proposiciones es
Vverdadera
F
Vsi las dos proposiciones tienen el
Fmismo
V valor
V de verdad, en cualquier otro caso
Fser
F falsa. F
Existen otras expresiones que se traducen en bicondicional, tales como:
p es equivalente, equivale a q
p siempre que y slo cuando q
p por lo cual y segn lo cual q
p se define como q
p es lo mismo que q
p es idntico a q
p es igual entonces a q
p cada vez que y solo q

p es equipolente a q
p cuando y slo cuando q
p es condicin necesaria y suficiente para q, etc.
5. LA NEGACIN
DEFINICIN. Cuando una proposicin es afectada por el conectivo mondico
no, el resultado se denomina negacin de la proposicin. La funcin del negador
o inversor (~) es negar una afirmacin o afirmar una negacin. Se simboliza por: ~p
que significa No p
Ejemplo: Negar las siguientes proposiciones:
- Siete es nmero par. Su negacin es: Siete no es nmero par
- Cinco es menor que dos. Su negacin es: Cinco es mayor o igual que dos
Tabla de Verdad
La negacin de una proposicin
p
~p
verdadera es falsa y la negacin de
V
F
una proposicin falsa es verdadera.
F
V
Otras notaciones para la negacin:
~ p, p, p, Np, p, p
La negacin puede afectar tambin a una proposicin molecular, en tal caso
utilizaremos las siguientes expresiones delante de dicha proposicin:
No es cierto que, es falso que, no es el caso que, es imposible que, es
incorrecto que, es absurdo que, no es verdad que, etc.
Ejemplo: La negacin de la proposicin
Javier viaja a Lima o a Chiclayo es:
No es cierto que, Javier viaja a Lima o a Chiclayo.
Sean: p: Javier viaja a Lima, q: Javier viaja a Chiclayo.
Simbolizacin: M ~ ( p q )
6. LA NEGACIN ALTERNA O BARRA DE SHEFFER
DEFINICIN. La negacin alterna de dos proposiciones es la proposicin que
resulta de unir dichas proposiciones por medio de las expresiones No o no.
Tambin toma el nombre de barra de incompatibilidad. Se simboliza por: p | q
que significa No o no q
Ejemplo:
Juan no construir su departamento o no obtiene un prstamo
p q p |
q
VLaVnegacin alterna de dos proposiciones es
Vverdadera
F
V si por lo menos una de las
Fproposiciones
V
V es falsa y es falsa cuando las dos
Fproposiciones
F
V son verdaderas.
Como la distribucin de su matriz principal de la negacin alterna es contraria a la
de la conjuncin, podemos afirmar que la negacin alterna es la negacin de la
conjuncin.
p | q : p : q ~ ( p q)

7. LA NEGACIN CONJUNTA O FLECHA DE NICOD

DEFINICIN. La unin de dos proposiciones por medio de las expresiones Ni
ni. Se simboliza por: p q que significa Ni p ni q
Ejemplo:
Ni siete es nmero par, ni ocho mltiplo de diecisis
p q p q
VLaVnegacin conjunta de dos proposiciones es
Vverdadera
F
Fsi sus dos proposiciones son falsas, en
cualquier
otro
F V
F caso es falsa.
F F
V
Como la distribucin de su matriz principal de la negacin conjunta es contraria a la
de la disyuncin inclusiva, podemos afirmar que la negacin conjunta es la negacin
de la disyuncin exclusiva.
p q : p : q ~ ( p q)
SIMBOLIZACIN DE PROPOSICIONES
Definicin: Simbolizar una proposicin consiste en sustituir cada una de las
proposiciones atmicas que intervienen, por una variable proposicional y cada
conectivo lgico por su smbolo correspondiente. Los smbolos de agrupacin se
utilizan para evitar ambigedades.
Adems se debe tener en cuenta la jerarqua de los conectivos lgicos, la cual es la
siguiente: ordenamos de mayor a menor.
La bicondicional, la condicional, la conjuncin y la disyuncin tienen igual jerarqua y
la negacin. En general los signos que se utilizarn son: parntesis, corchetes, llaves.
La jerarquizacin sigue esta regla general: a mayor encierro dentro de signos de
agrupacin, menor jerarqua; a menor encierro, mayor jerarqua.
Ejercicios
Simbolizar las siguientes proposiciones compuestas:
1. No es verdad que sea falso que, Newton sea fsico.
Resolucin:
No es verdad que sea falso que, (Newton sea fsico)
a) Identificamos las proposiciones simples que intervienen:
b) Reemplazamos cada proposicin atmica por una variable proposicional:
Sean:
p: Newton es fsico
c) Insertamos las variables proposicionales.
Simbolizacin:
~ ~ p p
2. O los mamferos son vertebrados o invertebrados. Pero, es absurdo que los
voladores sea bpedos.

Resolucin:
a) Identificamos las proposiciones simples que intervienen:
[O (los mamferos son vertebrados) o (invertebrados)]. Pero, es absurdo que (los
voladores sea bpedos).
b) Reemplazamos cada proposicin atmica por una variable proposicional:
Sean:
p: Los mamferos son vertebrados
q: Los voladores son bpedos
c) Insertamos las variables proposicionales.
Simbolizacin:
M p ~ p ~ q
3. Si se requiere ya sea lgebra o geometra, entonces todos los estudiantes cursarn
matemtica. Se requiere el lgebra, se requiere la trigonometra. Por lo tanto, todos los
estudiantes cursarn matemtica.
Resolucin:
a) Identificamos las proposiciones simples que intervienen:
{Si [(se requiere ya sea lgebra) o (geometra)], entonces (todos los estudiantes
cursarn matemtica)}. [(Se requiere el lgebra), (se requiere la trigonometra)]. Por lo
tanto, (todos los estudiantes cursarn matemtica).
b) Reemplazamos cada proposicin atmica por una variable proposicional:
Sean:
A: lgebra es requisito
G: geometra es requisito
S: todos los estudiantes cursan matemtica
T: trigonometra es requisito.
c) Insertamos las variables proposicionales.
Simbolizacin:
M (A G) S A T S
4. Es objetable que, ni haya fantasmas ni hombres alados.
Resolucin:
a) Identificamos las proposiciones simples que intervienen:
Es objetable que, [ni (haya fantasmas) ni (hombres alados)].
b) Reemplazamos cada proposicin atmica por una variable proposicional:
Sean:
p: hay fantasmas
q: hay hombres alados
c) Insertamos las variables proposicionales.
Simbolizacin:
M ~ p q ~ ~ p ~ q
5. No acontece que, existan nios porque estos nios estn nutridos asimismo no
educados.
Resolucin:
a) Identificamos las proposiciones simples que intervienen:

No acontece que, {(existan nios) porque [(estos nios estn nutridos) asimismo no
(educados)]}.
b) Reemplazamos cada proposicin atmica por una variable proposicional:
Sean:
p: existen nios
q: nios nutridos
r: nios educados
c) Insertamos las variables proposicionales.
Simbolizacin:
M ~ p q ~ r
6. La condicin suficiente para que haya empleo, es que exista aumento de la
produccin an cuando tambin deje de haber recesin
7. No es cierto que, Coco no pinta excepto que tampoco esculpi estatuas. Adems ni
va al cine ni al teatro.
8. Jams en invierno hace calor, an cuando en verano llueve al igual que haya eclipse
asimismo haya evaporizacin de agua tal como no hay granizo.
9. Juan es director de una compaa de teatro, pues no es el caso que sea comerciante o
un prspero industrial.
10. Maana viene Jos; luego, si no viene, viaja a Lima si consigue pasaje.
11. Si has escogido bien tu carrera, te esforzars y triunfars. Si no triunfas, no has
escogido bien tu carrera o no te has esforzado.
12. Como Jorge gana demasiado dinero, no saldr de vacaciones de su trabajo, ni viajar
al extranjero.
13. Es falso que si Marco no estudia abogaca no podra contraer matrimonio, dado que
Marco es experto en poltica financiera.
14. O estoy equivocado o no es cierto que he aprobado el examen de matemtica y
tambin el de comunicacin.
15. Reflexiona a menos que al mismo tiempo seas irresponsable. Te esfuerzas
estudiando porque quieres ser profesional. Por consiguiente reflexionas e incluso eres
esforzado.
16. Si Rosa recibi la carta, o bien tom el mnibus o bien no recibi el pedido. Rosa
no tom el mnibus, entonces y slo entonces, Rosa ignor el pedido en vista de que no
recibi la carta.
17. Si en la luna no hay oxgeno, entonces no hay agua ni aire. Si no hay oxgeno ni
hay agua, entonces no hay plantas. No es el caso que en la luna haya oxgeno o no haya
plantas. En consecuencia, la luna est hecha de queso.
EVALUACIN DE ESQUEMAS MOLECULARES POR TABLAS DE VERDAD

Evaluar un esquema molecular, por medio de tablas de valores de verdad, consiste

en obtener los valores del conectivo de mayor jerarqua presente en la proposicin, a
partir de los valores de verdad de cada una de las proposiciones simples que la
conforman.
El nmero de combinaciones posibles que se puede obtener con los valores de
verdad, depende del nmero de variables proposicionales que interviene en el esquema
molecular y se puede obtener utilizando la siguiente frmula: 2n , donde 2 es la constante
(valores V F) y n es el nmero de variables que interviene en el esquema molecular.
Para realizar la evaluacin del esquema lgico se necesita de las denominadas
Tablas de verdad creadas por Wittgenstein que se presenta a continuacin.

Variables Proposicionales
Valores de verdad

Esquema Molecular
Operaciones
segn
definiciones dadas.

A. Tautologa. Un esquema molecular es Tautolgico cuando, los valores de su

conectivo principal son todos verdaderos.
B. Contradictorio. Un esquema molecular es contradictorio, cuando en el resultado
del conectivo lgico principal, todos los valores son falsos.
C. Contingencia. Un esquema molecular es contingente, cuando en su resultado de
su conectivo lgico principal hay por lo menos una verdad y una falsedad.
Ejercicios
Evaluar los siguientes esquemas moleculares:
1. M p q p ~ q
Resolucin:
p

p q

V
V
F
F

V
F
V
F

V
F
V
V

V
F
F
F

p
V
V
F
F

~q
F
F
F
F

F
V
F
V

M p q p ~ q , es una CONTRADICCIN

2. M P ~ q p q p q

3. Q ~ r q p ~ q ~ r q
VALOR DE VERDAD DE UNA PROPOSICIN MOLECULAR
Para determinare el valor de verdad de una proposicin molecular determinada, es
decir, para saber si es verdadera o falsa, se utilizan tambin tablas de valores de
verdad, pero se procede en forma abreviada, utilizando solamente la fila que
contiene los valores de verdad de las proposiciones simples que intervienen, se
puede utilizar tambin por niveles.
Ejercicios

LEYES FUNDAMENTALES DE LA LGICA O PRINCIPIOS LGICOS

1. PRINCIPIO DE IDENTIDAD. Toda proposicin es idntica a s misma
p p y p p
Ejemplos:
a) Si un nmero es par, entonces es par
b) Un nmero es primo, si y slo si es primo

2. PRINCIPIO DE NO CONTRADICCIN. No es cierto que, una proposicin

sea verdadera y falsa a la vez.
~ p ~ p
Ejemplo:
No es cierto que, un nmero es mltiplo de seis y no sea mltiplo de seis.
3. PRINCIPIO DEL TERCIO EXCLUDO. Una proposicin o es verdadera o es
falsa; no hay una tercera posibilidad.
p ~ p
Ejemplo:
Un nmero es positivo o no es positivo
EQUIVALENCIAS NOTABLES O LEYES DEL LGEBRA PROPOSICIONAL

Es debido a los aportes de GEORGE BOOLE (1815-1864), quien enuncia las leyes
del clculo de clases o lgebra lgica.
1. Doble negacin o involucin. ~ ~ p p
2. Idempotencia. p p p p p p
3. Conmutativa. p q q p p q q p
4. Asociativa. p q r p q r p q r p q r
5. Distributiva. p q r p q p r

p q r p q p r

p q r p q p r
p q r p q p r

6. Leyes de demorgan. ~ p q ~ p ~ q ~ p q ~ p ~ q
7. Leyes de complementacin. p ~ p V p ~ p F ~ V F ~F V
8. Leyes de identidad. p F F p p p V V p V
pV V p p pF F p F
9. Definicin condicional. p q ~p q ~ p q
10. Definicin del bicondicional. p q p q q p

p q p q ~ p ~ q

11. Definicin de la disyuncin fuerte. pq p q ~ p ~ q

12. Definicin de negacin conjunta. p q ~ p ~ q
13. Definicin de negacin alterna. p | q ~ p ~ q
14. Leyes de absorcin. p p q p p p q p

p ~ p q p q p ~ p q p q

Ejercicios
1. Demuestre que: p ~ p q p q . Justifique cada paso que realice.
Resolucin:
p ~ p q p ~ p p q
Ley distributiva
p ~ p q F p q

Ley de complementacin

p ~ p q p q

Ley de identidad

2. Simplificar el siguiente esquema molecular: p q p s t p q r

Resolucin:
p q p s t p q r ~ p q p p q r s t Ley

condicional, ley conmutativa y ley asociativa