Anda di halaman 1dari 56

MDULO 2

2 Desarrollo del
pensamiento lgico
CONTENIDO
PORTADA 1
1. PRESENTACIN 2
2. OBJETIVOS .. 2
3. METODOLOGA ... 2
4. EVALUACIN .... 3
5. ACREDITACIN .. 3
6. BIBLIOGRAFA . 3
7. CONTENIDOS . 4

1. PRESENTACIN

El Taller de DESARROLLO DEL PENSAMIENTO LGICO est dirigido a los


estudiantes del mdulo dos, de la Carrera de Fsico-Matemticas del rea de la
Educacin, el Arte y la Comunicacin, como base que apoye su formacin profesional
especializada y le permita comprender e interpretar los fundamentos de la matemtica
que aborde en cada uno de los mdulos de la carrera y luego en su prctica
profesional.

Se desarrollar bajo la orientacin conceptual y metodolgica que orienta el Sistema


Acadmico Modular por Objetos de Transformacin SAMOT, e impulsa con rigurosidad
la aplicabilidad de los fundamentos cientficos, considerando las necesidades de los
estudiantes e incorpora la creatividad, valores y desarrollo de la inteligencia como ejes
transversales, sin perder la alegra, la creatividad y la interlocucin.

2. OBJETIVOS

2.1. OBJETIVOGENERAL

Comprender el papel que cumple el Pensamiento Lgico en el aprendizaje y


aplicacin de la matemtica, regocijarse con su uso y reconocer el valor del
pensamiento lgico, analtico, crtico y propositito en la bsqueda de
soluciones de los problemas naturales y sociales.

2.2. ESPECFICOS
Reconocer la importancia del juicio, la oracin y la proposicin.
Distinguir la importancia de los conectivos lgicos.
Explicar el clculo proposicional.
Aplicar las leyes del clculo proposicional.
Comprender y utilizar los mtodos para demostrar la validez de una
inferencia lgica
Interpretar los circuitos lgicos.

3. METODOLOGA

El proceso ser participativo, dinmico, integral y productivo, donde la aprehensin de


la realidad que modifica los esquemas de los participantes constituye los aprendizajes
significativos.

El trabajo acadmico, se apoya en procesos y tcnicas grupales que promuevan la


comunicacin en el grupo y el logro de conocimientos individuales significativos que
MDULO 2 3
Desarrollo del pensamiento lgico

modifiquen los esquemas mentales


Los asistentes al curso cuentan con un documento gua que facilita y habilita la
participacin en su proceso de formacin, as como el uso de la INTERNET y
programas de computacin.

4. EVALUACIN

El proceso de evaluacin ser permanente y sistemtico que permitir la reorientacin


y mejoramiento del interaprendizaje, mediante la observacin directa por parte del
docente y la participacin fundamentada los estudiantes.

El taller es de aprobacin independiente y se enmarca en el Capitulo II De la


Evaluacin, Acreditacin y Calificacin de los Aprendizajes del Reglamento de
Rgimen Acadmico de la UNL.

5. ACREDITACIN

La acreditacin se cumplir a travs de la verificacin del cumplimiento de:

Tareas extra clase 20%


Trabajo en clase 20%
Pruebas 60%
TOTAL 100%

Debiendo alcanzar un promedio mnimo de 7/10 para aprobar el taller.

6. BIBLIOGRAFA

1. FIGUEROA G., Ricardo, Matemtica Bsica 1, 8va ed., Editorial Amrica, Lima-
Per, 2003, 699 pp.

2. LIPSCHUTZ, Seymour, Matemticas para Computacin, Editorial Calypso,


Mxico, 1983, 333 pp.

3. PROAO V., Ramiro, Lgica, Conjuntos y Estructuras, 2da ed., Quito-Ecuador,


1992, 242 pp.

4. BARRERO DE NUDLER, TELDA. Lgica dinmica: nociones tericas y ejercicios


con sus soluciones de lgica tradicional y simblica. Editorial Kapeluzs, Buenos
Aires.1969, 183 pp.
MDULO 2
4 Desarrollo del
pensamiento lgico
INTRODUCCIN

Aprender matemticas y fsica es muy difcil; as se expresan la mayora de


estudiantes de todos los niveles, sin embargo pocas veces se busca una explicacin
del porqu no aprenden las ciencias exactas los alumnos.

Los alumnos no aprenden ciencias exactas, porque no saben relacionar las


conocimientos que se proporcionan en la escuela (leyes, teoremas, frmulas) con los
problemas que se le presentan en la vida real. Otro problema grave es que el
aprendizaje no es significativo. El presente trabajo pretende motivar a los estudiantes
para que con ayuda de la lgica matemtica, l sea capaz de encontrar estos
relacionamientos entre los diferentes esquemas de aprendizaje, para que de esta
manera tenga una buena estructura cognitiva. Consideramos que si el alumno sabe
lgica matemtica puede relacionar estos conocimientos, con los de otras reas para
de esta manera crear conocimiento.

La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas
y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en
la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un
razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones,
sin embargo la lgica permite saber el significado correcto. En las matemticas para
demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en
investigaciones. En la computacin para revisar programas. En general la lgica se
aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento
lgico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que
realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona
desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede
pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes
no pint la parte alta porque se manchara lo que ya tiene pintado, tambin
dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de
derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica.

La lgica es pues muy importante; ya que permite resolver incluso problemas a los que
nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y
apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos
inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos.

Al presentar el documento lo hemos estructurado de la siguiente manera:


Primeramente se establece la importancia de la lgica matemtica, despus se habla
de la historia de la misma; la relacin de la lgica con otras ciencias; la divisin de la
Lgica; definimos el concepto de proposicin. Se establece el significado y utilidad de
conectivos lgicos para formar proposiciones compuestas. Ms tarde abordamos las
proposiciones condicionales y bicondicionales. Definimos tautologa, contradiccin y
contingente, y proporcionamos una lista de las tautologas ms importantes, as mismo
explicamos a que se le llama proposiciones lgicamente equivalente apoyndonos de
tablas de verdad. Para finalizar; abordamos los mtodos de demostracin: directo y por
contradiccin, en donde incluye reglas de inferencia y por ltimo estudiaremos los
circuitos lgicos.
MDULO 2 5
Desarrollo del pensamiento lgico

El objetivo de la presente gua de lgica matemtica es facilitar al estudiante el


estudio, comprensin y razonamiento de: categoras, conceptos, teoremas, axiomas y
postulados; as como tambin el anlisis de las proposiciones desde el punto de vista
de la lgica formal y simblica as como el desarrollo de ejercicios modelos que les
servirn de base para el cumplimiento de sus tareas. Trata adems de presentar las
explicaciones con ejemplos que le sean familiares. Nuestro objetivo es que el alumno
aprenda a realizar demostraciones formales por el mtodo directo y el mtodo por
contradiccin. Ya que la mayora de los libros comerciales nicamente se quedan en
explicacin y demostracin de reglas de inferencia. Consideramos que s el alumno
aprende lgica matemtica no tendr problemas para aprender ciencias exactas y ser
capaz de programar computadoras, ya que un programa de computadora no es otra
cosa que una secuencia de pasos lgicos, que la persona establece para resolver un
problema determinado.

Es importante mencionar que en las demostraciones no hay un solo camino para llegar
al resultado. El camino puede ser ms largo o ms corto dependiendo de las reglas de
inferencia y tautologas que el alumno seleccione, pero definitivamente deber llegar al
resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas
estar bien. Esto permite que el estudiante tenga confianza en la aplicacin de reglas y
frmulas. De tal manera que cuando llegue a poner en prctica esto, l sea capaz de
inventar su propia solucin, porque en la vida cada quien resuelve sus problemas
aplicando las reglas de inferencia para relacionar los conocimientos y obtener el
resultado.

HISTORIA DE LA LGICA

En el pasado las matemticas eran consideradas como la ciencia de la cantidad,


referida a las magnitudes (como en la geometra), a los nmeros (como la aritmtica), o
a la generalizacin de ambos (como en lgebra). Hacia mediados del siglo XIX, las
matemticas se empezaron a considerar como la ciencia de las relaciones, o como la
ciencia que produce condiciones necesarias. Esta ltima nocin abarca la lgica
matemtica o simblica, ciencia que consiste en utilizar smbolos para generar una
teora exacta de deduccin e inferencia lgica basada en definiciones, axiomas,
postulados y reglas que transforman elementos primitivos en relaciones y teoremas
ms complejos.

Trataremos la evolucin de los conceptos e ideas matemticas siguiendo su desarrollo


histrico. En realidad, las matemticas son tan antiguas como la propia humanidad: En
los diseos prehistricos de cermica, tejidos, y en las pinturas rupestres se pueden
encontrar evidencias del sentido geomtrico y del inters en figuras geomtricas. Los
sistemas de clculo primitivo estaban basados, seguramente, en el uso de los dedos de
una o dos manos, lo que resulta evidente por la gran abundancia de sistemas
numricos en los que las bases son los nmeros 5 y 10.

LAS MATEMTICAS EN LA ANTIGEDAD

Las primeras referencias a matemticas avanzadas y organizadas datan del tercer


milenio antes de cristo, en Babilonia y Egipto. Estas matemticas estaban dominadas
por la aritmtica, con cierto inters en medida y clculos geomtricos y sin mencin de
conceptos matemticos como los axiomas o las demostraciones.
MDULO 2
6 Desarrollo del
pensamiento lgico

Los primeros libros egipcios, escritos hacia el ao de 1800 A.C., muestran un sistema
de numeracin decimal con distintos smbolos para las sucesivas potencias de 10 (1,
10, 100), similar al sistema utilizado por los romanos. Los nmeros se representaban
escribiendo el smbolo del 1 tantas veces como unidades tena el nmero dado, el
smbolo del 10 tantas veces como decenas haba en el nmero, y as sucesivamente.
Para sumar nmeros, se sumaban por separado las unidades, las decenas, las
centenas de cada nmero. La multiplicacin estaba basada en duplicaciones
sucesivas y la divisin era el proceso inverso.

Los egipcios utilizaban sumas de fracciones unidad a, junto con la fraccin b, para
expresar todas las fracciones. Utilizando este sistema, los egipcios fueron capaces de
resolver problemas aritmticos con fracciones, as como problemas algebraicos
elementales. En geometra encontraron las reglas correctas para calcular el rea de
tringulos, rectngulos y trapecios, y el volumen de figuras como ortoedros, cilindros y,
por supuesto, pirmides. Para calcular el rea de un crculo, los egipcios utilizaban un
cuadrado de lado U del dimetro del crculo, valor muy cercano al que se obtiene
utilizando la constate (3.1416).

El sistema babilnico de numeracin era bastante diferente del egipcio. En el


babilnico se utilizaban tablillas con varias muescas o marcas en forma de cua
(cuneiforme); una cua sencilla representaba al 1 y una marca en forma de flecha
representaba al 10. Los nmeros menores de 59 estaban formados por estos smbolos
utilizando un proceso aditivo, como en las matemticas egipcias. El nmero 60, sin
embargo, representaba con el mismo smbolo que el uno, y a partir de ah, el valor de
un smbolo vena dado por su posicin en el nmero completo. Por ejemplo, un
nmero compuesto por el smbolo del 2 seguido por el del 27 y terminado con el del
10, representaba 2 x 602 + 27 x 60 + 10. Este mismo principio fue ampliado a la
representacin de fracciones, de manera que el ejemplo anterior poda tambin
representar 2 x 60 + 27 + 10 x (), o 2 + 27 x () + 10 x () 2. Este sistema,
denominado sexagesimal (base 60), resultaba tan til como el sistema decimal (base
10).

Con el tiempo, los babilonios desarrollaron unas matemticas ms sofisticadas que les
permitieron encontrar las races positivas de cualquier ecuacin de segundo grado.
Fueron incluso capaces de encontrar las races de algunas ecuaciones de tercer grado,
y resolvieron problemas ms complicados utilizando el teorema de Pitgoras. Los
babilonios compilaron una gran cantidad de tablas, incluyendo tablas de multiplicar y de
dividir, tablas de cuadrados y tablas de inters compuesto. Adems, calcularon no solo
la suma de progresiones aritmticas y de algunas geomtricas, sino tambin de
sucesiones de cuadrados.

Existen algunos personajes que los citaremos a continuacin que han hecho historia
ya sea por sus frases clebres o por su pensamiento, como son:

PARMENIDES: Negaba el cambio, ya que para l cambiar significaba que una cosa
deje de ser lo que es.

SCRATES: Uno de los grandes personajes de la historia: su frase clebre slo se


que nada se
MDULO 2 7
Desarrollo del pensamiento lgico

PLATN: Discpulo de Scrates, al contrario de lo de su maestro deca que el


individuo nace sabindolo todo, pues el alma antes de venir al mundo de lo material
existe en el mundo de las ideas, en donde todo es perfecto.
ARISTTELES: Es considerado el padre de la Lgica, sealaba que el ser humano
nace limpio de conocimiento, y que debe adquirirlos a travs de la vida.

En su obra organn trata sobre la lgica como mtodo del conocimiento.


Categoras o conceptos
Juicios o interpretaciones
Silogismos
Demostraciones

HERCLITO: Sealaba que todo lo que existe es obra del cambio y evolucin.
Dialctica o razonamiento.

DEFINICIN Y OBJETO DE LA LGICA

La palabra lgica se deriva de la palabra griega logos que significa razonamiento o


discurso.

La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un


nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido
un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar
teoremas; en ciencias de la computacin para verificar si son o no correctos los
programas; en las ciencias fsica y naturales, para sacar conclusiones de
experimentos; en las ciencias sociales y en la vida cotidiana, para resolver una
multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico
para realizar cualquier actividad.

Definicin de lgica de acuerdo a algunos autores:

Para Gorski: Lgica es la ciencia de las formas del pensamiento cientfico estudiadas
desde el punto de su estructura; la ciencia de las leyes que deben observarse para
obtener un conocimiento inferido; la lgica estudia tambin los procedimientos lgicos
generales utilizados para el conocimiento de la realidad.

Segn Fingemann: Lgica en la ciencia de las formas y leyes del pensamiento, que
nos da normas para la investigacin cientfica y nos suministra un criterio de verdad.

Entonces se puede decir que la lgica en una ciencia que ensea a razonar con
exactitud y que posee un lenguaje exacto, el cual para su desarrollo utiliza reglas las
cuales nos permite obtener una conclusin.

Castro Guerrero nos dice que segn Gorski Tabant el objeto de la lgica como ciencia
es el estudio del pensamiento humano. El estudio de la lgica permite que el
estudiante adquiera habilidades para razonar ya sea verbal o matemticamente
utilizando un lenguaje simblico que expresa el aspecto cuantitativo de la realidad.

Existen adems otras definiciones:


MDULO 2
8 Desarrollo del
pensamiento lgico

Lgica es la ciencia que estudia la estructura del pensamiento, prescindiendo del


contenido.

Lgica tambin es la manera ordenada de pensar y de expresar nuestras ideas.

El objetivo principal de la lgica es analizar la estructura del pensamiento, es decir su


forma lgica para descubrir leyes y reglas.

RELACIN DE LA LGICA CON LAS DEMS CIENCIAS

Con la filosofa: por ser parte de ella.


Con la psicologa: por cuanto el pensamiento es un proceso psicolgico.
Con la gramtica: el pensamiento se halla unido al lenguaje, a travs del cual se da
forma y expresin del pensamiento, cuyo material final es la palabra.
Con la sociologa: por que el hombre piensa de acuerdo con las leyes sociales.
Con las matemticas: por que ambas disciplinas tienen carcter formal.
Con la biologa: Porque el hecho lgico es un hbito y todo hbito es un hecho
biolgico.
Con la fsica: Porque cuando la lgica nos dice que puede ser o no ser, se refiere a
objetos fsicos y stos son un captulo de la fsica que trata sobre objetos de
cualquier naturaleza.

DIFERENCIAS ENTRE JUICIO, ORACIN Y PROPOSICIN

El juicio.- Es una relacin o conjuntos de conceptos que se caracteriza por constituir


una afirmacin o aseveracin de algo, es una forma, una estructura del pensamiento
que objetivamente es verdadero o falso. (Astudillo, Dolores; Inciso, Liliana).

El enunciado.- Es la expresin verbal o escrita del juicio.

Ejemplos:
Pedro es estudiante de la Universidad Nacional de Loja
x+2=7
3+2=5

No son enunciados:

Las oraciones exclamativas. (Sentimientos, interjecciones). Ej.: socorro!,


auxilio! te quiero!
Las oraciones imperativas. (rdenes), Ej.: Cierra la puerta; te vas afuera.
Las desiderativas. (Deseos, splicas). Ej.: Ojala no haya clases.
Las oraciones interrogativas. (Preguntas). Ej.: Qu hora es?

Razonamiento.-Es un conjunto de afirmaciones o juicios relacionados de manera al


que se supone que uno de ellos (llamado conclusin) se desprende o infiere del o los
otros (llamados premisas). La pretensin de que la conclusin se deriva de las
premisas se manifiesta a travs de expresiones especiales como: por lo tanto, luego,
por consiguiente, etc.
MDULO 2 9
Desarrollo del pensamiento lgico

La proposicin.- Es un enunciado que puede ser falso o verdadero, pero no ambas


cosas a la vez. La proposicin es un elemento fundamental de la lgica matemtica;
generalmente se las expresa en oraciones declarativas o aseverativas, tales como:

Oraciones afirmativas. (Informan). Ej.: Maana es lunes.

Oraciones descriptivas. (Describen). Ej.: La tiza es blanca

Oraciones explicativas. (Explican). Ej.: Si hace fro entonces es invierno

A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se


explica el porqu algunos enunciados no son proposiciones. Las proposiciones se
indican por medio de una letra minscula, dos puntos y la proposicin propiamente
dicha.

Ejemplo.

p La tierra es plana.
q -17 + 38 = 21
r x > y-9
s La Liga de Loja ser campen en la presente temporada de ftbol.
t: Hola como estas?
w Lava el coche por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto
son proposiciones vlidas. El inciso r tambin es una proposicin vlida, aunque el
valor de falso o verdadero depende del valor asignado a las variables x y y en
determinado momento. La proposicin del inciso s, es vlida Sin embargo los
enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o
verdadero, uno de ellos es un saludo y el otro es una orden.

Tarea:

Escribir 10 proposiciones vlidas y 10 invlidas.

Valor de verdad.- Una proposicin es verdadera o es falsa; si es verdadera se


denotar por la letra V o el 1 y si es falsa se denotar por F o por el 0. Si no se
puede determinar su valor de verdad, se podr analizar los posibles valores de verdad
(tablas de certeza).

CLASES DE PROPOSICIONES:

Las proposiciones se clasifican en proposiciones simples o atmicas y proposiciones


compuestas o moleculares:

Proposiciones simples.- Son aquellas proposiciones que no se pueden descomponer.

Ejemplo:
MDULO 2
10 Desarrollo del
pensamiento lgico
p: Todo organismo viviente se adapta a su medio fsico.
q: Si un nmero es divisible por 4 tambin lo es por 2.
r: (a +b)2 = a2 + 2ab + b2

Proposiciones compuestas o moleculares.- Son aquellos enunciados que estn


formados por dos o ms proposiciones simples y unidos por trmino lgico.
Ejemplos:

p: La nia Mara canta y su hermano Luis toca el piano.


q: Ecuador es un pas Amaznico y latinoamericano.

Podemos observar en los ejemplos anteriores que tanto p como q estn compuestas de
dos proposiciones simples.

Los conectivos lgicos son elementos gramaticales que unen dos o ms proposiciones
simples; estos son:

CONECTIVOS LGICOS


OPERADOR LGICO LGICA SIMBLICA TERMINOLOGA LGICA

Negacin no
Conjuncin y
Disyuncin o
Disyuncin exclusiva v o en sentido excluyente
Conjuncin negativa ni.ni
Disyuncin negativa / nono
Condicional Si., entonces
Bicondicional Si y slo si

PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS

Los operadores lgicos tambin permiten formar proposiciones compuestas (formadas


por varias proposiciones). Los operadores o conectores bsicos son:

CONJUNCIN ( ) QUE SE LEE Y

Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda
obtener un resultado verdadero. Su smbolo que se lee y. Se lo conoce como la
multiplicacin lgica y tiene estrecha relacin con la interseccin de conjuntos.

Ejemplo.

Sea el siguiente enunciado El coche enciende cuando tiene gasolina en el tanque y


tiene corriente la batera. Simbolizando tenemos:

p: el conche enciende cuando tiene gasolina en el tanque


q: tiene corriente la batera.
MDULO 2 11
Desarrollo del pensamiento lgico

V(p) = V
V(q) = V

En consecuencia:
V(p q) = V
Otro ejemplo:

3 + 4 = 6 y 3 + 7 = 10
p: 3 + 4 = 6 V(p) = F
q: 3 + 7 = 10 V(q) = V
Por consiguiente:
V (p q) = F

De tal manera que la representacin del enunciado anterior usando simbologa lgica
es como sigue:

pyq
p pero q
p q; que se lee: p aunque q
p incluso q
p tambin q; etc.

Su tabla de verdad es:


p q p q
V V V
V F F
F V F
F F F

TAREA:
Escribir 5 ejercicios de conjuncin y determine el valor de verdad de cada uno.

LA DISYUNCION:

LA DISYUNCIN INCLUSIVA: ( ) QUE SE LEE: O.

Es la unin de dos proposiciones simples con el conectivo lgico o. Simblicamente


se lo representa as: p q que se lee p q o ambas. El enunciado es verdadero
cuando alguna de las proposiciones es verdadera o ambas son verdaderas; Se conoce
tambin como la suma lgica y se relaciona estrechamente con la unin de conjuntos.

Ejemplos:

Sea el siguiente enunciado Una persona puede entrar al cine si compra su boleto u
obtiene un pase. Donde.

p: Una persona puede entrar al cine si se compra su boleto.


q: Obtiene su pase.
MDULO 2
12 Desarrollo del
pensamiento lgico
Simblicamente tenemos:
pq

V( p ) = V
V( q ) = V

En consecuencia: V (p q) = V
4+3=9o3+5=8

p: 4 + 3 = 9 V ( p) = F
q: 3 + 5 = 8 V (q ) = V

En consecuencia: V (p q) = V
Su tabla de verdad es:

p q p q
V V V
V F V
F V V
F F F

TAREA:

Escriba 5 ejemplos de disyuncin inclusiva y determine su valor de verdad.

DISYUNCIN EXCLUSIVA.- ( V ) QUE SE LEE O EN SENTIDO EXCLUYENTE

El enunciado es verdadera cuando p es verdadero y q es falso o viceversa.


Simblicamente se lo representa por p q que se lee p o q pero no ambas.

Ejemplos:

Carmen es hija de Jos de Vicente


Simblicamente tenemos:

p: Carmen es hija de Jos V(p) = V


q: Carmen es hija de Vicente V (q) = V

En consecuencia: V (p q) = F
(p q) que se lee: p q, pero no ambas.

25 = 6 o 3 + 9 = 7
p: 25 = 6 V (p) F
q: 3 + 9 = 7 V 8q) = F

En consecuencia: V (p q) = F
MDULO 2 13
Desarrollo del pensamiento lgico

TAREA:

Escribir 5 ejercicios de disyuncin exclusiva y determine el valor de verdad.

Su tabla de verdad es:

p q (p q)
V V F
V F V
F V V
F F F

CONJUNCIN NEGATIVA:

El enunciado es verdadero cuando las proposiciones simples que la forman son falsas.

La conjuncin negativa de dos proposiciones p y q, se representa por p q o por p


q se lee: ni p, ni q

Ejemplos:

ni 3 + 2 = 5, ni 2 + 4 = 6

Simblicamente tenemos:
p q

p: 3 + 2 = 5 V (p) = V
q: 2 + 4 = 6 V (q) = V

Consecuentemente tenemos que:


V (p q) = F

p: 3 + 2 5 V ( p) = F
q: 2 + 4 6 V ( q) = F;

Consecuentemente:
V ( p q) = F

Entonces se deduce que:


(p q) ( p q )

Su tabla de verdad es:


(p
p q
q)
V V F
V F F
F V F
F F V
MDULO 2
14 Desarrollo del
pensamiento lgico

TAREA: Escribir 5 ejercicios de conjunciones negativas y determinar el valor de verdad.

DISYUNCIN NEGATIVA:

El enunciado es falso cuando las proposiciones simples que la forman son verdaderas.
La disyuncin negativa de proporciones se representa por p / q; que se lee no no q.
Ejemplo:

No eres pintor o no eres artista p / q

p: eres artista V (p) = V


q: eres pintor V ( q) = V

En consecuencia:
V (p / q) = F

p: no eres artista V (p) = F


q: no eres pintor V (q ) = F

Consecuentemente:
V (p q) = F

Luego: p / q (p q )
Su tabla de verdad es:
p q (p/q)
V V F
V F V
F V V
F F V
Negacin ( ) no

Su funcin es negar la proposicin. Esto significa que s alguna proposicin es


verdadera y se le aplica el operador no se obtendr su complemento o negacin (falso).
Al negar una proposicin simple, se transforma en una proposicin compuesta Este
operador se indica por medio de los siguientes smbolos: (~, ) Ejemplo.

Ejemplos:

p: Patricio est estudiando en la sala V (p) = V


p: Patricio no esta estudiando en la sala. V ( p) = F

q: Mara es novia de Ivn V (q) = F


q: No es cierto que Mara es novia de Ivn V (q) = V

Su tabla de verdad es:


p p
V F
MDULO 2 15
Desarrollo del pensamiento lgico

F V

A veces la negacin de una proposicin simple se obtiene mediante otra proposicin


simple, as:

p: x es mortal
p: x es inmortal
q: y es par
q: y es impar

La negacin en matemticas se realiza as:

p: 2 + 3 = 5 V (p) = V
p: 2 + 3 5 V (p) = F

NEGACIN DE PROPOSICIONES COMPUESTAS:

Se puede tambin utilizar otras formas de negar como: no es el caso que; no es cierto
que, (frecuentemente se acostumbra a utilizar esta forma cuando se niegan
proposiciones compuestas)

No es el caso que: 3 2 y 4 + 1 = 5; simblicamente tenemos: ( p q )


No es cierto que: 3 2 y 4 + 1 = 5; simblicamente tenemos: ( p q )
p: 3 2 V (p) = F
q: 4 + 1 = 5 V (q) = V

Consecuentemente:

V(pq)=V

TAREA: Escriba 5 ejemplos de negacin.

PROPOSICIONES CONDICIONALES ( ) que se lee entonces

Una proposicin condicional, es aquella que est formada por dos proposiciones
simples (o compuesta) p y q. La cual se indica de la siguiente manera: que se lee si
p, entonces q; simblicamente se la representa por:

Se lee Si p, entonces q
Si p, q
pq p, slo si q
p es necesario para q; etc. En este caso p: es el antecedente y q: es el
consecuente.

Se lee:
q puesto que p
MDULO 2
16 Desarrollo del
pensamiento lgico
q, si p
q cuando p
qp q cada vez que p
q dado que p
q porque p
q ya que p; etc. Se caracterizan porque despus de cada uno de
estos conectivos est el antecedente o condicin.

Ejemplo: Simbolice y determine el valor de verdad:

Un candidato a presidente del Ecuador dice: Si salgo electo presidente de la Repblica


del Ecuador, entonces recibirn un 50% de aumento en su sueldo el prximo ao. Una
declaracin como esta se conoce como condicional. Su tabla de verdad es la siguiente:

p: Si salgo electo Presidente de la Repblica del Ecuador V (p) = V


q: Recibirn un 50% de aumento en su sueldo el prximo ao V (q) = V

De tal manera que el enunciado se puede expresar de la siguiente manera: p q


El V( p q ) = V
Otro ejemplo:

5+7=12 8- 5 = 4 ; Simblicamente tenemos: p q


p: 5 + 7 = 12 V( p) = V
q: 8 5 = 4 V( q ) = F

Su valor de verdad es: V (p q ) = F

Su tabla de verdad es:


p q p q
V V V
V F F
F V V
F F V

Esto significa que una proposicin condicional es falsa cuando p = V y q = F; en los


dems casos ser verdadera.

VARIANTES DE LA CONDICIONAL

A toda proposicin condicional se le asocia tres proposiciones igualmente importantes,


que son: proposicin recproca, inversa y contra recproca.

Proposicin recproca.- Dada la proposicin condicional p q , se llama


proposicin recproca a la proposicin que se denota por: q p

Ejemplo:
Si y es par, entonces, y es mltiplo de 2 ; simblicamente: p q. Condicional
Si y es mltiplo de 2, entonces, y es par ; simblicamente: p q. Su recproca:
MDULO 2 17
Desarrollo del pensamiento lgico

Si b es perpendicular a c, entonces c es perpendicular a b.


La proposicin anterior simblicamente la denotamos por p q; mientras que la
proposicin recproca ser: q p.

c es perpendicular a b, si b es perpendicular a c.

Proposicin inversa. - Dada la proposicin condicional p q , se llama


proposicin inversa a la proposicin que se denota por: p q.

Ejemplo: Si Juan consigue la beca, entonces viajar a Francia; simblicamente


tenemos: pq
La proposicin inversa ser: " p q, ser:

Si Juan no consigue la beca, entonces no viajar a Francia.. Simblicamente tenemos:


" p q

Proposicin contra recproca.- Dada la proposicin condicional: p q, se


denomina proposicin contra recproca a la que se denota por: q p.
Ejemplo:

Si vivo en Cariamanga, vivo en la provincia de Loja; simblicamente: p q

La proposicin contra recproca ser : No vivo en la provincia de Loja, si no vivo en


Cariamanga ; simblicamente: q p

En los siguientes ejercicios escribir la proposicin dada en la forma si p entonces q;


determine su valor de verdad. A continuacin, escribir la recproca y la contrarecproca
y determinar la verdad o falsedad de cada una.

a) Las lechugas son verduras


b) Slo las rectas paralelas no se cortan
c) Slo las rectas perpendiculares forman ngulos rectos.
d) Un tringulo equiltero tiene tres lados iguales
e) Si a es mayor que b entonces b es mayor que a
f) Los tringulos issceles son equilteros
g) Un hombre natural de Zapotillo es natural de Loja
h) Si x = 4 entonces x2 = 16
i) Ningn profesor de idiomas tiene mala ortografa
j) Toda persona mayor de 18 aos puede votar.

PROPOSICIN BICONDICIONAL: ( ), QUE SE LEE SI Y SLO SI

Sean p y q dos proposiciones simples entonces se puede indicar la proposicin


bicondicional de la siguiente manera: p q; que se lee p si y solo si q

Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p es falsa


si y solo si q tambin es falsa. Ejemplo; el enunciado siguiente es una proposicin
bicondicional
MDULO 2
18 Desarrollo del
pensamiento lgico

Luis es buen estudiante, si y solo si; tiene promedio de diez

Simblicamente tenemos:
p: Lus es buen estudiante V (p) = V
q: Tiene promedio de diez. V (q) = V

Por consiguiente: V (p q) = V
Su tabla de verdad es:
p q p q
V V V
V F F
F V F
F F V

La proposicin bicondicional solamente es verdadera si tanto p como q son falsas o


bien ambas verdaderas.

La proposicin bicondicional, tambin se forma por la conjuncin de una proposicin


condicional y su recproca, simblicamente tememos:
pq = pq qp

Ejemplo: Juan viajar a la ciudad de Cuenca si y slo si obtiene un prstamo en el


Banco de Loja; Simblicamente tenemos: q p

Equivale a decir: Si Juan viaja a la ciudad de Cuenca, entonces obtiene un prstamo


en el Banco de Loja, y si obtiene un prstamo en el Banco de Loja viajar a la ciudad
de Cuenca. Simblicamente tenemos: = p q q p

Por lo tanto la primera y segunda proposicin son iguales:


pq = pq qp

SIGNOS DE PUNTUACIN, AGRUPACIN Y ORDEN DE LOS OPERADORES O


CONECTIVOS LGICOS

Los signos de agrupacin ms conocidos tenemos: el parntesis, corchete y llaves


( ); [ ] ;

Estos signos reemplazan a los signos gramaticales: punto (.), la coma (,), el punto y
como (;), y los dos puntos (:).

Los signos de agrupacin se usan en lgica cuando se trata de obtener esquemas


lgicos ms complejos con el fin de evitar la ambigedad de las frmulas:

1. Si las proposiciones tienen el mismo tipo de operador o conectivo lgico, se debe


colocar los parntesis de izquierda a derecha as:

p q r = (p q) r
p q r s = [(p q) r ] s
MDULO 2 19
Desarrollo del pensamiento lgico

p q r s = [(p q) r] s

2. Si no hay signos de puntuacin ni parntesis se debe considerar el siguiente orden


de menor a mayor jerarqua de los operadores y de izquierda a derecha, para ubicar
los parntesis.
, , , ,
Ejemplos:

p q r = (p q) r
p q r v s = (p q) (r v s )
p q r s = (p q) (r s)

3. Si la proposicin compuesta est escrita con parntesis, la ubicacin de stos nos


indicar cual es el operador predominante:

Ejemplo:
p q r = (p q) v r Es un esquema disyuntivo
p q r v s = (p q) ( r v s ) Es un esquema condicional
p q r s = (p q) (r s ) Es un esquema bicondicional.

4. Si un esquema molecular no lleva los signos de agrupacin, se puede indicar cual


es el operador predominante as:

1) Conjuncin prs (p r) s
2) Condicional pq s --------------------------------
3) Condicional p qr --------------------------------
4) Condicional rpq --------------------------------
5) Conjuncin rpq --------------------------------
6) Disyuncin rqt --------------------------------
7) Disyuncin qps --------------------------------
8) Disyuncin qps --------------------------------
9) Disyuncin qrs --------------------------------
10) Condicional qrs --------------------------------
11) Negacin pr --------------------------------
12) Condicional pr --------------------------------
13) Negacin ts --------------------------------

Dadas las siguientes proposiciones matemticas, incluir los parntesis.

1. Disyuncin x0 x>yy=z x 0 ( x > y y = z)


2. condicional x=0x>yyz --------------------------------
3. condicional x = 0 x 0 y z --------------------------------
4. condicional x>yx yy>z --------------------------------
5. conjuncin x = 0 x > 0 y= 0 --------------------------------
6. condicional x = y y = z x= z --------------------------------
7. conjuncin x=yy=zyz --------------------------------

En la proposicin compuesta: p ( q r ) el conector principal es .


MDULO 2
20 Desarrollo del
pensamiento lgico
En la proposicin compuesta: p q el conector principal es
En la proposicin compuesta: p ( p r) el conector principal es
En la proposicin compuesta: [ ( p q) (r s)] el conector principal es

Como podemos darnos cuenta, que los signos de puntuacin permiten, entre otras
cosas, identificar en una proposicin compuesta el CONECTOR DOMINANTE O
CONECTOR PRINCIPAL O EL DE MAYOR JERARQUA

Debemos recordar que un esquema molecular es la combinacin de las variables,


operadores lgicos y los signos de agrupacin.

CLCULO PROPOSICIONAL

VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS

Hay dos formas de establecer los valores de verdad:

1. Por medio de las tablas de verdad

Las tablas de verdad permiten determinar el valor de verdad de una proposicin


compuesta y depende de las proposiciones simples y de los operadores que
contengan.

Es posible que no se conozca un valor de verdad especfico para cada proposicin; es


este caso es necesario elaborar una tabla de verdad que nos indique todas las
diferentes combinaciones de valores de verdad que pueden presentarse. Las
posibilidades de combinar valores de verdad dependen del nmero de proposiciones
dadas.

Para una proposicin (n = 1), tenemos 21 = 2 combinaciones


Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones
Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones
Para n proposiciones tenemos 2n combinaciones

Ejemplo: dado el siguiente esquema molecular, construir su tabla de valores de verdad:

Pasos para construir la tabla:

( p q) (p r)

1. Determinamos sus valores de verdad 2 3 = 8 combinaciones

2. Determinamos las combinaciones:

p q r
V V V
V V F
V F V
MDULO 2 21
Desarrollo del pensamiento lgico

V F F
F V V
F V F
F F V
F F F

3. Adjuntamos a ste cuadro el esquema molecular y colocamos debajo de cada una


de la variables sus valores de verdad :

p q r (p q ) (p r)
V V V F F V V V F F
V V F F F V F V V V
V F V F F F V V F F
V F F F F F F V V V
F V V V V V V F V F
F V F V V V V F V V
F F V V F F F F V F
F F F V F F F F V V

(4)
(5)
(6)

4. Aplicamos la conjuncin de:


(p q )

5. Aplicamos la condicional
(p r)

6. Aplicamos la bicondicional

(p q ) (p r)

El operador de mayor jerarqua es el que determina los valores de verdad del esquema
molecular.

Ejercicios:

Sabiendo que p es falsa, q es verdadera y r es falso, hallar el valor de verdad de las


siguientes proposiciones compuestas por medio de la tabla de verdad.

a) (p q) (p q)
b) p (q r)
c) q (p q)
d) ( p q) (p r)
MDULO 2
22 Desarrollo del
pensamiento lgico
e) ( q ) (q r)
f) (r r) r

2.- Por medio del diagrama de rbol.-

Es un procedimiento corto y fcil, se necesita conocer los valores de verdad de cada


variable y aplicar las tablas de certeza lgica:

Ejemplos:

a. Sabiendo que p es falsa, q es verdadera y r es verdadera. Cul es el valor de


verdad de la proposicin q (p r).
Solucin:
Tenemos: q ( p r )

V F V

Luego la proposicin: q (p r), es falsa.

b. Dado el siguiente esquema molecular:


( p q) (p r)

Si: p es falsa q es verdadera y r es verdadera. El conector dominante es el


bicondicional encontrar el valor de verdad del esquema por medio del diagrama del
rbol:

Solucin:

( p q ) ( p r)

V V F F
V V

Luego la proposicin: ( p q) (p r) es verdadera

Ejercicios

1. Si el valor de verdad de la proposicin: q p, es falsa, Cul ser el valor de


verdad de: q p.
MDULO 2 23
Desarrollo del pensamiento lgico

2. Completar con V o F, cada una de las siguientes proposiciones, justificar la


respuesta:

a. Se sabe que p q es verdadera. Por lo tanto el valor de verdad de p q es:


-----------------------

b. Se sabe que p q es falsa. Por lo tanto, el valor de verdad de p q es:


-----------------------

c. Se sabe que p q es falsa. Por lo tanto, el valor de vedad de p q es:


-----------------------

d. Se sabe que p es falsa y p q es verdadera. Por lo tanto, p q es:


-----------------------
e. Se sabe que q y r es verdadera. Por lo tanto q ( p r) es:
------------------------

3. Escribir simblicamente las proposiciones siguientes y encontrar el valor de verdad


por el diagrama del rbol:

a. 2 es nmero par y 21 es mltiplo de 3, 5 es la raz cuadrada de 10


b. Si el m.c.m. de 12 y 15 es 60 y 3 es el cuadrado de 9, entonces, estudio o juego
ajedrez.

CONTINGENTES, TAUTOLOGAS Y CONTRADICCIONES

Los esquemas moleculares se clasifican segn el resultado que se obtenga en el


operador de mayor jerarqua, pueden ser:

CONTINGENTES

Cuando en su resultado hay por lo menos una verdad y una falsedad Ejemplo: dado el
siguiente esquema: ( p q) (p r)

p q r (p q ) (p r)
V V V F F V V V F F
V V F F F V F V V V
V F V F F F V V F F
V F F F F F F V V V
F V V V V V V F V F
F V F V V V V F V V
F F V V F F F F V F
F F F V F F F F V V

El esquema es contingente

TAUTOLOGA
MDULO 2
24 Desarrollo del
pensamiento lgico

Es una proposicin que siempre es verdadera, independientemente del valor lgico de


las proposiciones simples que la componen..

Se puede decir tambin que un esquema es un tautolgico cuando los valores de


verdad del operador principal son todos verdaderos.

Ejemplo

Si p y q son proporciones simples distintas, demuestre mediante tablas de certeza que


el siguiente esquema proposicional es una tautologa.

(p q) (p q)

p q ( p q ) ( p q )
V V V V V V V V V
V F V F F V V F F
F V F F V V F F V
F F F F F V F V F

Es un esquema tautolgico

CONTRADICCIN

Es cuando en el resultado todos los valores de verdad son falsos o Un esquema A es


una contradiccin si no A ( A), es una contradiccin cuando todos los valores del
operador de mayor jerarqua son falsos.

Indeterminacin: es la sentencia que ni es verdadera ni falsa.

Ejemplo: Dado el siguiente esquema molecular:


( p q) r [ r ( p q ), determinar si se trata de una contradiccin:

p q r ( p q) r [r ( p q )
V V V F F V V F F V F F V V F
V V F F F V V V F F F F V V F
V F V F F F V F F V F F V V V
V F F F F F V V F F F F V V V
F V V V V V F F V V V V F F F
F V F V V V V V F F F V F F F
F F V V F F V F F V F F F V V
F F F V F F V V F F F F F V V

1 2 3 4 10 5 11 6 15 7 14 13 8 12 9

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


es un es un esquema contingente.
MDULO 2 25
Desarrollo del pensamiento lgico

OBSERVACIN:

A la tautologa se la simboliza con la letra T


A la idea de tautologa se la relaciona con el conjunto universal
A la contradiccin se la simboliza con la letra C
A la contradiccin se la relaciona con el conjunto vaco.
La negacin de una tautologa es una contradiccin
La negacin de una contradiccin es una tautologa.

EJERCICIOS

Comprobar por medio de una tabla de verdad que las siguientes esquemas
compuestas son tautologas, contingentes o contradictorios

1. pp
2. (p q) ( q p)
3. ( p q ) ( q r )] ( p r)
4. [p ( p q ) q
5. ( p q) ( q p)

INFERENCIA LGICA

IMPLICACIONES LGICAS

Se lo representa por el smbolo , no es un conectivo lgico, es un signo de relacin

Se dice que un esquema A implica a otro esquema B, cuando al unirlos por la


condicional nos da una tautologa. Simblicamente se lo representa as: A B.

Si la proposicin compuesta A implica a la proposicin compuesta B, entonces B se


deduce necesariamente de A, o tambin se dice que B se infiere lgicamente de A.

Ejemplo: Demostrar que el esquema A implica a B

A: p q
B: p q

Luego unimos con la condicional y construimos la tabla:


pq pq

p q p q p q
V V V V V
V F F V V
F V F V V
F F F V F

Como el resultado es una tautologa, se ha demostrado que A implica a B.


MDULO 2
26 Desarrollo del
pensamiento lgico

Nota: la relacin de implicacin no es recproca.

EQUIVALENCIAS LGICAS

Se lo representa por pero no es un operador lgico.

Decimos que dos proposiciones compuestas P y Q son equivalente, s al unir las dos
con la bicondicional nos da una tautologa, es decir que P y Q tienen los mismos
valores de verdad en su operador principal. Simblicamente se escribe as:

P Q P Q Se lee P es equivalente a Q Q es equivalente a P.

Si no son equivalentes se los escribe as: P Q


Si P y Q son equivalentes, entonces Q se deduce vlidamente a partir P, y a la vez
tambin P se deduce necesariamente a partir de Q.
Para demostrar que una proposicin compuesta es equivalente a otra, se lo puede
hacer por medio de las tablas de verdad o por medio de las leyes y reglas de inferencia
que veremos a continuacin.

A los esquemas moleculares compuestos se los representa con las letras maysculas
A, B, C,.. etc. con P, Q, R, etc.

Ejemplos:

Determinar si las proposiciones siguientes son equivalentes, por medio de la tabla de


verdad:

A : Si Pedro aprob el curso preuniversitario, entonces ingres a la UNL.


Simblicamente: p q

B: No es el caso que: Pedro apruebe el curso preuniversitario y no ingrese a la UNL

Simblicamente : ( p q )

Luego demostramos que: p q ( p q )


Seguidamente para demostrar que estos dos esquemas son equivalentes, los unimos
con la bicondicional as: ( p q ) ( p q ) y construimos una tabla de
verdad:

p q ( p q ) ( p q )
V V V V V F
V F F V F V
F V V V V F
F F V V V F

Dado que el resultado de la tabla es una tautologa, las proposiciones A y B son


equivalentes.
MDULO 2 27
Desarrollo del pensamiento lgico

Otro Ejemplo:

P: q p ; Q: ( q p )

p q ( q p ) ( q p )
V V F V F V
V F V V V F
F V V V V F
F F V V V F

1 3 2

Aqu observamos que la columna 1 y 3 de los operadores principales de las


proposiciones P y Q son iguales, por lo tanto son equivalentes.

Tambin las proposiciones P y Q son equivalentes porque al unirlas con la


bicondicional nos dio una tautologa.

Ejercicios: Demostrar que los siguientes esquemas moleculares son equivalentes

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

b) p ( q r ) ] ( p q ) ( p r )

c) ( p ( q r) (p q ) r

d) (p (q r) (p q) r

e) ( p q ) ( p q )

f) ( p q ) ( p q )

LEYES DEL LGEBRA PROPOSICIONAL

En lgica, las tautologas son conocidas con el nombre de leyes o principios lgicos. A
continuacin anotamos las principales leyes que vamos a utilizarlos en el futuro y que
usted de familiarizarse:

L- 1: Leyes de Idempotencia para y para

Si p es una proposicin simple o compuesta, entonces:


a. (p p) p
b. (p p) p

Segn estas leyes, las proporciones ( p p) o (p p) pueden sustituirse por p.

L 2: Leyes de Identidad para y para

Si p es una proposicin simple o compuesta, entonces:


MDULO 2
28 Desarrollo del
pensamiento lgico

a) p ( V ) ( V ); es decir, cuando formamos la disyuncin de una


proporcin p, cuyo valor de verdad es desconocido, con otra
cuyo valor de verdad de ( V ), el resultado es ( V ), ya que la
disyuncin es ( V ) cuando al menos una de las proposiciones
dadas es verdadera.

b) p ( F ) p; es decir, el valor de verdad de la disyuncin de una


proposicin p, cuyo valor de verdad no conocemos, con otra cuyo
valor de verdad es ( F ), depende del valor de p.

c) p ( V ) p; en este caso el anlisis es similar a la parte b),


teniendo en cuenta que aqu el conector es

d) p ( F ) ( F ); el anlisis es similar al de la parte a), teniendo en


cuenta aqu que el conector es
L- 3: Leyes Conmutativas y para

Si p y q son proposiciones, entonces:

a) ( p q ) ( q p )
b) (p q ) (q p), es decir, dos proporciones conectadas con
pueden escribirse en cualquier orden.

L - 4: Leyes Asociativas

Si p, q, , son proposiciones cualesquiera, entonces:

g) ( p ( q r) (p q ) r
h) (p (q r) (p q) r

L 5: Leyes Distributivas:

Si p, q, r son proposiciones cualesquiera, entonces.

i) [ p ( q r ) ] [ ( p q ) ( p r )
j) p ( q r ) ] ( p q ) ( p r )

Estas leyes son similares a las que conocemos en el lgebra para la suma y la
multiplicacin. Recordemos que:

4( x + y ) = (4x) + ( 4y)

L 6: Ley de la Doble Negacin:

Si p es una proposicin simple cualquiera, entonces:


(p)p
MDULO 2 29
Desarrollo del pensamiento lgico

Al negar dos veces una proposicin obtenemos una afirmacin.

L 7: Ley del Tercer Excluido:

Si p es una proposicin cualesquiera, entonces:


( p p) ( V )

Esta propiedad establece que independientemente del valor de verdad que tenga p, la
proposicin: (p p) siempre es verdadera. Por tanto, en un esquema lgico
complejo podemos reemplazar (p p), (q q), (r r), (a b) (a b), etc.,
por ().

L 8: Ley de Contradiccin:

Si p es una proposicin cualesquiera, entonces:


(pp)(F)

Esquemas como (p p), (q q), (r r) pueden remplazarse por (F)


L 9: Leyes de De Morgan:

Si p, q son proposiciones simples o compuestas, entonces:


k) ( p q ) ( p q )
l) ( p q ) ( p q )

Estas leyes nos indican cmo negar una disyuncin y una conjuncin. La parte: a)
establece que para negar una conjuncin es necesario cambiar la conjuncin por
disyuncin ( por ) y negar las proposiciones dadas.

La parte b) establece que para negar una disyuncin debemos cambiar la disyuncin
por la conjuncin (la por ) y negar las proposiciones dadas.

Ejemplo:
Negar la proposicin: 7 es un nmero primo y 30 es divisible por 5.
Solucin:
Cambiamos y por o y negamos las proposiciones simples que forman el enunciado,
as:

7 no es un nmero primo o 30 no es divisible por 5.

L 10: Ley de la condicional:

Usando tablas de verdad podemos verificar que: p q equivale a p q .


La proposicin p q es una abreviacin de la proposicin p q; es decir:
( p q ) ( p q)
NOTA: Son muchos los esquemas lgicos que ofrecen alguna complejidad y pueden
simplificarse utilizando esta definicin alterna del condicional.

Ejemplo 1:
MDULO 2
30 Desarrollo del
pensamiento lgico
Escribamos sin condicional las proposiciones siguientes:

a. ( p q) r
b. p ( q )
c. p q

SOLUCIN:
a. (p q ) r ] ( p q ) r
b. p ( q r ) ] p ( q r )
c. ( p q ) ( p ) q p ( q )

Ejemplo 2:
Escribamos una proposicin equivalente a:
Si X es par entonces x es divisible por 2

SOLUCIN:
Usando la definicin alterna de la implicacin tenemos:
x no es par o x no es divisible por 2
Ejemplo 3:
Comprobemos que ( p q) ( p q)

SOLUCIN:
Elaboramos la tabla de verdad:

p q p ( p q) ( p q)
V V F V V V
V F F F V F
F V V V V V
F F V V V V

(1) (3) (2)

L- 11 Ley de la Bicondicional

p q (pq)(qp)

L- 12 Conjuncin Negativa.-

p q p q

L-13 Disyuncin Exclusiva.-

pq(pq)(pq)

Ejercicios: Demuestre las leyes mediante el uso de las tablas de verdad.

APLICACIONES DE LAS LEYES DEL ALGEBRA PROPOSICIONAL


MDULO 2 31
Desarrollo del pensamiento lgico

Las leyes nos pueden servir para demostrar que un esquema es equivalente a otro,
tambin podemos utilizar en la simplificacin de proposiciones etc.

Ejemplo 1:
Probemos que ( p q ) p q )]

SOLUCIN:

1. ( P Q ) ( p ) q Definicin alterna de implicacin


2. ( p) ( q ) Ley de De Morgan para
3. p ( q) Ley de la Doble Negacin
Luego: ( p q ) p (q)

Ejemplo 2:

Probemos que la proposicin ( p q) p es una tautologa.

SOLUCIN:

1. ( p q ) p ] ( p q ) p Definicin alterna de
2. ( p q) p Ley de De Morgan para
3. ( p p ) ( q) Ley Asociativa de la
4. (V)(q) Ley del Tercer excluido
5. (V) Ley Idntica de la
Por lo tanto, al ser ( p q ) p ( V ), concluimos que es una tautologa.

Ejemplos:

1. Probemos que la proposicin [ ( p q) ( q)] ( p) es una tautologa.


2. Probemos que la siguiente proposicin es una contradiccin:
[ p q ) ( p q ) ] [ ( p q ) ( p q )

Elaborar la tabla de verdad de las siguientes proposiciones y decir en cada caso si se


trata de una tautologa, una contradiccin o una determinacin.

a) ( p q) ( p q )
b) ( p q) ( p q)
c) p(qr)
d) p ( p q)
e) ( p q ) ( p q)
f) (pq)p
g) ( q r ) ( q r)
h) (rr)r

Los siguientes ejercicios deben resolverse aplicando las Leyes del lgebra
proposicional y no por tablas de verdad.-
MDULO 2
32 Desarrollo del
pensamiento lgico
Probar que las proposiciones siguientes son tautologas:

a) [ q ( p q ) ] ( p )
b) [ ( p q ) q ] ( p )
c) [(p(qr)][(pq)r]
d) [ p ( p q ) ] q
e) p(pq)

Simplificar las siguientes proposicin utilizando leyes:

a) p q ) ( p q )
b) p(pq)
c) m ( m n )
d) [t(mt)
e) (pq)(pq)]

INFERENCIA LGICA:

La inferencia es el paso de un conjunto de premisas a la conclusin.

Simblicamente se lo representa as:


P1
P2
P3
.
.
.
Pn
______
C
Al unir cada una de las premisas por el operador conjuntivo y estas a la vez con la
conclusin por medio del condicional, se obtiene la siguiente frmula inferencial:

P1 P2 P3 Pn C

Como las premisas y la conclusin estn constituidas por proposiciones, podemos decir
que la inferencia es una estructura de proposiciones, donde a partir de una o ms
proposiciones llamadas premisas se obtiene otra proposicin llamada conclusin:

Ejemplos:

1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si Vicente
viaja al norte del pas entonces no se quedar en la capital.

2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el
concurso de poesa. Luego Juan obtendr una beca.
MDULO 2 33
Desarrollo del pensamiento lgico

La conclusin se puede distinguir de sus premisas porque generalmente van


precedidas por alguno de los trminos como por lo tanto, luego, en consecuencia,
de ah que, etc. y las premisas podemos distinguirlas casi siempre por los signos de
puntuacin como el punto seguido o por el sentido que tiene el enunciado.

VALIDEZ Y VERDAD

La validez se refiere a la forma de pensamiento, mientras que la verdad se obtiene del


anlisis del contenido del pensamiento. En todo razonamiento o inferencia hay que
distinguir su validez de su verdad.

El razonamiento o la inferencia son vlidos cuando la conjuncin de premisas implica a


la conclusin; y, si esto no sucede, la inferencia es invlida.

La validez o invalidez de una inferencia depende nicamente de su forma lgica, y la


forma lgica depende de la funcin que desempean las conectivas en la estructura del
enunciado inferencial.

Si una inferencia vlida tiene su premisa o conjunto de premisas verdaderas, entonces


se puede asegurar que la conclusin es necesariamente verdadera; pero si la premisas
o conjunto de premisas no son verdaderas, as la inferencia sea vlida, lgicamente no
se puede saber la verdad o falsedad de la conclusin. Entonces, el nico caso que se
puede saber la verdad de la conclusin es cuando la inferencia es vlida y tiene
premisas verdaderas.

MTODOS PARA DETERMINAR LA VALIDEZ DE UNA INFERENCIA LGICA

Analizar la validez o invalidez de una inferencia consiste en decidir si la frmula de la


inferencia es vlida o no, para esto conocemos dos mtodos:

1. POR LA TABLA DE VALORES

Se sugiere seguir los siguientes pasos:

a. Simbolizar las premisas y la conclusin:


b. Obtener la formula inferencial
c. Aplicar la tabla de valores. Si el resultado es tautolgico, la conjuncin de premisas
implica a la conclusin, y por tanto la inferencia es vlida, pero si el resultado no es
tautolgico, la inferencia no es vlida.

Ejemplos:

1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si


Vicente viaja al norte del pas entonces no se quedar en la capital.
a. Simbolizamos:

p q
_____________
pq
MDULO 2
34 Desarrollo del
pensamiento lgico
b. Obtenemos la formula inferencial:

(p q) (pq)

c. Elaboramos la tabla de valores:

p q (p q) (pq)
V V V F F
V F V V V
F V V V V
F F F V V

El esquema no es tautolgico, luego la premisa no implica a la conclusin y la


inferencia no es vlida,

2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el
concurso de poesa. Luego Juan obtendr una beca.

a. Simbolizando tenemos:

pq
p
__________
q
b. Obtenemos la formula inferencial:

[( p q ) p ] q

c. Elaboramos la tabla de valores:

p q [( p q ) p ] q
V V V V V
V F F F V
F V V F V
F F V F V

El esquema es tautolgico, luego la conjuncin de premisas implica a la conclusin y la


inferencia es vlida.

2. POR EL MTODO ABREVIADO

Es un procedimiento que evita estar construyendo la tabla de valores de verdad para


determinar la validez de la inferencia.
MDULO 2 35
Desarrollo del pensamiento lgico

Este mtodo consiste en suponer la conjuncin de premisas verdaderas y la conclusin


falsa, nica posibilidad que invalidad la implicacin.

P1 P2 P3 Pn C

V V V V F

Ejemplo:

1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si Vicente
viaja al norte del pas entonces no se quedar en la capital.

a. Simbolizamos:
p q
_____________
pq
b. Obtenemos la formula inferencial:

(p q) (pq)

c. Suponemos valores, a las premisas verdaderas y la conclusin falsa

(p q) (pq)

V F
Como cada una de las variables (p, q), cumplen una sola funcin veritativa, decidimos
que la inferencia no es vlida. Esto es, se ha demostrado que la premisa es verdadera
y la conclusin es falsa.

2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el
concurso de poesa. Luego Juan obtendr una beca.

a. Simbolizando tenemos:

pq
p
__________
q
b. Obtenemos la formula inferencial:
[(p q) p] q

c. Suponemos valores, a las premisas verdaderas y la conclusin falsa:


[(p q) p] q

V V F
d. Comprobamos:
[( p q ) p ] q

F F
MDULO 2
36 Desarrollo del
pensamiento lgico
V V F

Como la variable p tiene dos valores: verdadero y falso a la vez. Por lo tanto, hay
implicacin y la inferencia es vlida.

Reglas de inferencia:

Para inferir un razonamiento a partir de otros se requiere de un proceso en el que se


aplican propiedades o leyes fijadas de antemano y que no hayan sido obtenidas de
casos particulares o para casos particulares.

Estas leyes dan la certeza de que solo es posible obtener conclusiones ciertas de
premisas ciertas.

1.- MODUS PONENDO PONENS ( REGLA DE SEPARACIN): Su abreviatura


es PP.

Simblicamente tenemos:

pq (1)
p (1)
_______
q (1)
Su frmula inferencial es:
[(p q)pq

Si una proposicin condicional es verdadera y si verdadero el antecedente, entonces


necesariamente ser verdadero el consecuente.

Ejemplo:

Premisa 1: Si l est en el partido de ftbol, entonces l est en el estadio.


Premisa 2: El est en el partido de ftbol
Conclusin: El est en el estadio.

Se simboliza de la siguiente manera el ejercicio anterior

pq (1)
p (1)
_______
q (1)

Ejercicios:

A. Qu conclusin se puede sacar de cada uno de los siguientes conjuntos de


premisas?

Es decir qu proposicin lgica se sigue de las premisas?


MDULO 2 37
Desarrollo del pensamiento lgico

1) Si usted est en Madrid, entonces su reloj seala la misa hora que en Barcelona.
Usted est en Madrid.
2) Si no nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos
despedimos ahora.
3) Si vivo en la capital del Ecuador, entonces no vivo en ninguno de las 21
provincias del Ecuador. Vivo en la capital del Ecuador.

B. Utilizando Modus Ponendo Ponens sacar una conclusin de cada uno de los
conjuntos de premisas siguientes. Escribir la conclusin en la lnea (3)

1) p q r
2) p q
3)

1) p r
2) p
3)

1) r
2) r q p

C. Poner una C junto a cada ejemplo en el que la conclusin es correcta segn el


Modus Poniendo Ponens. Poner una I junto a cada conclusin incorrecta.

1. Premisas: s y s t: conclusin: t
2. Premisas: t v y t: conclusin v
3. Premisas: p q y q: conclusin r
4. Premisas: s y r s
5. Premisas: r y r s

2. DOBLE NEGACIN. La regla de doble negacin es una regla simple que permite
pasar de una premisa nica a la conclusin.

Simblicamente tenemos:

p (1) p (1)
________ _______
p (1) p (1)

Ejemplo:

No ocurre que Mara no es estudiante


Simbolizando el ejemplo anterior tenemos:

p (1)
________
p (1)
La conclusin es que Mara es estudiante.
MDULO 2
38 Desarrollo del
pensamiento lgico

Ejercicios:
A. Qu conclusin podemos sacar de cada una de las proposiciones siguientes por la
doble negacin:
1. Todos los mamferos son animales de sangre caliente
2. El granito es un tipo de mineral gneo
3. No ocurre que un quinto no es el veinte por cierto

B. Demostrar que las conclusiones son consecuencia de las premisas dadas:


1. Demostrar: t 2. Demostrar: b
(1) s t (1) a
(2) s (2) a b
(3) (3)
(4) (4)

3.- MODUS TOLLENDO TOLLENS. Su abreviatura es TT.

Simblicamente tenemos:

(1) pq
(1) q

p (1)
Su frmula es:
[(pq)q] p
Si una proposicin condicional es verdadera y si es verdadera la negacin del
consecuente, entonces necesariamente ser verdadera la negacin del antecedente.

Ejemplo:

Premisa 1: Si tiene luz propia, entonces el astro es una estrella


Premisa 2: El astro no es una estrella.
Conclusin: Por tanto no tiene luz propia
Se simboliza de la siguiente manera el ejercicio anterior

P pq
P q
p TT 1, 2

Ejercicios:

A. Qu conclusin se puede deducir de cada uno de los conjuntos de premisas


siguientes utilizando TT? Escribir las conclusiones es castellano.

1) Si la luz fuera simplemente un movimiento ondulatorio continuo, entonces


la luz ms brillante dar lugar siempre a una emisin de electrones con mayor
energa que los originados por luz ms tenue. La luz ms brillante no siempre emite
electrones con mayor energa que los originados.
MDULO 2 39
Desarrollo del pensamiento lgico

2) Si un ngulo de un tringulo es mayor de 90 grados, entonces la suma de


los otros dos ngulos es menor de 90 grados. La sima de los otros dos ngulos no
es menor de 90 grados.

3) Si el arriendo se mantiene vlido, entonces el dueo es responsable de las


reparaciones. El dueo no es responsable de las reptaciones.

B. Deducir una conclusin de cada uno de los conjuntos de premisas siguientes,


aplicando la regla del Modus Tollendo Tollens.

1. (1) q r 2. (1) q r 3. (1) ( p q) r


(2) r (2) r (2) r
(3) (3) (3)

C. Demostrar que las conclusiones son consecuencia de las premisas dadas. Indicar
la demostracin completa.

Demostrar: c Demostrar: r s Demostrar:


(1) b (1) p q (1) f
(2) a b (2) q (2) e f
(3) a c (3) p r s

4.- MODUS TOLLENDO PONENS. Su abreviatura es: MTP

Simblicamente tenemos:
(1)
(1) p q
p q (1)

(1)
(1) p q
q p (1)
Sus frmulas son:

(p q ) p q
(p q ) q p

Si una proposicin disyuntiva es verdadera y si es verdadera la negacin de una de sus


componentes, entonces necesariamente ser verdadera la otra componente de la
disyuncin.

Ejemplo:

Supngase que se tiene como premisa:

O esta sustancia contiene hidrgeno o contiene oxgeno


La segunda premisa dice:
Esta sustancia no contiene oxgeno

Por medio del Modus Tollendo Ponens se puede concluir:


MDULO 2
40 Desarrollo del
pensamiento lgico
Esta sustancia contiene oxgeno

Para aclarar la forma de esta inferencia, se puede simbolizar el ejemplo:

p: Esta sustancia contiene hidrgeno


q: Esta sustancia contiene oxgeno

La demostracin de la conclusin es:

pq P
p P
q TP 1, 2

Ejercicios:

A. Qu conclusin, en forma de proposicin escrita en


castellano, se puede deducir de cada uno de los conjuntos de premisas siguientes
utilizando la regla TP?
1. Este hombre o es un abogado o es un poltico. No es un abogado.
2. Juan o ha terminado el libro o no ha ido a devolverlo hoy a la biblioteca.
3. Juan no ha terminado el libro.

B. Deducir una conclusin de cada uno de los siguientes conjuntos de premisas


usando el Modus Tollendo Ponens.

(1) q r P (1) t ( p q) P (1) (s t) r P


(2) r P (2) t P (2) (s t) P

C. Demostrar que las conclusiones son consecuencia de las premisas dadas en los
Ejercicios que siguen. Dar una demostracin completa.

1) Demostrar: p 2) Demostrar a b 3) Demostrar: p


(1) p q P (1) a b P (1) t p q P
(2) t P (2) a e P (2) t P
(3) q t P (3) e P (3) q P

5.- TAUTOLOGA SIMPLIFICATIVA

Simblicamente tenemos:

pq

pq

q
Su frmula es:
(p q) p
(p q) q
MDULO 2 41
Desarrollo del pensamiento lgico

Si una conjuncin de proposiciones es verdadera entonces necesariamente ser


verdadera cada una de sus componentes.

Ejemplo:
Apruebo los talleres y apruebo el mdulo 2

Premisa 1: apruebo los talleres


Premisa 2: apruebo el mdulo 2
Conclusin: 1) apruebo los talleres
Conclusin: 2) apruebo el mdulo 2

6.- TAUTOLOGA ADJUNCIN

Simblicamente tenemos:

p
q
pq

Su frmula es:
( p ) ( q ) ( p q)

Si dos proporciones cualesquiera son verdaderas, entonces necesariamente ser


verdadera la conjuncin que con dichas proposiciones se forme.

Ejemplo:

Sal bien en el examen y tengo 10

p: sal bien en el examen


q: tengo 10
( p q ) : sal bien en el examen y tengo 10

7. TAUTOLOGA ADICIN

Simblicamente tenemos:

pq

Su frmula es:
p p q]

Si una proposicin cualesquiera es verdadera, entonces necesariamente ser


verdadera la disyuncin que se forme con dicha proposicin y cualquier otra.

Ejemplo:
MDULO 2
42 Desarrollo del
pensamiento lgico

Estudio con responsabilidad o pierdo el mdulo


p: estudio con responsabilidad
q: pierdo el mdulo

p q: estudio con responsabilidad o pierdo el mdulo.

8. SILOGISMO HIPOTTICO (LEY TRANSITIVA). Su abreviatura es HS


Simblicamente tenemos:
pq
q r
pr
Su frmula es:
( p q ) ( r s ) ( p r ) (q s)

Si una proposicin condicional es verdadera y si es verdadera otra condicional que


tenga como antecedente el consecuente de la primera, entonces necesariamente ser
verdadera otra condicional que tenga por antecedente el de la primea y por
consecuente el consecuente de la segunda.

Ejemplo:
(1) Si hace calor, entonces Juana va a nadar
(2) Si Juana va a nadar, entonces arregla la casa despus de comer.

Se puede concluir:
(3) Si hace calor, entonces arregla la casa despus de comer.

Ejercicios:

En los ejemplos siguientes de la ley del silogismo hipottico obsrvese que algunos de
los antecedentes y consecuentes son proposiciones moleculares. La forma, sin
embargo es la misma.

a. (1) p q P
(2) q r P
(3) p r HS 1,2

b. (1) (p q) r P
(2) r (q t ) P
(3) (p q) ( q t ) HS 1,2

A. Qu conclusiones se puede sacar, si se puede sacar alguna, por la ley de


silogismo hipottico de los conjuntos de proposiciones siguientes?

1. Si el agua se hiela, entonces sus molculas forman cristales. Si las molculas


forman cristales, entonces el agua aumenta de volumen.
MDULO 2 43
Desarrollo del pensamiento lgico

2. Si un haz fino de fotones penetran en un gas en una cmara de niebla, entonces los
fotones expulsan electrones de lo s tomos del gas. Si los fotones expulsan
electrones de tomos de gas, entonces la energa de la luz se convierte en energa
cintica de los electrones.

B. Traducir los razonamientos del ejercicio A en smbolos lgicos y demostrar que su


conclusin es consecuencia lgica de las premisas.

C. Utilizar la ley del silogismo hipottico y obtener una conclusin del siguiente
conjunto de premisas.
1. (1) q p 2. (1) s t r q
(2) p r (2) r q p

D. Indicar una deduccin formal de las siguientes conclusiones a partir de las premisas
dadas.

1. Demostrar: t 2. Demostrar: q
(1) ( q r) p (1) r s
(2) r t (2) s p q
(3) ( q r ) t (3) r t
(4) t

9.- SILOGISMO DISYUNTIVO (LEY DEL DILEMA). Su abreviatura es DS

Simblicamente tenemos:
pq
rs
pr

qs

Su frmula es:
(p q) (r s ) (p q) (q s)

Si dos proposiciones condicionales son verdaderas y si es verdadera la disyuncin que


se forme con los antecedentes de dichas condicionales, entonces necesariamente
ser verdadera la disyuncin que se forme con los consecuentes.

Ejemplo:
O llueve o el campo est seco
Si llueve, entonces jugaremos dentro.
Si el campo est seco, entonces jugaremos al baloncesto

Qu conclusin se puede sacar de estas proposiciones? La conclusin es que o


jugaremos dentro o jugaremos el baloncesto. La conclusin es otra disyuncin.

Simbolizamos:

r: llueve
MDULO 2
44 Desarrollo del
pensamiento lgico
d: el campo est seco
p: jugaremos dentro
b: jugaremos al baloncesto

Esto se simboliza as:


(1) r d P
(2) r p P
(3) d b P
(4) p b D S1, 2, y 3

Ejercicios:

A. Qu conclusin se puede sacar de cada uno de los siguientes conjuntos de


premisas, por la ley del silogismo disyuntivo? Dar como conclusin una proposicin
en lenguaje corriente.

4) O Juan tiene mayora o Pedro tiene mayora. Si Juan tiene mayora. Pedro
ser el tesorero. Si Pedro tiene mayora, entonces Juan ser el tesorero.

5) O la planta es un aplanta verde o es una planta no verde. Si es una planta


verde, entonces fabrica su propio elemento. Si es una planta no verde,
entonces depende de las materias de otras plantas para su alimento.

B. Simbolizar los razonamientos de los ejemplos anteriores y demostrar que las


conclusiones son consecuencia lgica de las premisas.

C. Utilizar la ley del silogismo disyuntivo (DS) para obtener una conclusin de cada uno
de los siguientes conjuntos de premisas.

1. (1) p q 2. (1) t s
(2) q r (2) s p
(3) p s (3) t q

D. Dar una deduccin completamente formal de las siguientes conclusiones a partir de


las premisas dadas.
1. Demostrar: r (p q ) 2. Demostrar: q s
(1) p q (1) s r
(2) q r (2) r t
(3) p t (3) q t
(4) t

10. CONMUTATIVA

Simblicamente tenemos:

pq pq
_______ ______
qp qp
MDULO 2 45
Desarrollo del pensamiento lgico

Su frmula es:
(p q ) (q p) (p q) ( q p)

Ejemplo:

Pedro trabaja y estudia pq


Por lo tanto:
Pedro estudia y trabaja qp

11. SIMPLIFICACION DISYUNTIVA:

Simblicamente tenemos:
p p
________
p

Su frmula es:
(p p) p

Ejemplo:

Pedro trabaja o Pedro trabaja pp


Se concluye: que Pedro trabaja.
12. LAS LEYES DE DE MORGAN:

Simblicamente tenemos:

a) (p q) b) p q
________ ________
pq (p q)

Ejemplos:

a) No ocurre a la vez que: hace calor o que hace fro (p q)

Se puede tambin expresar:

No hace calor y no hace fro pq

b) No llueve y no hace sol p q

Se puede tambin expresar:

No ocurre que: llueve o haga sol (p q)

Ejercicios:

A. Que se puede concluir de las premisas siguientes utilizando las leyes de De


Morgan?
MDULO 2
46 Desarrollo del
pensamiento lgico

1. O los arcnidos no son insectos o no tienen ocho patas

2. No ocurre que o el aire es un buen conductor del calor o el agua es un buen


conductor del calor.

3. No ocurre que los murcilagos son pjaros o que las focas son peces

B. Aplicar las leyes de De Morgan para deducir conclusiones:

1. ( p q)
2. r t
3. ( r s)
4. g h

C. Indicar una demostracin formal completa para cada uno de los razonamientos
simbolizados siguientes:

1. Demostrar: s 2. Demostrar: r q
(1) (p q) (1) s ( p t)
(2) q t (2) t (q r)
(3) p t (3) s
(4) s t

D. Dar una demostracin formal completa para cada uno de


los razonamientos siguientes:

1. Demostrar: x = 1
(1) (z 3) ( x y) y = 2
(2) x y x = 1
(3) x z x y
(4) x z x y

13.- REGLA DE LA BICONDICIONAL. Su abreviatura es LB

Simblicamente tenemos:
pq pq
___________________ qp
(p q ) (q p) ____________
pq
Ejercicios:
A. Simbolizar las siguientes proposiciones y dar una deduccin formal:

1. Esta ley ser aprobada en esta sesin si y solo si es apoyada por la mayora. O
es apoyada por la mayora o el gobernador se opone a ella. Si el gobernador se
opone a ella, entonces ser pospuesta en las deliberaciones del comit. Por
tanto o esta ley ser aprobada en esta sesin o ser pospuesta en la
deliberacin del comit.
MDULO 2 47
Desarrollo del pensamiento lgico

2. 3 x 5 = 12 5 +5 +5 = 12
4 x 4 13
5 +5 +5 = 12 4 x 4 = 13
Por lo tanto: 3 x 5 12

B. Dar una demostracin formal completa de cada uno de los razonamientos


siguientes:

1. Demostrar: 2 x 5 = 5 + 5 2 x 4 = 4 + 4
(1) 2 x 4 = 4 + 4 2 x 5 = 5 + 5

2. Demostrar: x = 4 3x + 2 = 14
(1) 3x + 2 = 14 3x = 12
(2) 3x = 12 x = 4

14. CONJUNCIN NEGATIVA

Simblicamente:
pq
_________
p q

Su frmula es:
(p q) ( p q)
Ejemplo:

Ni Luis estudia ni Juan trabaja pq

Se concluye que:
Luis no estudia y Juan no trabaja. p q

15. DISYUNCIN EXCLUSIVA

Simblicamente:

pvq
_____________
(p q ) ( p q)

Ejemplo:
Ins es hija de Pedro o hija de Luis pvq

Se concluye:
Ins es hija de Pedro o Ins es hija de Luis y no es cierto que: Ins es hija de Pedro y
de Luis

PROCESOS DE DEDUCCIN

De un conjunto de premisas dadas, que se puede deducir:


MDULO 2
48 Desarrollo del
pensamiento lgico

1. Determinar el valor de verdad de las premisas. Si alguna de ellas es falsa no es


posible inferir nada de ellas.

Ejemplo: que se puede deducir de:

2+3=53=3
4 + 2 = 7 9 + 2 = 11
4+2=7 2=2

Determinamos el valor de verdad

2+3=53=3 V
4 + 2 = 7 9 + 2 = 11V
4+2=7 2=2 F

De este conjunto de premisas no se puede concluir nada.

2. Determinar si las premisas son inconsistentes o no.

a. Si las premisas no son consistentes (inconsistentes) no se puede inferir nada de


ellas.

b. Si las premisas son consistentes es posible deducir una conclusin utilizando las
reglas de inferencia.
Ejemplo: que se deduce de:
Si 3 + 2 = 5, 6 4 = 2
Si 6 4 = 2, 6 = 3 + 3

1. Determinamos el valor de verdad de las premisas:

3+2=5 64=2 V
64=2 6=3+3 V

2. Determinamos la conclusin:

3+2=56=3+3

Ejemplo:

Considerando que las premisas son verdaderas, que se puede deducir de:

pq
rp
q r

pq P1
rp P2
q r P3
MDULO 2 49
Desarrollo del pensamiento lgico

r C1 de P2 (Regla de la simplificacin)
q C2 de P3 y C1 (M T.T)
p C3 de P1 y C2 (M. T.T)
p C4 de P2 (Regla de la simplificacin)
p p C5 de C3 y C4 (Regla de adjuncin)
Las premisas son inconsistentes, en consecuencia nada se puede deducir de ellas

Ejercicios:
Que se puede deducir de:

1. 4+3=72=2 3. q vr
3+2=64+3=7 qp
3+2622 r ( s t)

2. pq 4. pq
p q s (r p)
sq

MTODOS DE DEMOSTRACIN

Los mtodos de demostracin pueden ser: directo, condicional e indirecto. La


demostracin de una proposicin tiene por objeto establecer que es verdad, infirindola
de verdades conocidas o ya demostradas.

MTODO DIRECTO:

Consiste en inferir una conclusin, partiendo nicamente de un conjunto de premisas.


Ejemplo:

Demostrar: s; de

pq pq P1
ps ps P2
qs qs P3
s C1; de P1, P2 y P3 (Regla del Silogismo Disy.)
s C; de C1 (Simplificacin Disyuntiva)

REGLA DE DEMOSTRACIN CONDICIONAL: (R.D.C)

Si de un conjunto de premisas y de p se deduce q, entonces de tal conjunto de


premisas se deduce p q.

La premisa p, puede ser introducida en cualquier momento del proceso deductivo .

Ejemplo:

Demuestre: q s; de:
pq
MDULO 2
50 Desarrollo del
pensamiento lgico
ps

No existe regla alguna que nos permita inferir la conclusin pedida, sin embargo por la
regla de la demostracin condicional si podemos concluir as:

pq P1
ps P2
q P
p C1; P1 y P (Modus T.P.)
s C2; P2 y C1 (Modus P. P)
qs C, (R.D.C)

DEMOSTRACIN INDIRECTA:

Esta demostracin se la denomina tambin demostracin por contradiccin o


reduccin al absurdo. Segn el Modus Tollens, se puede deducir la negacin del
antecedente de una condicional cuando se sabe que el consecuente es falso. Si el
consecuente es una contradiccin se sabe que es lgicamente falso. As de p ( q
q), se puede deducir p. (Ley del Absurdo)

Ejemplo:

Demuestre: s, de:
qs P1
pq P2
pr P3
sr P4
rs C1; P2, P1 y P3 (Silogismo disyuntivo)
s P
r C2; C1 y P (Doble Neg. Y M.T.P)
r C3; P4, y P (M.P.P)
rr C4; de C2 y C3 (Regla de Adjuncin)
s ( r r) C5; de P y C4 (Regla de contradiccin.)
s C; de C5 Ley del absurdo

REGLA DE LA DEMOSTRACIN CONTRA RECIPROCA (R. C. R)

Si de un conjunto de premisas, se infiere q p, de dicho conjunto se infiere


tambin: p q. (que es la contra recproca)

Ejemplo:
Demostrar: q (p r) de:

pq
r q

Demostraremos: (p r ) q de:
pq P1
MDULO 2 51
Desarrollo del pensamiento lgico

rq P2
pr P
p C1, de P (Simplificativa)
r C2, de P (Simplificativa)
q C3, de C1 y P1 (M.P.P)
(p r) q C4, de P y C3 (R.D. C)
q (p ) C. de C4 (R. C. R)

Tarea: Resolver ejercicios, aplicando los mtodos y reglas antes indicadas.

CIRCUITOS LGICOS

El valor de verdad de una proposicin puede asociarse al pasaje de corriente en un


circuito elctrico controlado por un interruptor.
En efecto, para representar un interruptor mediante una proposicin p, se tiene:

p p

Circuito cerrado Circuito abierto

Es decir, el interruptor est cerrado (pasa corriente) si V(p) = V, y est abierto (no pasa
corriente) si V(p) = F. De aqu establecemos una identificacin entre las proposiciones y
los interruptores de un circuito elctrico. Las operaciones proposicionales (conjuncin,
disyuncin, etc.) pueden representarse mediante circuitos con tantos interruptores
como proposiciones componentes. Considerando las clases de instalaciones: en serie y
en paralelo, es factible disear esquemas de circuitos elctricos para representar a
proposiciones compuestas o viceversa.

CIRCUITOS EN SERIE:

Consideremos dos interruptores p y q conectados en serie:


p q

Se observa que este circuito admite poso de corriente cuando los dos (interruptores p y
q estn cerrados, en cualquier otro caso no hay paso de corriente. De aqu tenemos el
comportamiento de la conjuncin de las proposiciones p q. Por tanto:

a) p q: representa un circuito cerrado en serie, que deja posar corriente solo si los
interruptores p y q estn cerrados a la vez. Diremos que solo en este estado p q
es verdadera.

b) p q: representa un circuito abierto en serie que deja pasar corriente. Diremos


entonces que en este estado p q es falsa.

p q p q
MDULO 2
52 Desarrollo del
pensamiento lgico
pq pq
Circuitos en paralelo:

Consideremos ahora dos interruptores instalados en paralelo:

p
q

Se observa en el circuito que hay paso de corriente cuando uno de los interruptores o
ambos estn cerrados; no hay paso de corriente cuando los dos interruptores estn
abiertos. Tenemos, entonces, el comportamiento de la disyuncin de las proposiciones
p y q. La falsedad de p q, es decir, el hecho de que no pase corriente, solo se verifica
en el caso de la falsedad simultnea de p q; Por tanto:

a) p q: representa un circuito cerrado en paralelo que deja pasar corriente si por lo


menos uno de los interruptores elctricos est cerrado. Diremos que solo en este
estado p q es verdadero

b) p q: representa un circuito abierto en paralelo que no deja pasar corriente,


polo que en este estado p q es falsa.
p p

q q
pq pq

Las representaciones anteriores nos permiten disear o simbolizar redes de circuitos


elctricos conectados en serie y en paralelo, o tambin simplificar circuitos muy
complicados haciendo uso de las ya conocidas equivalencias notables.
Ejemplo:

Disertar circuitos lgicos de las siguientes proposiciones:

a) (p q) r b) p q c) p q

Solucin:

a) Vemos que (p q) r es la conjuncin de p q y r, que deben estar conectados


en serie:

pq r

Pero, p q se representa por: (1)

p
q

Luego sustituyendo en (1), tendremos la representacin pedida, esto es:


MDULO 2 53
Desarrollo del pensamiento lgico

p r
q

b) Segn la condicional: p q p q

Luego, la representacin de p q, es la disyuncin (conexin en paralelo) de p q.


Esto es:
p

q
c) De la equivalencia: p q (p q) (q p)
( p q ) ( q p)

Entonces, la representacin de p q es conjuncin (conexin en serie) de ( p v q ) y


( q p), esto es:

pq qp

Pero p q y q p, se representan, respectivamente, por:


(2)
p q

q p

Sustituyendo en (2) se tiene:


(3)
p q

q p

Pero, segn la equivalencia: p q ( p q ) ( p q)

Representando la disyuncin de p q y p q, tendremos:

pq p q
p q p q

Los circuitos (3) y (4) son representaciones de p q; se dice entonces que (3) y (4)
son circuitos equivalentes.

Ejercicios:
1. Describir simblicamente el circuito:
r
p
MDULO 2
54 Desarrollo del
pensamiento lgico
q

q r

2. . Determinar el circuito equivalente al circuito:

p q p

p q
q
q p

p
q

3. Construir el circuito lgico equivalente del esquema:

p q p p q p
p
q

4. La proposicin p q (Disyuncin exclusiva) a cules de los siguientes circuitos es


equivalente?
p q p p p q
(1) (2)
q p q q
p
q

q p p q
(3) (4)
p q q p

5. Qu representa el circuito equivalente a:

p p

q q
p q

p q

6. Hallar la menor expresin que representa el circuito:

p r q
q q
r
r q
MDULO 2 55
Desarrollo del pensamiento lgico

r q

7. Sea A el circuito lgico ms simple correspondiente a la proposicin:


p q p r p s p s y B el circuito lgico ms simple equivalente a:
q p q

p q q

Construir el circuito lgico correspondiente a: A B

8. Hallar la proposicin x de manera que sea una tautologa el circuito simplificado


siguiente:

p q p
p q q p q

p q
p
q
r
p r

9. Construir el circuito lgico ms simple equivalente a:

p q
p p
r s t q p
r s t

10. Si el costo de cada llave de Instalacin del circuito E de la figura adjunta


es $10, cunto se ahorrara si se reemplaza ste por un circuito lgico ms simple
equivalente?

A B

p r p p q

p t r r

q p q q
q
MDULO 2
56 Desarrollo del
pensamiento lgico

Continuar.