Clase del 31/05

Hoy el profesor comenzó a explicar qué es la epistemología, de dónde proviene el término, qué errores en la traducción de este existen y qué diferencia hay entre la epistemología y la gnoseología. Les seguimos recordando que compren el módulo que usaremos durante todo el trimestre.

Clase del 24/05

En esta clase seguimos charlando y debatiendo sobre qué tema podríamos investigar durante lo que resta del año. Acuérdense de comprar la fotocopia, sale $13, principalmente los que saben que no les va muy bien.

Clase del 18/05

Quienes debían levantar la nota realizaron los ejercicios indicados por el profesor. El resto, nos pusimos a debatir qué temas podríamos investigar desde aquí hasta fin de año, utilizando los contenidos que próximamente veremos.

Clase del 17/05

Hoy hablamos sobre cómo será el resto del año en la materia y el profesor indicó a cada uno de los desaprobados qué debían estudiar para hacer unos ejercicios mañana y así levantar nota.

Clase del 11/05

Hoy se realizó la evaluación mientras el profesor corregía los trabajos prácticos evaluativos. Los que desaprueben tendrán que aprender a utilizar las reglas de remplazo para levantar la nota.

Clase del 10/05

En el día de la fecha se realizó la corrección oral del trabajo práctico evaluativo que mañana será corregido por el profesor. Además recuerden que mañana es la EVALUACIÓN. Cualquier duda que tengan pueden consultar acá :)

Clase del 04/05

Trabajo práctico evaluativo

1) Demostrar la validez por medio del condicional asociado.

a) 

1_ (P v Q) --> R

2_ R --> (P v Q)  .:  ~(P v Q) --> ~(P v Q)

b)
1_ A --> (B --> C)
2_ B  .:  ~C v B

2) Construir una prueba formal de validez para:

a)
1_ F --> ~G
2_ ~F --> (H --> ~G)
3_ (~I v ~H) --> ~~G
4_ ~I  .: ~H

b)
1_ (N v O) --> P
2_ (P v Q) --> R
3_ Q v N
4_ ~Q  .:  R

3) Enunciar la justificación de:

a)
1_ I --> J
2_ I v (~~K . ~~I)
3_ L --> ~K
4_ ~ (I . J)  .:  ~L v ~J
_________________________
5_ I --> (I . J)
6_ ~I
7_ ~~K . ~~I
8_ ~~K
9_ ~L
10_ ~L v ~ J

b)
1_ (L --> M) --> (N <--> O)
2_ (P --> ~Q) --> (M <--> ~Q)
3_ {[(P --> ~Q) v (R <--> S)] . (N v O)} --> [(R <--> S) --> (L --> M)]
4_ (P --> ~Q) v (R <--> S)
5_ N v O  .:  (M <--> ~Q) v (N <--> O)
_______________________________________________________________________________
6_ [(P --> ~Q) v (R <--> S)] . (N v O)
7_ (R <--> S) --> (L --> M)
8_ (R <--> S) --> (N <--> O)
9_ [(P --> ~Q) --> (M <--> ~Q)] . [(R <--> S) --> (N <--> O)]
10_ (M <--> ~Q) v (N <--> O)

4) Demostrar la validez de:

Si compro dos, entonces recupero la inversión. Si compro dos y recupero la inversión, entonces podré comenzar el negocio. Si comprar dos implica poder comenzar el negocio, entonces no tendré suficiente tiempo libre. Tengo suficiente tiempo libre o espero al año siguiente. Finalmente, esperaré al año siguiente.

Clase del 03/05

Revisión

1) Resolver mediante condicional asociado:

a)
1_ (D v E) --> (D . E)
2_ D v E .: D . E

b)
1_ E --> F
2_ F --> E .: E v F

2) Resolver mediante reglas de inferencia:

1_ J --> K
2_ K v L
3_ (L . ~J) --> (M . ~J)
4_ ~K .: M