LOGICA FORMAL

Premisas y Conclusiones

La conclusin es el juicio principal al que se llega en un argumento o inferencia, el

cual debe partir de ciertas premisas y terminar en una conclusin . Por ejemplo,
este es un argumento de dos premisas seguidas de la conclusin:

Todos los seres humanos son miembros de la especie Homo Sapiens.

Manuel es un ser humano.
Por lo tanto, Manuel es miembro de la especie Homo Sapiens.

Cada inferencia, en general es una estructura de proposiciones donde a partir de

una o ms proposiciones llamadas Premisas, se deduce una proposicin llamada
Conclusin. Formalmente se escribe:

P1 , P2 ,..., Pn

Las premisas son

Pi
,

C
C

significa Por lo tanto y

es la conclusin.

En la lgica formal, las premisas deben estar unidas por la conjuncin:

( P1 P2 ... Pn ) C
En una inferencia valida, si el conjunto de premisas es verdadero, la conclusin es
necesariamente verdadera. Si la conclusin es falsa, la inferencia no es vlida. Es
evidente que la conjuncin de premisas es verdadera solo si cada premisa es
verdadera.
Es usual esquematizar una inferencia con las premisas en forma vertical, as:

( P1 P2 ) C
Se puede escribir:

P1
P2

--------

Por ejemplo:

En smbolos:

pq
Si hoy es domingo, entonces ir a la iglesia.

p
Hoy es domingo
-------------------------------------------------------------------

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

q
Ir a la Iglesia

Si hacemos la tabla de verdad de la frmula del ejemplo anterior :

[( p q) p] q
Debemos obtener una tautologa.

[( p q ) p ] q

V
F

V
F

V
V

V
F

El modelo de argumento que hemos analizado se le conoce como MP (Modus

pq

Ponens) por que la primera premisa es de tipo condicional

, la segunda
Modus Tollens
Silogismo Hipottico
Silogismo
afirma el antecedente y la conclusin es el consecuente, esto se conoce como
Disyuntivo
argumento de afirmacin del antecedente.
Otros argumentos usuales de la lgica formal son los siguientes:

pq

q
-----------

pq

qr
------------------

pq

p
-------------------

Cuando una inferencia tiene una de estas formas, la conclusin queda establecida
sin necesidad de recurrir a las tablas de verdad u otros criterios de validez.
Veamos un ejemplo de Silogismo Disyuntivo:

El numero N es par o impar

El numero N no es par
-----------------------------------

El nmero es impar

Y otro de Silogismo Hipottico:

Si baja el tipo de cambio, aumentan las importaciones

Si aumentan las importaciones, se gastan ms dlares
-----------------------------------

Si baja el tipo de cambio, se gastan ms dlares

LOGICA DE CLASES
Ciertas proposiciones se refieren a caractersticas de los elementos de una clase o
conjunto, abarcndolos completamente o de modo parcial. Estas proposiciones se
denominan categricas y segn su alcance o por que afirman o niegan son
esencialmente de cuatro tipos:

Todos los peces son acuticos

Universal Afirmativa

Ningn peruano es ecuatoriano

Algunos libros son educativos
Algunas bebidas no son alcohlicas

Universal Negativa
Particular Afirmativa
Particular Negativa

NEGACION DE PROPOSICIONES
Para negar una proposicin categrica, se debe cambiar tanto su cantidad
(universal en particular y viceversa) como su calidad (afirmativa en negativa y
viceversa).

Ejemplos:

p
= Todos los animales son salvajes

p
= Algunos animales no son salvajes

q
= Ningn chofer es distrado

q
= Algn chofer es distrado

= Algunos pases son industrializados

= Ningn pas es industrializado

DIAGRAMAS DE VENN EULER

Para representar grficamente las proposiciones categricas nos serviremos de la

siguiente notacin:

Conjunto vaco, es decir, el

conjunto A carece de
elementos.

A
x

Conjunto no vaco, es decir,

el conjunto A posee por lo
menos un elemento.

Conjunto indeterminado, es decir,

no se puede precisa si el conjunto A
posee o no elementos.

Ejemplos:

Todos los limeos son peruanos.

religioso
Limeos

peruanos

Ningn cientfico es

Algunos animales son domsticos.

msicos.
Animales

Algunos universitarios no son

domsticos

CASOS ESPECIALES

a) Cuando el predicado est negado, se presentan las siguientes

equivalencias:
Ningn S es no P Todos los S son P
Ejemplo:
Ningn hombre es inmortal Todos los hombres son mortales
b) Cuando el cuantificador es universal y la negacin afectas al verbo
copulativo, la negacin acta como si negara al cuantificador.
Ejemplo:
Todos los primos no son impares
No [Todos los primos son impares]
Algunos primos no son impares
VALIDEZ DE INFERENCIAS
Hemos visto que las inferencias son las deducciones que parten de un
conjunto de premisas que terminan en una conclusin. Cuando las premisas
son proposiciones categricas, para determinar su validez, se recurre a los
diagramas de Venn Euler, debiendo graficarse las premisas. En general
conviene comenzar por la que tenga un cuantificador universal.

EJEMPLO:
Todos los poetas son soadores,
Ningn soador es racional,
Qu se puede inferir?

Ningn poeta es racional.

EJEMPLO:
Ningn A es B,
Algunos B son C,
Qu se puede inferir?

Algunos C no son A.

EJERCICIOS

1. Si:

Ningn profesor es rico

Algunos poetas son ricos
Todo profesor es poeta

Se concluye que:
a)
b)
c)
d)
e)

Algunos ricos son profesores

Todo rico es poeta
Todo poeta es profesor
Ningn profesor es poeta
Todo rico no es profesor

2. Si:

Todo hombre es racional

Ningn animal es un ser que razona

Se deduce que:
a)
b)
c)
d)
e)

Algn animal es hombre

Algn no animal no es hombre
Ningn animal es hombre
Todo animal es siempre animal
Cierto no hombre no es hombre

3. Si:

Los mdicos son profesionales

Algunas personas no son profesionales

Se concluye que:
a)
b)
c)
d)
e)

Toda persona es mdico

Ningn mdico es persona
Es falso que los mdicos sean personas
Ciertas personas no son mdicos
Ningn no persona es no medico

4. Ningn cientfico admite la clonacin de los seres humanos, pero algunos

aficionados a la ciencia ficcin la admiten. En consecuencia:
a)
b)
c)
d)
e)

Todos los aficionados a la ciencia ficcin son cientficos

Ningn cientfico es aficionado a la ciencia ficcin
Algunos aficionados a la ciencia ficcin no son cientificos
Todos los cientficos son aficionados a la ciencia ficcin
Ningn aficionado a la ciencia ficcin es cientfico

5. De las premisas:

Ninguno de los locos toca el piano

Ningn japons deja de tocar el piano
Todos los estudiantes son locos

Es cierto que:
a)
b)
c)
d)
e)

Algunos estudiantes tocan el piano

Todos los japoneses estudian
Ningn japons es loco
Algunos japoneses son estudiantes
Algunos japoneses son estudiantes y algunos locos no tocan el piano