UNIVERSIDAD DE GUAYAQUIL

DIRECCCIÓN DE ADMISIÓN Y NIVELACIÓN

FACULTADES FILOSOFIA_JURISPRUDENCIA

ASIGNATURA: MATEMÁTICA
TEMA: LÓGICA MATEMÁTICA

UNIDAD 01
GUIA DE TRABAJO AUTÓNOMO 02
INDICACIONES GENERALES:
******** INVESTIGACIÓN *********
TEMAS:
La condicional y sus variantes
Condiciones suficientes y necesarias,
Análisis lógico matemático de la validez de un razonamiento lógico y su estructura

Condicional
El condicional, condicional funcional de verdad, o imprecisamente confundido con
la implicación material, es una conectiva lógica que conecta dos proposiciones,
representado usualmente  A → B . En lógica proposicional, el condicional es una función de
verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se
vuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como
una relación de subconjuntos entre la extensión de predicados (posiblemente complejos).
A diferencia del Español coloquial donde expresiones "si……….,entonces…." implican causa
y efecto, el condicional material  A → B no establece convencionalmente una relación de
causalidad entre sus proposiciones. Es simplemente una expresión que asume un valor-
verdad/falso cuando, simultáneamente, a  es verdadero y b  es
falso.
Lenguaje natural:
(A implica B ; si A entonces B)

El condicional se puede denotar de varias maneras:

A→B

  A ⊃ B (aunque este símbolo puede ser usado como el símbolo de

un superconjunto en teoría de conjuntos)
  A ⟹ B (aunque no es recomendado, ya que es usado para implicación lógica)
CAB  (en notación polaca)

Con respecto a las variables A y B :

A es el antecedente (acción)

B el consecuente (reacción)

Es importante no confundir el concepto de condicional con el de implicación lógica. La

confusión es exacerbada porque los símbolos a → b y a ⟹ b son imprecisamente usados
como expresiones equivalentes por muchos, cuando realmente no lo son. Aunque en
conversaciones del día a día la diferencia no tiene mayor impacto, la diferencia sutil entre
ambos conceptos es significativa en el entendimiento correcto de la lógica proposicional.
El condicional material es una función de verdad que puede tomar dos valores de verdad
(por lo general los valores de proposiciones):
 Devuelve falso cuando el primer valor es verdadero y el segundo falso,
 Y devuelve verdadero en cualquier otro caso.
En otras palabras, la tabla de verdad del condicional es la
siguiente:
Es falsa sólo cuando el antecedente es verdadero y el
consecuente es falso.
Propiedades formales
Algunas de las propiedades formales del condicional material son:
 Distributividad: (a → ( b → c ) )⇒ ( ( a → b ) → ( a→ c ) )

 Transitividad: (a → b)→( ( b→ c ) ⇒ ( a → c ))

 Conmutatividad de antecedentes: a → ( b → c ) ¿ ⇔(b → ( a→ c ) )

 Idempotencia: a → a es siempre verdadero.

 Preservación de la verdad: La interpretación en virtud del cual todas las variables se les asigna un
valor de verdad de «verdadero» produce un valor de verdad de «verdadero» como resultado del
condicional material.

En lógica clásica   p →q es equivalente a  ¬( p ∧¬q)  , y por las Leyes de

Morgan equivalente a ¬ p ∨ q Sin embargo, en Lógica minimal (y por tanto también en
lógica intuicionista)  p →q  sólo implica ¬( p ∧¬q) ; y en Lógica intuicionista (pero no en
lógica minimal) ¬ p ∨ q implica p →q  .

Ejercicio
Supóngase que un padre le dice a su hijo:
"Si apruebas el preuniversitario, entonces te daré un premio".
Bien, ahora suponga que:
1. Efectivamente el hijo aprueba el preuniversitario, y que el padre le da el premio.
Entonces el padre ha
dicho una verdad
2. Si el hijo aprueba el preuniversitario y el padre no le da el premio. Entonces el padre ha
dicho una mentira (falsedad).
3. Si el hijo no aprueba el preuniversitario y sin embargo el padre le da el premio, aunque
no está obligado a hacerlo. Entonces el padre no ha dicho una mentira.
4. Si el hijo no aprueba el preuniversitario y el padre no le da el premio. El padre tampoco
ha dicho una mentira.

Variantes del Condicional

Para la implicación a → b se define:
 Reciproca b → a
 Inversa ¬ a→ ¬ b
 La contrarrecíproca ¬ b→ ¬ a

Ejercicio:
Sea la proposición: "iré a trabajar, si me pagan"
Para expresar su recíproca, su inversa y su contrarrecíproca es mejor tener la enunciación hipotética de la
forma: Si a entoncesb 
Observe que la proposición dada, está de la forma b si a 
Entonces el antecedente es a : Me pagan.
Y el consecuente es b :  iré a trabajar.
Luego tenemos:
"Si me pagan, entonces iré a trabajar”
Recíproca: "Si voy a trabajar, entonces me pagan"
Inversa: "Si no me pagan, entonces no iré a trabajar"
Contrarrecíproca: "Si no voy a trabajar entonces no me pagan"

Condiciones Necesarias y
Suficientes
En ocasiones, en una enunciación hipotética verdadera donde existe relación causal entre
e1 antecedente a y el consecuente b , se interpreta 1o siguiente:
" a es condición suficiente para b

" b es condición necesaria para a

Lo cual nos indica otras dos formas de lenguaje relacionado para la enunciación hipotética.

Ejercicio:
"Si un número es divisible para 4, entonces es divisible para 2”
Este enunciado puede ser interpretado, parafraseándolo de la siguiente manera:
"Es suficiente que un número sea divisible para 4 para que sea divisible para 2”
O también:
"Es necesario que un número sea divisible para 2, para que sea divisible para 4 " (también:
“si un número es divisible para 4. necesariamente será divisible para 2”)
Es importante mencionar que el consecuente la enunciación si se intercambia el
antecedente con hipotética cambia.

Análisis lógico matemático de la

validez de un razonamiento lógico
y su estructura
Razonamientos
El tipo de razonamiento que vamos a considerar estará constituido por una enunciación
hipotética que tiene como antecedente una conjunción de hipótesis o premisas. Es decir, su
estructura 1ógica será de la forma:
Estamos interesados en saber si un razonamiento es válido o no, es decir si la conclusión
es lógicamente inferida de las hipótesis.

Validez de un Razonamiento
Un razonamiento es válido cuando lo forma proposicional que se obtiene de lo proposición
molecular que lo define, es tautología. Es decir, uno Implicación Lógico.
Como la estructura lógica de los razonamientos presenta la forma H ⟹C entonces
podemos dedicarnos a determinar si se produce el siguiente caso H ≡1 y C ≡ 0 que es el
único caso cuando la Enunciación Hipotética sería falsa, entonces no sería una tautología y
por tanto el razonamiento no es válido.
Ejercicio:
Determine si el siguiente razonamiento es válido o no:
“Si aumenta la producción, aumentan los ingresos; si aumentan los ingresos, se recupera la
inversión. Por lo tanto, si aumenta la producción, se recupera la inversión"
Considerando las proposiciones atómicas:
a : Aumenta la producción

b : Aumentan los ingresos.

c : Se recupera la inversión.

El razonamiento se traduce al lenguaje formal por la proposición molecular:

[ ( a →b ) ∧ ( b →c ) ]⇒( a → c)

Entonces la forma proposicional correspondiente sería [ ( p → q ) ∧ ( q → r ) ]⇒ (p → r )

Que debería ser tautológica para que el razonamiento sea válido. Podemos hacer toda la
tabla de verdad, pero para evitar tal trabajo nos dedicaremos a investigar si existe por lo
menos un caso de falsedad.

Para que la enunciación hipotética sea falsa, se requiere que el antecedente sea verdadero
mientras que el consecuente es falso, para lo cual ( p →r ) ≡0 entonces p ≡1 y r ≡0 . Ahora
examinando el antecedente, observamos que para que la primera hipótesis sea verdadera se
requiera queq ≡ 1, pero la segunda hipótesis se hace falsa. Esto nos hace pensar que no va a
existir por lo menos una proposición falsa, por lo tanto, el razonamiento es válido.