Está en la página 1de 3

Implicaciones Notables

II) IMPLICACIONES NOTABLES Como vemos, el esquema condicional es Tautológico,


luego podemos decir recién que (p Ù q) implica a (p Ú q)
En el capitulo anterior hemos citado un conjunto de
reglas equivalentes que nos permiten transformar o que “A” implica a “B”. Este por ejemplo nos muestra
fórmulas; donde a partir de una fórmula “A” que no es lo mismo el concepto condicional “Si A
encontramos otra fórmula “B” equivalente. Sin entonces “B” con el concepto implicación “A implica a B”
embargo este método resulta insuficiente de un Cabe aclarar que si una fórmula “A” es equivalente a una
conjunto de premisas. Es necesario entonces fórmula “B” entonces podemos decir que “A” implica a “B”
introducir leyes lógicas que nos permitan obtener
conclusiones válidas pero que no sean equivalentes;
a estas leyes también se le llaman implicaciones Si A º B ® A implica a B
lógicas; las cuales serán expresadas en forma de
regla con el objeto de facilitar la operatividad en la Pero esto no quiere decir que si “A implica a B” entonces
derivación. “A es equivalente a B”
Las implicaciones a diferencia de las equivalencias,
también pueden ser “deducciones mediatas” porque Si A implica a B Þ/ A º B
parten de una premisa o conjunto de premisa para
interrelacionarlas y llegar a una conclusión valida Por lo tanto la relación es de inclusión y la podemos
lógicamente. representar como:

P2 Implicación
P1 Conclusión Equivalencia
P3

Existen dos tipos de representar una implicación:


Es importante saber distinguir los conceptos
condicionales e implicación; porque la no distinción de 1. Forma Vertical: Ubicamos la representación de una
estos conceptos ha generado entre otros problemas, la premisa sobre la otra y la separamos de la conclusión
“Paradoja de la implicación material”, donde se mediante una línea horizontal
considera el operador “ ® ” como “implica” en vez de
P1
leerlo como símbolo de “si… entonces”
P2
Se dice que:
“A” implica a “B” cuando unidos por el condicional, M
“A” como antecedente y “B” como consecuente, la Pn
relación es valida o mejor dicho, su esquema
condicional resulta ser tautológico.
C
2. Forma Horizontal: Juntamos en forma horizontal al
Si “A” implica a “B” entonces A ® B conjunto de premisas mediante el operador conjuntor;
Representa un esquema tautológico. luego las unimos con la conclusión mediante la
Si A ® B es tautológico entonces “A” implica a “B” operación condicional.

Ejemplo: ( p1 Ù p2 Ù ...pn ) ® C
Sea: PRINCIPALES IMPLICACIONES O IMPLICACIONES
A = p Ù q Analicemos en las tablas de verdad NOTABLES
B = p Ú q Los valores matriciales de la fórmula
1. Modos: En su estructura constan de dos premisas y
A® B una conclusión; son 4 modos diferentes validos solo
para determinados conectores
p q (p Ù q) ® (p Ú q)
V V V V V A. Ponendo Ponens (Afirmando – Afirmo)
V F F V V  Regla: La afirmación del antecedente, implica la
F V F V V afirmación del consecuente
F F F V F
 Conectores: (® , « )

II Bimestre Mar- Dic - 08


COLEGIO TRILCE de Trujillo Razonamiento Lógico

P1 = A ® B  Regla: La afirmación de una de las


P2 = A          variables de la primera premisa implica la negación
de la otra variable.
                B
[(A ® B) Ù A] ® B  Conectores: ( Ú)
P1 : A « B
P1 :  A Ú  B
P2 : A         
P2 : A       
                B
[(A « B) Ù A] ® B            - B
[(A Ú B ) Ù A] ® - B
P1 : A « B
P1 :   A Ú  B
P2 :         B
P2 :         B  
              A
[(A « B) Ù B] ® A           - A
[(A Ú B ) Ù B] ® - A
 Excepción: Cuando el conector en la primera
premisa es condicional, la afirmación del D. Tollendo – Ponens (Negando - Afirmo)
consecuente no implica la afirmación del
 Regla: Al negar una de las variables de
antecedente (Falacia Formal)
la primera premisa, concluimos en la afirmación
P1 : A ® B de la otra variable
P2 :         B FALACIA NORMAL
 Conectores: ( Ú, Ú)
     A
P1 :    A Ú  B
B. Tollendo – Tollens (Negando - Niego)
P2 :  - A      
 Regla: La negación del consecuente,                 B
implica la negación del antecedente. é( A Ú B) Ù- A ù® B
ë û
 Conectores: ® , « P1 :     A Ú  B
P1 : A ® B P2 :         - B
P2 :       - B          A
é( A Ú B) Ù- Bù® A
- A ë û
é( A ® B) Ù- Bù® - A P1 :    A Ú B
ë û
P2 :  - A      
P1 : A « B                 B
P2 :     - B é( A Ú B) Ù- A ù® B
ë û
   - A
P1 :     A Ú B
é( A « B) Ù- Bù® - A
ë û P2 :        - B
P1 :     A « B          A
P2 : - A        é( A Ú B) Ù- Bù® A
ë û
              - B
é( A « B) Ù- A ù® - B Nota: No hay problema al trabajar con el Bidisyuntor en
ë û cualquiera de las dos reglas anteriores (C y D)
Excepción: Cuando el conector lógico en la primera
premisa es condicional; la negación del antecedente no EJERCICIOS
implica la negación del consecuente (Falacia Formal)
Encontrar la conclusión válida (si es que la hay) en c/u
P1 :    A ® B de los siguientes casos:
FALACIA FORMAL
P2 : - A        é( - A ® B) Ù- A ù®
1. ë û
              - B
2. é( - A ® - B) Ù Bù®
ë û
Nota: El Bicondicional no es excepción en las reglas
3. é( A ® - B) Ù- Bù®
anteriores. ë û
4. é( - A Ú B) Ù A ù®
C. Ponendo – Tollens (Afirmando - Niego) ë û
5. é( - A Ú- B) Ù Bù®
ë û

II Bimestre 2 Mar-Dic - 08


COLEGIO TRILCE de Trujillo Razonamiento Lógico

6. é( A Ú- B) Ù A ù® c) Ningún hombre y su esposa pueden usar ambos


ë û
sombreros, a menos que la esposa use tacones
7. é( A « - B) Ù- Bù®
ë û altos y pantalones o el hombre use una corbata y
8. é( - A « - B) Ù- A ù® no use saco.
ë û
é ù d) Si un hombre lleva un sombrero y su mujer lleva
9. ë( - A « B) Ù A û®
pantalones, entonces el hombre debe usar
10. éë( A «/ - B) Ù- Bùû® corbata y su mujer no debe llevar tacones altos.
11. éë( - A «/ - B) Ù- A ùû®
Ejercicio 4: Encuentre la conclusión mayor de las
12. éë( - A «/ B) Ù A ùû®
siguientes premisas. (De Lewis Carroll.)

EJERCICIOS ADICIONALES
a) Todos los patos de esta aldea que están
Ejercicio 1: Un marido irascible cargo a su nueva marcados con “B” pertenecen a la Sra. Bond.
b) Los patos de esta aldea nunca llevan collares de
esposa y cruzo el umbral diciéndole: “Nos llevaremos
encaje, a menos que estén marcados con “b”.
muy bien, querida, si observas las siguientes reglas: c) La Sra. Bond no tiene patos grises en esta aldea.

a) En toda comida en que no sirvas pan, debes Ejercicio 5: dadas las siguientes premisas, todas
servir helado.
referentes a una comida arbitraria:
b) Si sirves pan y helado en la misma comida,
entonces no debes servir pepinillos.
c) Si se sirven pepinillos, o no se sirve pan, a) Si él toma café, no bebe leche.
entonces no se debe servir helado.” b) El come galletas solo si bebe leche.
c) El no toma sopa, a menos que coma galletas.
La recién casada estaba de acuerdo, pero algo confusa d) Hoy al medio día el tomo café.
acerca de cómo recordar estas reglas tan complicadas.
El problema es simplificar las reglas. ¿Es posible llegar a una conclusión de si tomo sopa hoy
al medio día? Si acaso lo es, ¿Cual es la conclusión
Ejercicio 2: En un baile del día de los inocentes se
correcta?
establecieron las siguientes reglas. Todo muchacho que
rompa una regla debe pagar una multa. Ejercicio 6: En cierta comunidad mítica, los políticos
siempre mienten, y los apolíticos siempre dicen la
a) Si un muchacho baila con una pelirroja u omite verdad. Un extraño conoce a tres nativos y le preguntan
bailar con la charapa, entonces debe bailar con
la cocinera y no debe bailar con una rubia. al primero si es un político. El primer nativo le contesta la
b) Un muchacho no debe bailar con la charapa y pregunta. El segundo nativo entonces dice que el
debe bailar con una rubia si no baila con la primero negó ser un político. Entonces el tercer nativo
cocinera o sino baila con una pelirroja.
afirma que el primero es realmente un político. ¿Cuántos
c) Un muchacho debe bailar con la charapa pero no
con la cocinera, a menos que baile con una de estos nativos son políticos?
pelirroja y no con una rubia.

Muestre que todo muchacho pagara una multa.

Ejercicio 3: Simplifique a una sola regla el siguiente


Algebra Booleana y sus aplicaciones. J. Eldon Whitesitt.
conjunto de reglas referentes al vestido que debe usarse
en cierta fiesta de parejas casadas.

a) Si un hombre usa una corbata o un saco,


entonces su esposa no debe usar tacones altos
ni sombrero.
b) Si una mujer usa pantalones o sombrero,
entonces su esposo debe usar o corbata o
sombrero, pero no ambos.

II Bimestre 3 Mar-Dic - 08