1 ¿QUE ES UNA PROPOSICIÓN?

Una proposición afirma que algo es o no es

Juan canta
Una proposición por lo tanto no pregunta, no da órdenes, tampoco exclama. Tampoco se
puede definir como una oración

2 Y 3 ¿CUÁLES SON LOS TIPOS DE PROPOSICIONES? EJEMPLOS

Pueden ser SIMPLES ( juan canta) o COMPUESTAS (juan canta y baila)
PROPOSICIONES CATEGORIALES (Unidades fundamentales, las partes de un argumento)
establecen relaciones entre una categoría y alguna otra

TIPOS DE PROPOSICIONES CATEGORIALES

1 Proposiciones universales afirmativas. ( todo S es P ) Todos los miembros de una clase están
incluidos o contenidos en otra clase. Ejemplo “Todos los políticos son mentirosos”. A
2 Proposiciones universales negativas. (ningún S es P) Ningún miembro de una clase está
incluido o contenido en una clase. Ejemplo “Ningún político es mentiroso” E
3 Proposiciones particulares afirmativas. (algún S es P) Ej. “Algún político es mentiroso” I
4 proposiciones particulares negativas. (algún S no es P) Ej. “algún político no es mentiroso O

Todo s es p ningún s es p

Algún s es p algún s no es p

LA LÓGICA ESTUDIA LA VALIDEZ DE LAS PROPOSICIONES

CONJUNCIÓN V ꓥ V es V el resto es F
DISYUNCIÓN F V F es V el resto es V
CONDICIONAL V F es F el resto es V
BICONDICIONAL signos iguales V el resto es F
EXCLUSIVA signos iguales F el resto es V

TODO VERDADERO TAUTOLOGÍA

TODO FALSO CONTRADICCIÓN
SI HAY V y F CONTINGENCIA

EJEMPLOS:
1 Si la siguiente proposición es falsa encontrar el valor de verdad de cada una de las
proposiciones (p ꓥ ~q ) (r ~ s)
( p ꓥ ~ q ) ( r  ~s )
F porque la proposición es falsa
Para que  sea F V F
Para que ꓥ sea V V V V F para que  sea F
Entonces: p es V; q es F (~q); r es V; s es V (~ s es F)

FORMALIZACIÓN PROPOSICIONAL Y APLICACIÓN DE LAS LEYES DE LA LÓGICA

Es pasar del lenguaje natural al lenguaje formal
p ꓥ q es y; pero; sin embargo; también, incluso; por lo tanto
p V q es o; o también; o incluso; a no ser; o en todo caso; a menos que
pq es si p entonces q; implica a; por lo tanto; luego; ya que p entonces q; en
consecuencia; puesto que p entonces q
p<->q es si y solo si; siempre y cuando; porque y solamente; es equivalente; es lo mismo;
solo si p entonces q
ni ~

EJEMPLOS Formalizar
Es falso que si usted ve un gato entonces tendrá mala suerte
Proposiciones.-
Usted ve un gato p
Usted tendrá mala suerte q
Formalizar
Es falso que si Usted ve un gato entonces tendrá mala suerte
~ ( P  q )
~ ( P  q )//

EJEMPLO Formalizar
Eres ingeniero o matemático, pero no eres matemático. Por tanto eres ingeniero
Proposiciones.
Eres ingeniero P
Eres matemático q
Formalizar
Eres ingeniero o matemático, pero no eres matemático. Por tanto eres ingeniero
P V q ꓥ ~ q  P
[ (P V q) ꓥ ~ q]  P

[ ( P V q ) ꓥ ~ q ]  P//

EJEMPLO
Si en marte no hay agua entonces no hay vida; en consecuencia no hay marcianos ni platillos voladores.
Proposiciones.
En marte hay agua P
En marte hay vida q
Hay marcianos r
Hay platillos voladores s
Formalizar
Si en marte no hay agua entonces no hay vida; en consecuencia no hay marcianos ni platillos
voladores
~ P  ~ q  ~ r ꓥ ~ s
(~ P  ~ q)  (~ r ꓥ ~ s)

( ~ P  ~ q )  ( ~ r ꓥ ~ s )//

4 FORMA DE APLICACIÓN DE LAS LEYES PROPOSICIONALES

EJEMPLO Simplificar
1 [ (~ p ꓥ q )(s ꓥ ~ s)] ꓥ ~q
2 [ (~ p ꓥ q ) F] ꓥ ~q LTE
3 [~ (~ p ꓥ q ) v F] ꓥ ~q CONDICIONAL
4 [ (p v ~ q) v F ] ꓥ ~q MORGAN
5 (p v ~ q) ꓥ ~q FORMAS NORMALES
6 ~q ꓥ (~ q v p) CONMUTATIVA
7 ~q ABSORCIÓN//

EJEMPLO simplificar

~[ ~ (~ p V q ) p] V q
~[ ~ ~ (~ p V q ) V p] V q CONDICIONAL
~[ (~ p V q ) V p] V q NEG DE UNA NEG
~[ ~ p V q V p] V q ASOCIAT
~[ (~ p V p) V q] V q CONMUTA
~[ V v q] v q TERC EXCLU
~[ V] v q DISYUNCION
Fvq DISYUNCION
q

MAS EJEMPLO HAY EN LA GUÍA DESDE LA PÁGINA 110 EN ADELANTE