pqr
pqr
p (q r)
(p q) r
pq
(p q) r
p (q r)
pr
p r
p (r q)
p (r q)
Con frecuencia hay que considerar idnticas a oraciones con distinto tiempo verbal: Kant baila Kant bailar Kant bailara
- Hay que fijarse en qu palabras se refieren al mismo objeto, como los pronombres: Hume naci en Escocia. Si l naci all, no naci en Lanjarn.
Aqu slo hay 2 proposiciones: p Hume naci en Escocia q Hume naci en Lanjarn
Presumiblemente, slo 2: p Hume es inocente q Hume debe ser absuelto Hume es inocente Hume no es culpable
En general asumimos que inocente es lo contrario de culpable
En este caso hay 3: p Hume es escocs q Hume es britnico r a Hume le gusta la rumba Hume es escocs Hume no es britnico
Peano habla Y Quine duerme Peano habla, PERO Quine duerme Peano habla AUNQUE Quine duerme Peano habla, SIN EMBARGO, Quine duerme Peano habla, Quine duerme A PESAR DE QUE Peano habla, Quine duerme
pq
pq
Peano NO habla NO ES EL CASO QUE Peano hable NO OCURRE QUE Peano hable NO ES CIERTO QUE Peano habla
pq
En la U2 ocurre que SI NO sacas 9, NO tienes MH. Por tanto, SI tienes MH, es que tienes un 9
es necesario para
1 y 2 no dicen lo mismo: En 1, que vaya en coche es condicin suficiente para que me maree (pero puedo marearme por ms razones)
me mareo p voy en coche q
(1) (q p)
En 2 que vaya en coche es condicin necesaria para que me maree (si no voy en coche no me mareo)
me mareo p voy en coche q
(2) (p q)
Intento #2: interpretamos la y como conyuntor dar un punto de apoyo p levantar el mundo q
formalizacin: p q Pero afirma entonces Arqumedes que le damos un punto de apoyo?
Intento #3: sospechamos que no todo es lo que parece Arqumedes est estableciendo una condicin: SI le damos un punto de apoyo, l levanta el mundo dar un punto de apoyo p levantar el mundo q
formalizacin correcta: p q !!
NO. (1) establece una condicin que, caso de no cumplirse, acarrea una consecuencia: si no me das un vaso de agua, me muero: p q (2) es una disyuncin de dos imperativos, y no se puede formalizar
pq
pq
p q
4. Si no voy al cine, voy al teatro
pq p
2. Ir al cine a menos que vaya al teatro q 3. Si no voy al teatro, voy al cine 4. Si no voy al cine, voy al teatro
p q
Ejercicios de formalizacin en L0
Cuando el ventero est en la puerta, el diablo est en la venta, pero cuando no est en la puerta, el diablo sigue estando en la venta p el ventero est en la puerta q el diablo est en la venta
(p q) (p q)
Ejercicios de formalizacin en L0
Supongamos que una figura slo puede ser cuadrada o triangular, pequea o grande, y roja o azul. Interpretemos las expresiones del tipo X es un cuadrado azul como X es un cuadrado y X es azul.
Ejercicios de formalizacin en L0
Si es grande, tambin es azul; es un tringulo azul o es roja y pequea; si es roja, no es un cuadrado pequeo; si es tringulo, es rojo y pequeo.
p es pequea s es grande q es cuadrada t es triangular r es roja u es azul
(s u) ; (t u) (r p) ; r (q p) ; t (r p)
Obsrvese que podemos sustituir los ; por conyuntores y obtener as una sola frmula compleja:
(s u) [(t u) (r p)] [r (q p)] [t (r p)]
Ejercicios de formalizacin en L0
Si es un cuadrado pequeo, es rojo; ni es un cuadrado grande ni es un cuadrado rojo; es un tringulo slo si es rojo
p es pequea s es grande q es cuadrada t es triangular r es roja u es azul
Ejercicios de formalizacin en L0
No es un cuadrado grande; no es un tringulo azul; es roja si y slo si es pequea
p es pequea s es grande q es cuadrada t es triangular r es roja u es azul
(q s) (t u) (r p)
Ejercicios de formalizacin en L0
Si es un cuadrado o es roja, es grande; es grande si y slo si es azul; slo es un cuadrado si es roja
p es pequea s es grande q es cuadrada t es triangular r es roja u es azul
[(q r) s] (s u) (q r)
Ejercicios de formalizacin en L0
Aprobar lgica, si Dios quiere. Aprobar lgica si y slo si estudio y hago todos los ejercicios. Sin embargo, no he hecho los ejercicios. Por tanto, Dios no quiere que apruebe lgica. p apruebo lgica r estudio q D quiere que apruebe s hago los ejercicios
hay algn modo de marcar la diferencia de ese por tanto? S: es la conclusin de un argumento. Vamos a marcarla con el
smbolo
(q p) [p (r s)] s q
Ejercicios de formalizacin en L0
Si la seora White lo hizo, lo hizo con la llave inglesa o con la cuerda. Pero lo hizo con la cuerda si y slo si el asesinato se cometi en el vestbulo. El asesinato se cometi en la cocina. Por lo tanto, si la seora White lo hizo, lo hizo con la llave inglesa.
p W lo hizo q W lo hizo con llave r W lo hizo con cuerda s asesinato en vestbulo t asesinato en cocina
[p (q r)] (r s) t (p q)
Ejercicios de formalizacin en L0
Una condicin necesaria para que la humanidad sea libre es que los seres humanos no estn ligados a una esencia. Si Dios cre a los humanos, entonces estamos ligados a una esencia. Claramente, los humanos somos libres. Por tanto, Dios no cre a los humanos.
p humanos son libres r D crea humanos q humanos ligados a esencia
(p q) (r q) p r
Ejercicios de formalizacin en L0
No hay vida en Marte a menos que haya oxgeno all, y no hay oxgeno all a menos que haya all alguna planta, y no hay plantas all a menos que haya agua. Por tanto, si hay vida en Marte, all hay agua.
p hay vida en M q hay O2 en M r hay plantas en M s hay agua en M (q p) (r q) (s r) (p s) (p q) (q r) ( r s) (p s) (p q) (q r) (r s) (p s)