Lógica I

Profesor: Marraud

Tema 1:

Tema 2:

Tema 3 :

examen_logica5.jpg

examen_logica2.jpg

examen_logica1.jpg

examen_logica3.jpg

examen_logica4.jpg

... examen de Alemán: si y solo si alguien supiera o supiese resolver los ejercicios, podría subir las soluciones? GRACIAS

a1º) ¿puede haber 2 fórmulas A y B tales que A implique a B, y A sea consistente con ¬B ? justifica respuesta y pon ejemplos.

a2º) ¿puede haber razonamientos válidos con premisas falsas y conclusión verdadera? justifica respuesta y pon ejemplos.

a3º) ¿hay palabras indefinibles?

---

b1º) A: p -> q
B: q <-> p v q

probar que A implica B por las reglas primitivas

b2º) A: (p & ¬q ) v [ ¬r & (s <-> t ) ]
B: p & ¬q & ¬r

A=/=>B (que A no implica B); A y B son mutuamente consistentes.

b3º) A&B

=

=¬(¬A v ¬B) se supone que una está debajo de la otra, separadas por doble barra... xD

es una de las leyes de Morgan ..... alguien tiene la solución!???'

Lógica II

aqui esta el enlace con toas las preguntas, lo que subo a continuación, son las ke caen. xd
http://www.lllf.uam.es/~logicaww/Logica.htm#Programas

preguntas.doc

• Details
• Download
• 12 KB

de momento pongo las preguntas ke se han ido marcando como definitivas en clase. ya pondré las respuestas. denada. :P (14/V/10)

preguntas.doc

• Details
• Download
• 12 KB

mas de las preguntas con algunas respuestas. :P salute



estas son preguntas y respuestas del grupo VIII.

tieres

1.1_De_que_trata.pdf

• Details
• Download
• 33 KB

ahora sin... son cosas ke me han llegado a las manos de lógica II un saludo!!

tieres.

Profesor: A.Aleman

Apuntes de Tejón;

[[file:"LÓGICA]]

Apuntes de Humpy:

[[file/view/Lógica.doc|Lógica.doc]]