Desarrollo del
pensamiento lgico
CONTENIDO
PORTADA
1. PRESENTACIN
2. OBJETIVOS ..
3. METODOLOGA ...
4. EVALUACIN ....
5. ACREDITACIN ..
6. BIBLIOGRAFA .
7. CONTENIDOS .
1
2
2
2
3
3
3
4
1. PRESENTACIN
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
MDULO 2
20%
20%
60%
100%
Editorial Calypso,
MDULO 2
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
MDULO 2
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.
MDULO 2
HERCLITO: Sealaba que todo lo que existe es obra del cambio y evolucin.
Dialctica o razonamiento.
MDULO 2
Desarrollo del
pensamiento lgico
Existen adems otras definiciones:
es decir su
MDULO 2
La tierra es plana.
-17 + 38 = 21
x > y-9
La Liga de Loja ser campen en la presente temporada de ftbol.
Hola como estas?
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.
MDULO 2
10
Desarrollo del
pensamiento lgico
Ejemplo:
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
Negacin
Conjuncin
Disyuncin
Disyuncin exclusiva
Conjuncin negativa
Disyuncin negativa
Condicional
Bicondicional
TERMINOLOGA LGICA
no
y
o
o en sentido excluyente
ni.ni
nono
Si., entonces
Si y slo si
MDULO 2
11
De tal manera que la representacin del enunciado anterior usando simbologa lgica
es como sigue:
q; que se lee:
pyq
p pero q
p aunque q
p incluso q
p tambin q; etc.
q
V
F
V
F
p q
V
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.
MDULO 2
12
Desarrollo del
pensamiento lgico
q: Obtiene su pase.
Simblicamente tenemos:
pq
V( p ) = V
V( q ) = V
En consecuencia: V (p q) = V
4+3=9o3+5=8
p: 4 + 3 = 9
q: 3 + 5 = 8
V ( p) = F
V (q ) = V
En consecuencia: V (p q) = V
Su tabla de verdad es:
p
V
V
F
F
q
V
F
V
F
p q
V
V
V
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
q: Carmen es hija de Vicente
V(p) = V
V (q) = V
En consecuencia: V (p q) = F
(p q) que se lee: p q, pero no ambas.
=6o3+9=7
p: 25 = 6
V (p) F
q: 3 + 9 = 7
V 8q) = F
25
En consecuencia: V (p q) = F
MDULO 2
13
TAREA:
Escribir 5 ejercicios de disyuncin exclusiva y determine el valor de verdad.
Su tabla de verdad es:
p
V
V
F
F
( p q )
F
V
V
F
q
V
F
V
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
q: 2 + 4 = 6
V (p) = V
V (q) = V
V ( p) = F
V ( q) = F;
Consecuentemente:
V ( p q) = F
Entonces se deduce que:
(p q) ( p q )
Su tabla de verdad es:
p
(p
q)
MDULO 2
14
Desarrollo del
pensamiento lgico
V
V
F
F
V
F
V
F
F
F
F
V
V (p) = V
V ( q) = V
En consecuencia:
V (p / q) = F
p: no eres artista
q: no eres pintor
V (p) = F
V (q ) = F
Consecuentemente:
V (p q) = F
Luego: p / q
(p q )
q
V
F
V
F
(p/q)
F
V
V
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
p: Patricio no esta estudiando en la sala.
V (p) = V
V ( p) = F
MDULO 2
15
V (q) = F
V (q) = V
p
F
V
V (p) = V
V (p) = F
pq
Se lee Si p, entonces q
Si p, q
p, slo si q
MDULO 2
16
Desarrollo del
pensamiento lgico
p es necesario para q; etc. En este caso p: es el antecedente y q: es el
consecuente.
qp
Se lee:
q puesto que p
q, si p
q cuando p
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.
V (p) = V
V (q) = V
p q
V
V
F
F
V
F
V
F
V
F
V
V
MDULO 2
17
q, se
MDULO 2
18
Desarrollo del
pensamiento lgico
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
Luis es buen estudiante, si y solo si; tiene promedio de diez
Simblicamente tenemos:
p: Lus es buen estudiante
q: Tiene promedio de diez.
V (p) = V
V (q) = V
Por consiguiente: V (p q) = V
Su tabla de verdad es:
p
V
V
F
F
q
V
F
V
F
p q
V
F
F
V
MDULO 2
19
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)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
Conjuncin
Condicional
Condicional
Condicional
Conjuncin
Disyuncin
Disyuncin
Disyuncin
Disyuncin
Condicional
Negacin
Condicional
Negacin
prs
pq s
p qr
rpq
rpq
rqt
qps
qps
qrs
qrs
pr
pr
ts
(p r) s
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
MDULO 2
20
Desarrollo del
pensamiento lgico
1. Disyuncin x 0 x > y y = z
2. condicional x = 0 x > y y z
3. condicional x = 0 x 0 y z
4. condicional x > y x y y > z
5. conjuncin x = 0 x > 0 y= 0
6. condicional x = y y = z x= z
7. conjuncin x = y y = z y z
En la proposicin compuesta:
En la proposicin compuesta:
En la proposicin compuesta:
En la proposicin compuesta:
x 0 ( x > y y = z)
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
p ( q r ) el conector principal es .
p q el conector principal es
p ( p r) el conector principal es
[ ( 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:
MDULO 2
21
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
(p
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
q )
V
V
F
F
V
V
F
F
V
F
V
F
V
V
F
F
(p
V
V
V
V
F
F
F
F
(4)
F
V
F
V
V
V
V
V
r)
F
V
F
V
F
V
F
V
(5)
(6)
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.
MDULO 2
22
Desarrollo del
pensamiento lgico
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)
b)
c)
d)
e)
f)
(p q) (p q)
p (q r)
q (p q)
( p q) (p r)
( q ) (q r)
(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
V
F
F
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
V
F
V
MDULO 2
23
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.
2.
(p
q )
(p
r)
MDULO 2
24
Desarrollo del
pensamiento lgico
V
V
V
V
V
F
V
F
V
V
F
F
F
V
V
F
V
F
F
F
V
F
F
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
V
F
F
F
V
F
V
V
V
V
V
V
V
V
V
F
F
F
F
F
V
F
V
F
V
F
V
El esquema es contingente
TAUTOLOGA
Es una proposicin que siempre es verdadera, independientemente del valor lgico de
las proposiciones simples que la componen..
Se puede decir tambin que un esquema es un tautolgico cuando los valores de
verdad del operador principal son todos verdaderos.
Ejemplo
Si p y q son proporciones simples distintas, demuestre mediante tablas de certeza que
el siguiente esquema proposicional es una tautologa.
(p q) (p q)
p
( p
V
V
F
F
V
F
V
F
V
V
F
F
V
F
F
F
q )
( p
q )
V
F
V
F
V
V
V
V
V
V
F
F
V
F
F
V
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:
MDULO 2
25
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
( p
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
10
V
V
F
F
V
V
F
F
r
V
F
V
V
V
F
V
V
F
F
V
V
V
F
V
V
F
F
F
F
V
F
F
F
[r
V
F
V
F
V
F
V
F
F
F
F
F
V
F
F
F
11
15
14 13
q)
(
F
F
F
F
V
V
F
F
p
V
V
V
V
F
F
F
F
8
V
V
V
V
F
F
V
V
q )
F
F
V
V
F
F
V
V
12
pp
(p q) ( q p)
( p q ) ( q r )] ( p r)
[p ( p q ) q
( 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
MDULO 2
26
Desarrollo del
pensamiento lgico
A: p q
B: p q
Luego unimos con la condicional y construimos la tabla:
pq pq
p
p q
V
V
F
F
V
F
V
F
V
F
F
F
V
V
V
V
q
V
V
V
F
MDULO 2
27
V
V
F
F
V
F
V
F
( p
q )
V
F
V
V
( p
V
V
V
V
V
F
V
V
q )
F
V
F
F
q
V
F
V
F
( q
F
V
V
V
p )
V
V
V
V
( q p )
F
V
V
F
V
F
V
F
3
MDULO 2
28
Desarrollo del
pensamiento lgico
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:
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:
MDULO 2
29
MDULO 2
30
Desarrollo del
pensamiento lgico
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:
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
( p
q)
( p
q)
MDULO 2
31
V
F
V
F
F
F
V
V
V
F
V
V
V
V
V
V
V
F
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
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
2.
( p q) p
3.
( p p ) ( q)
4.
(V)(q)
Definicin alterna de
Ley de De Morgan para
Ley Asociativa de la
Ley del Tercer excluido
MDULO 2
32
Desarrollo del
pensamiento lgico
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)
b)
c)
d)
e)
f)
g)
h)
( p q) ( p q )
( p q) ( p q)
p(qr)
p ( p q)
( p q ) ( p q)
(pq)p
( q r ) ( q r)
(rr)r
Los siguientes ejercicios deben resolverse aplicando las Leyes del lgebra
proposicional y no por tablas de verdad.Probar que las proposiciones siguientes son tautologas:
a)
b)
c)
d)
e)
[ q ( p q ) ] ( p )
[ ( p q ) q ] ( p )
[(p(qr)][(pq)r]
[ p ( p q ) ] q
p(pq)
p q ) ( p q )
p(pq)
m ( m n )
[t(mt)
(pq)(pq)]
INFERENCIA LGICA:
La inferencia es el paso de un conjunto de premisas a la conclusin.
Simblicamente se lo representa as:
P1
P2
MDULO 2
33
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.
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.
MDULO 2
34
Desarrollo del
pensamiento lgico
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
b. Obtenemos la formula inferencial:
(p q) (pq)
c. Elaboramos la tabla de valores:
p
V
V
F
F
q
V
F
V
F
(p q)
V
V
V
F
F
V
V
V
(pq)
F
V
V
V
MDULO 2
35
q
b. Obtenemos la formula inferencial:
[( p q )
p ] q
p
V
V
F
F
q
V
F
V
F
[( p q )
V
F
V
V
p ]
V
F
F
F
V
V
V
V
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.
MDULO 2
36
Desarrollo del
pensamiento lgico
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
V
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)
MDULO 2
37
(1)
(1)
(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?
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.
MDULO 2
38
Desarrollo del
pensamiento lgico
1.
2.
3.
4.
5.
Premisas: s y s t: conclusin: t
Premisas: t v y t: conclusin v
Premisas: p q y q: conclusin r
Premisas: s y r s
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)
(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.
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)
(1)
pq
q
MDULO 2
39
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
P
pq
q
TT 1, 2
Ejercicios:
A.
1)
2)
3)
B.
2. (1) q r
(2) r
(3)
3. (1) ( p q) r
(2) r
(3)
C. Demostrar que las conclusiones son consecuencia de las premisas dadas. Indicar
la demostracin completa.
Demostrar: c
(1) b
(2) a b
(3) a c
Demostrar: r s
(1) p q
(2) q
(3) p r s
Demostrar:
(1) f
(2) e f
MDULO 2
40
Desarrollo del
pensamiento lgico
4.- MODUS TOLLENDO PONENS. Su abreviatura es: MTP
Simblicamente tenemos:
(1)
(1) p q
q
p
(1)
(1) p q
q
Sus
(1)
p
(1)
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:
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
TP 1, 2
Ejercicios:
A.
MDULO 2
41
P
P
(1) t ( p q)
(2) t
P
P
(1) (s t) r
(2) (s t)
P
P
C. Demostrar que las conclusiones son consecuencia de las premisas dadas en los
Ejercicios que siguen. Dar una demostracin completa.
1) Demostrar: p
(1) p q P
(2) t
P
(3) q t P
2) Demostrar a b
(1) a b
P
(2) a e P
(3) e
P
3) Demostrar: p
(1) t p q
(2) t
(3) q
P
P
P
MDULO 2
42
Desarrollo del
pensamiento lgico
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:
p
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:
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
MDULO 2
43
el de la primea
y por
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
(2) q r
(3) p r
P
P
HS 1,2
b. (1) (p q) r
P
(2) r (q t )
P
(3) (p q) ( q t ) HS 1,2
A.
2. Demostrar: q
(1) r s
(2) s p q
MDULO 2
44
Desarrollo del
pensamiento lgico
(3) ( q r ) t
(3) r t
(4) t
llueve
el campo est seco
jugaremos dentro
jugaremos al baloncesto
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.
MDULO 2
45
2. (1) t s
(2) s p
(3) t q
pq
______
qp
Su frmula es:
(p q ) (q p)
(p q) ( q p)
Ejemplo:
Pedro trabaja y estudia
Por lo tanto:
Pedro estudia y trabaja
pq
qp
MDULO 2
46
Desarrollo del
pensamiento lgico
(p p) p
Ejemplo:
Pedro trabaja o Pedro trabaja
Se concluye: que Pedro trabaja.
12. LAS LEYES DE DE MORGAN:
pp
Simblicamente tenemos:
a) (p q)
________
pq
b)
p q
________
(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
p q
MDULO 2
47
Indicar una demostracin formal completa para cada uno de los razonamientos
simbolizados siguientes:
1. Demostrar: s
(1) (p q)
(2) q t
(3) p t
(4) s t
D.
2. Demostrar: r q
(1) s ( p t)
(2) t (q r)
(3) s
pq
qp
____________
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.
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.
MDULO 2
48
Desarrollo del
pensamiento lgico
(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
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:
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
MDULO 2
49
V
F
4+3=72=2
3.
q vr
MDULO 2
50
Desarrollo del
pensamiento lgico
3+2=64+3=7
3+2622
2.
qp
r ( s t)
pq
p
sq
4.
pq
q s (r p)
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
ps
qs
pq
ps
qs
s
s
P1
P2
P3
C1; de P1, P2 y P3
C; de C1
P1
P2
P
C1; P1 y P
C2; P2 y C1
(Modus T.P.)
(Modus P. P)
MDULO 2
C,
51
(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
s
P
r
C2; C1 y P
r
C3; P4, y P
rr
C4; de C2 y C3
s ( r r)
C5; de P y C4
s
C; de C5
(Silogismo disyuntivo)
(Doble Neg. Y M.T.P)
(M.P.P)
(Regla de Adjuncin)
(Regla de contradiccin.)
Ley del absurdo
(Simplificativa)
(Simplificativa)
(M.P.P)
(R.D. C)
(R. C. R)
MDULO 2
52
Desarrollo del
pensamiento lgico
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
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
pq
Circuitos en paralelo:
q
pq
MDULO 2
53
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
pq
q
pq
b) p q
c) p q
Solucin:
a)
(1)
p
q
Luego sustituyendo en (1), tendremos la representacin pedida, esto es:
p
q
b) Segn la condicional: p q p q
MDULO 2
54
Desarrollo del
pensamiento lgico
Luego, la representacin de p q, es la disyuncin (conexin en paralelo) de p q.
Esto es:
p
q
(p q) (q p)
( p q ) ( q p)
c) De la equivalencia: p q
pq
qp
p
q
p
p
q
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
q
q
2. . Determinar el circuito equivalente al circuito:
MDULO 2
55
p
q
p
q
q
p
p
q
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
q
p
q
p
q
q
(3)
(4)
p
q
p
r
r
r
q
q
r
q
q
MDULO 2
56
Desarrollo del
pensamiento lgico
p q p r p s p s y B el circuito lgico ms simple equivalente a:
q
q
q
p
p
q
p
q
r
p
p
p
t
p
r
p
r
q
MDULO 2
57
Continuar.