1..

--- Modus ponens (MP)

p-->q -Si digo siempre la verdad, los dems confan en m, y si los dems confan en m, me siento

p seguro y me siento independiente, cuando me siento seguro y me siento independiente soy capaz

------- de afrontar cualquier problema. Como yo digo siempre la verdad, se deduce que soy capaz de

q afrontar cualquier problema

-1. p --> q |

-2. q --> ( r ^ s ) |-- t (conclusin)

-3. ( r ^ s ) --> t |

-4. p |

-5. q MP 1,4

-6. ( r ^ s ) MP 2,5

-7. t MP 3,6

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

-Demostrar 7t

-1. p --> 7q -7. 7q MP 1,6

-2. 7q --> n -8. n MP 2,7

-3. n --> m -9. m MP 3,8

-4. m -->7r -10. 7r MP 4,9

-5. 7r --> 7t -11. 7t MP 5,10

-6. p

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

2..--- Modus Tolens (MT)

p --> q -Si fueras un mandarn de la china, viviras con lujo y no tendras que trabajar. Y si vivieses de

7q esa manera te distraeras haciendo viajes alrededor del mundo o alimentando a los faisanes de

-------- tu majestuoso palacio. Como no es el caso de que te distraigas con esas cosas, deduzco que

7p no eres un mandarn de la china

-1. p --> ( q ^ 7r ) |

-2. ( q ^ 7 r ) --> ( s V t ) |-7p (conclusin)

 -3. ( 7s V 7t ) |

-4. 7 ( q ^ 7r )

-5. 7p

3..--- Silogismo Disyuntivo (SD)

pVq -Este hombre o es abogado o es parlamentario pero no es parlamentario o le habra visto en

7P las sesiones plenarias, pero no le he visto jams, luego es abogado

--------- -1. p V q |

q -2. 7q V r |-p (conclusin)

-3. 7r |

-4. 7q SD 2,3

-5. p SD 1,4

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

-Demostrar n

-1. s V m -8. s SD 1,4

-2. s --> q -9. q MP 2,8

-3. w --> 7r -10. r MP 5,9

-4. 7m -11. 7w MT 3,10

-5. q --> r -12. t SD 6,11

-6. w V t -13. n MP 7,12

-7. t --> n

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

4..--- Doble Negacin (DN)

77p -Si no es cierto que no bromeo, entonces llueve, y si llueve, no hace fro. Por si te sirve de

------- ayuda te dir que no es verdad que no haga fro, luego, no bromeo.
p -1. 77p --> q |

-2. q --> 7r |7p

-3. 77r |

-4. 7q MT 2,3

-5. 777p MT 1,4

-6. 7p DN 5

5..--- Producto (prod)

p -Demostrar p ^ 7q

------ -1. 7p --> s -4. p MT 1,3

p^q -2. q --> s -5. 7q MT 2,3

-3. 7s -6. p ^ 7q prod 4,5

6..--- Simplificacin (simp)

p^q -Resolver:

---------

p -1. p --> q | -5. p simp 4

-2. ( q ^ s ) --> t |- t (conclusin) -6. q MP 1,5

-3. r --> s | -7. r simp 4

-4. p ^ r | -8. s MP 3,7

-9. q ^ s prod 6,8

-10. t MP 2,9

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

-Si el rey abdica, el prncipe cambiar de palacio. Si el prncipe cambia de palacio, Espaa no ser republicana. El rey
abdica y el prncipe cambia de palacio, luego Espaa no ser republicana.

-1. p --> q | -4. p simp 3

 -2. q --> 7r |- 7r (conclusin) -5. q MP 1,4

-3. p ^ q | -6. 7r MP 2,5

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

7..--- Adiccin (ad)

p -Si la clula bacteriana es de estructura procaritica, carece de membrana celular. La clula

------ bacteriana es procariotica, luego o carece de membrana celular o solo tiene un cromosoma

pVq

-1. p --> 7q |- 7q V r (conclusin) -3. 7q MP 1,2

-2. p | -4. 7q V r ad 3

8..--- De Morgan (de morgan)

7 (p ^ q ) -Si un pentgono fuese una figura tridimensional, tendra profundidad y podra calcularse

----------- su volumen. pero o carece de profundidad o no puede calcularse su volumen, en

7p V 7q consecuencia, un pentgono no es una figura tridimensional.

-1. p --> q ^ r |

-2. 7p V 7r |- 7p

-3. 7 ( q ^ r ) |

-4. 7p MT 3,1

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

-Demostrar 7 ( m ^ n )

-1. 7s -4. 7p MT 1,2

-2. p --> s -5. 7m MT 3,4

-3. m --> p -6. 7m ^ 7n ad 5

-7. 7 (m ^ n ) de morgan 6