Patrick Suppes.

Primer curso de lgica proposicional

A) Proposiciones
1. Atmicas (

p )

2. Moleculares (

1
2
n
p , p p = ( p * p ) o (* p

B) Trminos de enlace (*)

i. Las proposiciones moleculares poseen una forma, independiente del contenido de la
proposicin y definida exclusivamente por el trmino de enlace.
ii. Trminos de enlace tomados del lenguaje corriente (natural)
_y_ (Conjuncin) &
_o_ (Disyuncin)
o_o_ (Disyunci)
si_entonces_ (Prop. Condicional Antecedente/Consecuente)
no, no ocurre que (Negacin)
Cualesquieras que sean las propocisiones con las que se llenen los lugares, la forma de una
proposicin siempre es la misma y est determinada por el trmino de enlace
Potencia del trmino de enlace o trmino de enlace dominante. Acta sobre toda la proposicin.
En una propocision, los espacios se puden llenar con propocisines atmicas o moleculares.
Los parntesis son los smbolos de puntuacin logia. Muestran como esta agrupada una
proposicin, y por tanto, sealan cual es el termino de enlace dominante.
Miembro
Los trminos de enlace determinan la forma de la propocisin

Inferencia
Inferencia Deduccin
Las reglas de inferencia que rigen el uso de los trminos de enlace son muy simples
El objeto del juego es utilizar las reglas de inferencia de modo que conduzcan a otras
frmulas que se denominan conclusiones. El paso lgico de las premisas a la conslusin se
llama deduccin. La conslusin que se obtiene se dice que es una consecuencia lgica de las
premisas, si cada paso que se da para llegar a la conslusin est permitido por una regla.
La idea de inferencia se puede expresar de manera siguiente: de premisas veradaderas se
obtienen solo conclusiones verdaderas. Es decir, si las premisas son verdadderas, entonces las
conslusines que s e dereivan de ellas lgicamente, han de ser verdaderas
Cuando se demuestra que una regla de inferencia para pasar e un conjunto de proposiciones a
otra se demuesra quela ultima es consecuencia lgica de la primera. Esto se puede expresar
de muchas maneras, se dice que se ha derivado, que la conclusin se infiere o es implicada
por las permisas, que la consclucion se deduce de las permisas y otras.

Reglas de inferencia y demostracin

1. Modus ponendo ponens
Premisa 1 P entonces Q
Premisa 2 P
Conslusin Q

Siempre que se de una proposicin condicional, si el antecedente es veradero, el consecuente

es verdadero.
*Demostracin en dos pasos:
Algunas veces no se puede ir directamente de las premisas a la conclusin por un solo paso.
Cada vez que se deduce una proposicin por medio de una regla, entonces esta proposicin se
puede utilizar junto con las premisas para deducir otra porpocision,
A entonces B
B entonces C
A
C: B
C: C
No existe limitacin respecto al numero de veces que se puede aplicar en una demostracin la
regla del MPP.
2. Doble Negacion
La regla de doble negacin es una regla simple que permite pasar de una premisa nica a una
conclusin. Un ejemplo simple es el de una negacin de una negacin, que brevemente se
denomina doble negacin,
(No ocurre que Ana no es una estudiante. Entonces, ana es una estudiante) AMBIGUEDAD
Y lo contrario
Ocurre que Ana es una estudiante. Entones, no ocurre que Ana no es una estudiante.
P
--P
--P
-P
3. Modus tollendo tollens
Se aplica tambin a las propocisiones condicionales.
En este caso, negando (tollendo) el consecuente, se puede negar (tollens) el antecedete de la
condicional. La deduccin sigueite es un ejemplo
P1. Si tiene luz propia, es una estrella
P2. No es una estrella.
C. No tiene luz propia.
4. Extensin de la definicin de negacin
P es la negacin de P
5. Adjuncin y simplificacin
Se suponen ds premisas.
Jorge es adulto
Maria es adolescente.
Si ambas son veraddderas, se podran juntar en una propocision molecualar, utilizando el
terminod de enlace y, y se tendra una proposicin veradera,
Jorge es adulto y Maria es adolescente,
Si ambas premisas son ciertas, entonces la conclusin es cierta, La regla permite pasar de dos
premisas a la conslusion se denomina regla de adjuncin,
P
Q
Entonces
PyQ

El orden de las premisas o factores no altera el producto, es indiferente. El significado no

cambiaria.
La regla opuesta es la regla de simplificacin
PyQ
Entonces
P
Q
6. Definiciones como premisas.
Modus tollendo toponenes.

Negando (tollendo) un miembro de una disjuncin se afirma (ponens) el otro miembro0

Antes de introducir el funcionamiento de una diyuncion conviene aclarar su significado.
Tiene un sentido inclusivo y otro exclusivo
En lgica, o tiene un significado inclusvo. Significa que al menos si al menos uno de los dos
miemnros es cierto, la propocisiones en verdadera. Pero ambos tambin pueden serlo. En la
distyuncion exclusiva solo uno de los trminos puede ser cierto.
Modus tollendo tollens. Siempre que la poroposicion sea veradera, la negacin de uno de los
trminos implica la afirmacin del otro
PUQ
-P
Entoncess Q
Suponiendo que se dice que un miembro de una disyuncin es cierto, no puede afirmarse lo
contrario ni lo idntico del otro miembro, no pude afirmarse nada.