miércoles, 31 de marzo de 2010

Recuperación del 2º Trimestre

Profesor, sería de gran ayuda conocer la fecha aproximada del examen de recuperación del 2º trimestre para organizar mejor el estudio. Aprovecho para desearle unas vacaciones lo más agradable posibles y descanso.

lunes, 22 de marzo de 2010

Lunes 22 de Marzo

Hoy el profesor ha llegado a clase y todos estábamos hablando como de costumbre.Hemos tardado más en empezar la clase porque el borrador había desaparecido y hemos tenido que esperar a que trajeran otro,cuando lo han traído comenzamos a corregir los ejercicios del examen de lógica.
El primer ejercicio(la tabla de verdad) era un enunciado contradictorio.
En el 2º ejercicio la deducción de apartado a salia en ocho pasos y el apartado b en doce y por último en el ejercicio 3, el apartado a salia en 11 pasos y b no lo hemos terminado de corregir.

Después de la corrección el profesor ha repartido los examenes, he resuelto las dudas que teniamos del examen y después los ha recogido y ha terminado la última clase de este segundo trimestre.

María Micaela De los Santos Muñoz 1ºD

jueves, 18 de marzo de 2010

Acertijo


Acertijo:


Un hombre aparece ahorcado en una habitación sin ventanas, cerrada por dentro con un candado.La habitación esta vacía, no hay ningún mueble al que haya podido subirse. Lo único que se aprecia además del cadáver es un charco. Por lo demás, vacía totalmente.

¿Cómo se produjo la muerte de este hombre?

lunes, 15 de marzo de 2010

El profesor ha llegado a la clase y ha preguntado si habíamos hecho los ejercicios que puso en el blog, pero para variar, casi nadie los había hecho.

Acto seguido, sale un compañero a hacer el primer ejercicio de cálculo deductivo:

1.p -> q |- s
2.q->r
3.p V (t Ʌ s)
4.r
5.p -> ┐r RTrans 1,2
6.┐p RMT 4,5
7.t Ʌ s RSD 3,6
8.s REɅ 1,7

El profesor nos comentó antes de hacer este ejercicio que si la conclusión es una sola proposición, o esta se busca en las premisas o se supone la inversa para usar la regla de introducción del negador.

Tras el enfado del profesor por nuestro mal comportamiento , sale otro compañero a realizar el segundo ejercicio de cálculo deductivo:
1. ┐s -> p |- ┐t Ʌ ┐p
2. ┐q -> ┐t
3. ┐s V ┐q
4. ┐p
5. s RMT 1,4
6. ┐q RSD 3,5
7. ┐t RE-> 2,6
8. ┐t Ʌ ┐p RIɅ 4,7

Para finalizar la clase, el profesor explica las reglas de interdefinición de las conectivas:

Andrés de las Heras López-Cordón 1ºD

sábado, 13 de marzo de 2010

Hoy en la clase de filosofía, el profesor comenzó preguntando quién tenia dudas acerca del tema que estamos tratando. Uno de nuestros compañeros pregunto que si seria posible que hubiese una hipótesis dentro de otra cosa que puede ocurrir sin ningún problema pero el único problema que hay es cómo cerrar después todas las hipótesis.

Después de zanjar este tema y de hacer un ejemplo de cálculo comenzamos con la parte más difícil del tema y la última, el cálculo de las derivadas. Lo primero que tenemos que hacer para resolver este tipo de ejercicios es coger el enunciado sin formalizar, lo formalizamos y se hace como se hace habitualmente.

Este es un ejemplo que hicimos en clase:


1.s->q -[p->(q->r)]->[p->(s->r)]

- 2.p->(q->r)

- 3.p

- 4.s

5.q->r RE -> 2,3

6.q RE->1,4

- 7.r RE ->5,6

- 8.s->r RI ->4,7

- 9.p->(s->r) RI ->3-8

10.[ p->(q->r)]->[p->(s->r)] RI ->2-9


Carlos Acal Ruiz.


jueves, 11 de marzo de 2010

Hoy el profesor ha llegado y ha dicho que estamos flojillos en los cálculos de deducción natural, por este motivo el examen que teníamos mañana viernes día 12 se anula, pero el examen del viernes día 19 sigue y como el profesor nos dijo que iba a hacer un examen de recuperación de lógica, ha cumplido y lo hará después de las vacaciones de semana santa.

Después de haber dicho esto hemos empezado la clase con un calculo deductivo:

p -> q

r -> s

(s q) ->t

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

(p r)-> t

Para resolver este calculo hay que pensar en las dos grandes preguntas de la vida:

"¿De dónde venimos ? Y ¿A dónde vamos?

Para hacer cálculos existen varios trucos.

1. Buscar el tipo de enunciado que pueden ser: X/¬X ; X-> Y ;X v Y ;X ^ Y; X<->Y.
2. Para el condicionador funciona casi siempre:
" Para derivar un enunciado condicional,
se supone el antecedente para llegar al consecuente".

1 p->q

2 r->s |-(p^r)->t

3 (s^q)->t

-4 p^r (hipótesis)

| 5 p RE ^ 4

| 6 r RE ^ 4

| 7 q RE-> 1,5

| 8 s RE-> 2,6

| 9 s ^ q Ri ^ 8,7

-10 t RE-> 3,9

11(p^r)-> t RI-> 4-10


    p -> q

q -> r

s -> t

s v p

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

r v t

1 p->q
2 q->r |-r v t
3 s->t
-
4 s v p
|
5 s
|6 t RE-> 3,5
-7 rvt RIv 6
-8 p
|9 q RE -> 1,8
|10 r RE-> 2,9
-11 rvt RIv 10
12 rvt REv 4,5-7,8-11.

terminó la clase y el profesor mandó terminar la ficha para mañana.

JUAN CUBERO

miércoles, 10 de marzo de 2010

Miércoles 10/03/2010

Hoy el profesor ha llegado a clase y nos obligó a ponernos en fila de uno, nos anunció que esta medida debia ser tomada hasta que dejasemos de hablar y molestar tanto como el afirma.
Antonio se quejó por esta desmesurada medida y el profesor le respondió que este castigo implantado es totalmente necesario.

Acto seguido nos informó que el examen del viernes 12 no se va a realizar ese dia debido a nuestra falta de preparación en tan ardua materia, pero nos confirmó que uno seria el dia 19 y el proximo seria poco después de volver de las vacaciones de Semana Santa.
Carlos Acál, indignado, preguntó si cabría alguna , aunque remota, posibilidad de que en el examen del dia 19 entrase algún tipo de definicion u otro ejercicio que no fuese de tipo práctico.
El profesor, resignado, negó con la cabeza.

Acto seguido Lope Gonzalo preguntó la definición de una palabra localizada en los apuntes que el profesor colgó el otro dia en el blog. Esta palabra era Enunciado.
La definición otorgada por el profesor fué la siguiente:"Fragmento de discurso que tiene sentido y que a su vez afirma o niega algo".

Pasado escasos minutos el profesor preguntó si habia alguna duda respecto a lo dado en la clase anterior, la gente negó con la cabeza. El profesor se recolocó las gafas y dijo:"¿Hay algún valiente que quiera salir a la pizarra?".
Cristina, Francisco y yo levantamos la mano.
Primero salió Francisco y resolvió el siguiente ejercicio:

1 (p^q)->r }- q->r
2 p
-3 q
-4 p^q RI^ 2,3
-5 r RE-> 1,4
6 q->r RI 3-5

Finalizado este ejercício el profesor nos propuso una canción:

"Para derivar un enunciado condicional,
se supone el antecedante con el consecuente".

Cristina salió a continuación y realizó el mismo ejercicio intentando despejar sus dudas.
A continuación me llegó el turno a mi y realizé el siguiente ejercicio:

1 p->q }-rvt
2 q->r
3 s->t
4 s v p
-5 s
-6 t RE-> 3,5
-7 rvt RIv 6

-8 p
-9 q RE -> 1,8
-10 r RE-> 2,9
-11 rvt RIv 10

12 rvt REv 4,5-7,8-11.

Finalizado el ejercicio sonó la campana y el profesor anunció los deberes para el proximo dia, que serian los tres ejercicios de la segunda fila de la ficha que puso en el blog.

Publicado por: Miguel Ángel Vidal de Blanca 1º A



lunes, 8 de marzo de 2010

La lógica formal

Ejercicios para empezar a trabajar con las reglas del Cálculo.

Hoy, hemos empezado la clase con el turno de preguntas y dudas sobre el cálculo de deducción natural, tema sobre el que se trató el último día. hubo muchas preguntas, y el profesor volvió a explicar las reglas de introduccion y eliminación de algunos conjuntores:
-conjuntor: RI^ x RE^ x^y -condicionador : RI-> x RE-> x->y
y : x
__ ____ y ____
x^y x y __ y
x->y

-disyuntor: RI V x RE V xVy
__ ___
xVy x y
: :
z z
a continuación, y a petición de los alumnos, el profesor ha desarrollado en la pizarra el siguiente ejercicio:
conclusión: |- t->r
premisas y resolución:
1- p^q
2- p->r
__3- t
| 4- p
| 5- r
|_ 6- t->r
a continuación, les explicaré verbalmente el siguiente ejercicio, ya que de esta manera queda más claro:
- las premisas son p^q, p->r, t(cuando t es una hipótesis)
-se realiza la RE^ en 1. para sacar p, la cual colocaremos en la línea 4
-como ya se ha sacado p a una línea independiente, se puede ejecutar la RE -> 2,4 (donde en 2 se encuentra el consecuente y antecedente y en 4 se encuentra sólo el antecedente)
-en la línea 6. y última, mediante la RI -> 3,5 , se consigue al final la conclusión:
t->r

tras este ejercicio, los alumnos han acribillado al profesor con preguntas, y hemos gastado bastantes minutos de la clase en resolverlas. Cuando terminamos la ronda de preguntas, el profesor dio paso a la explicación de la RI¬ :
_x
|
|_y^¬y
______
¬x
tras la explicación de esta nueva regla, dimos paso a otro ejercicio quea continuación representaré. si lo que esperan es ver el ejercicio explicado de nuevo verbalmente, será mejor que no sigan leyendo esta entrada ;
|- ¬q
1.r^s
2.p->¬s
3.p^t
4. _q
5. | s
6. | p
7. | ¬s
8. |_s^¬s RI^5,7
p. ¬q RI¬4,8

tras éste ejercicio terminó la clase y, como no hay remedio, estaremos esperando impacientes la próxima clase de filosofía del jueves a 5ª hora.

mucho gusto.

Enrique.

domingo, 7 de marzo de 2010

Más Acertijos.

  • Tres amigos con dificultades económicas comparten un café que les cuesta 30 pesetas, por lo que cada uno pone 10.

Cuando van a pagar piden un descuento y el dueño les rebaja 5 pesetas tomando cada uno una peseta y dejando dos en un fondo común.

Mas tarde hacen cuentas y dicen:
Cada uno ha pagado 9 pesetas asi que hemos gastado 9x3=27 pesetas que con las dos del fondo hacen 29 ¿dónde esta la peseta que falta?

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

  • Un excursionista es capturado por caníbales y le dicen:

Si dices una mentira te matamos lentamente y si dices una verdad te matamos rápidamente.

¿Que dice para que no lo maten?

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

  • Un hombre camina por el desierto. Llega a un puesto de bebidas y pide un vaso de agua. El camarero, en lugar de dárselo, le apunta con una pistola. El viajero dice ¡Gracias! y sigue su camino.

Aportados por Fco.Javier Borrego Caballero.

Pd: Alberto Bermudo Garcia, no deberia responder al primero por que sabe la respuesta.

05 Marzo de 2010

Al empezar la clase, comenzamos con dudas y seguimos haciendo un ejercicio de tabla de verdad, al que salio Cristina Vázquez y que finalmente quedo así:
2 1 2
(p ^ q) -> (r v s) (INDETERMINADA)
1 1 1 1 1 1 1
1 1 1 1 1 1 0
1 1 1 1 0 1 1
1 1 1 0 0 0 0
1 0 0 1 1 1 1
1 0 0 1 1 1 0
1 0 0 1 0 1 1
1 0 0 1 0 0 0
0 0 1 1 1 1 1
0 0 1 1 1 1 0
0 0 1 1 0 1 1
0 0 1 1 0 0 0
0 0 0 1 1 1 1
0 0 0 1 1 1 0
0 0 0 1 0 1 1
0 0 0 1 0 0 0

Cuando terminamos la tabla de verdad, el profesor empezó a explicar otro método para ver si una proposición es o no acertada, el cálculo, que además es menos cómodo que el método de tablas de verdad ya que ese método tiene el inconveniente de que si hay muchas proposiciones se vuelve muy pesado. El cálculo, se llama Calculo de Deducción Natural (CDN). En este método lo que hacemos es ver como hemos llegado de unas premisas a una conclusión mediante un proceso de derivación, que se define por un numero finito de pasos deductivos (aplicando las reglas del cálculo) a partir de unas premisas para conseguir una conclusión.

Incluiremos un nuevo símbolo par el calculo que es el siguiente: l- (aproximadamente) y significa derivación.

Para utilizar el cálculo es necesario tener en cuenta dos de las tres preguntas fundamentales de la vida:
-¿De dónde venimos? De las premisas.
-¿A dónde vamos? A la conclusión.
Ejemplo:

p ^ q
_r_^_s_ = p^q, r^s l- p^s
p ^ s

Dados los siguientes datos:

1. p^q
............. l- p^s
2. r^s

Siguiendo las reglas del cálculo, vamos a ver los pasos que hay que seguir para llegar a la conclusión ya dada, para ello primero debemos conocer las reglas. De las cuales dimos dos:

RE^: regla de exclusión del conjuntor.
RI^:regla de introducción del conjuntor.

Por lo que el proceso queda asi:

1. p^q
2. r^s
3. p RE^ 1 (linea 1)
4. s RE^2 (linea 2)
5. p^s RI^3,4 (lineas 3 y 4)

Tocó la campana y terminó la clase. El profesor nos recordó durante la explicación que todos los apuntes de cálculo, tablas de verdad y lógica se encuentran en el blog.

Marta Coronilla García.

sábado, 6 de marzo de 2010

Viernes 6 de marzo de 2010

Hoy hemos empezado la clase repasando las tablas de verdad.
hemos realizado una de estas tablas incluyendo como conectiva un bicondicionador:

3 2 3 1 2
[ (p -> q) ^ (q -> p)] -> (p <-> q)

1 1 1 1 1 1 1 1 1 1 1
1 o o o o 1 1 1 1 o o
o 1 1 o 1 o o 1 o o 1
o 1 o 1 o 1 o 1 o 1 o

(*) se relacionan entre si para obtener los
valores de verdad del conjuntor.
(*) se relacionan para obtener los valores
de verdad de la conectiva mas importante.
(*) resultado final.

1º Ordenar por orden de rango las conectivas
2º Determinar e numero de proposicones que haya.
3º Asignar los valores de verdad empezando por las conectivas de mayor rango.

Podemos comprobar que el resultado es todo=1 por lo que seria una tabla de verdad TAUTOLÓGICA, y por tanto formalmente válida.

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Al acabar la tabla de verdad, el profesor nos a explicado que las las tablas de verdad tienen un inconveniente, que es que una expresion con muchas proposiciones no sería operativa y ademas larguísima de resolver,
por eso nos ha dixho que existe otro método para decidir cuando es formalmente válidas una inferencia.

Estos métodos son los cálculos (reglas de transformación de enunciados), uno de ellos llamado cálculo de deducción natural (C.D.N.) que entiende que la inferencia tiene que ser deductiva para que sea formalmente válida.
Establece un procedimiento que se denomina DERIVACIÓN
(/-) .
Consiste en pasar las premisas a la conclusión, y ha puesto el siguiente ejemplo:

p^q ; r^s /- q^s
premisas conclusión

1º- Ponemos las premisas 1. p^q
2. r^s
2º- tenemos que derivar /- q^s
3º- para ello buscamos q^s en las premisas y debemos eliminar el conjuntor.
4º- para eliminar el conjuntor usamos la regla de ELIMINACIÓN ( RE^) que nos dice que si hay dos cosas unidad se pueden separar.
X ^ Y
/ \
X Y
* Por el contrario existe la regla de introducción (RI^) que defiende que si existen 2 cosas separadas se pueden unir, pero esta regla no la vamos a usar en este caso.
X
Y
------
XY

5º- Usamos la regla de eliminación para eliminar el conjuntor de la primera premisa y nos quedaría de la siguiente manera

1. p^q
2. r^s
3. q RE^ 1

*Pero todavía tenemos que usar esta regla para eliminar el conjuntor de la
segunda premisa:

1. p^q
2. r^s
3. q RE^ 1
4. s RE^ 2

6º- Por último ponemos la conclusión que hemos derivado de las premisas y nos quedaría así:
1. p^q
2. r^s
3. q RE^ 1
4. s RE^ 2
5. q^s RI^ 3,4

Ya podemos decir que la inferencia es formalmente válida.

Con esto hemos finalizado la clase y el profesor nos ha dicho que repasemos los apuntes y los acertijos que están en el blog para el próximo día.

_______________________________________
Belén Vázquez Fernández 1º Bto A

jueves, 4 de marzo de 2010

Jueves 4 de marzo, 2010

Hoy, el profesor ha comenzado sacando a una alumna a la pizarra y corrigiendo el enunciado siguiente:


( p ^ q ) v ( p ^ r ) → ( q v r)


1º A cada conectiva se le numera segun su grado de importancia siendo el más importante la conectiva principal, que en este caso es el condicionador “→” (1). Esto es debido a que la conectiva principal es la que está fuera de los parentesis y/o corchetes. Despues vendrian el conector de ambos parentesis“v” (2) y “^” (3)


3 2 3 1 2
( p ^ q ) v ( p ^ r ) → ( q v r)



2º Dar valores de verdad a las proposiciones, que al haber 3 serian 8 valores (2 elevado a 3 = 8). Quedaría así:


3 2 3 1 2
( p ^ q ) v ( p ^ r ) → ( q v r)
1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 0 0 1 1 1 0
1 0 0 1 1 1 1 1 0 1 1
1 0 0 0 1 0 0 1 0 0 0
0 0 1 0 0 0 1 1 1 1 1
0 0 1 0 0 0 0 1 1 1 0
0 0 0 0 0 0 1 1 0 1 1
0 0 0 0 0 0 0 1 0 0 0


Para hallar los disyuntores “v” (2) necesitamos los valores de “^”(3) hallado con las proposiciones “p” y “q”, y tras hallar los disyuntores con el nº 2 se procede a dar valores al condicionador “→” (1).
Para sabes si el disyuntor, el conjuntor o el condicionador es verdadero o falso se siguen estas pautas:


-Disyuntor: Es verdadero cuando uno o dos terminos son verdareros y es falso cuando los dos terminos son falsos


-Condicionador: Es falso cuando se da el antecedente y no el consecuente, siendo verdadero todos los demas casos


-Conjuntor: Es verdadero cuando los dos terminos son verdaderos, por lo que es falso cuando uno o dos de los terminos son falsos







3º Ver que tipo de enunciado es, observando los valores de verdad del condicionador “→” (1) siendo este un enunciado tautológico ya que el conectivo principal es verdadero


3 2 3 1 2
( p ^ q ) v ( p ^ r ) → ( q v r)
1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 1 0 0 1 1 1 0
1 0 0 1 1 1 1 1 0 1 1
1 0 0 0 1 0 0 1 0 0 0
0 0 1 0 0 0 1 1 1 1 1
0 0 1 0 0 0 0 1 1 1 0
0 0 0 0 0 0 1 1 0 1 1
0 0 0 0 0 0 0 1 0 0 0



A continuación nos puso el siguiente enunciado:

[( p → q ) ^ q ] → p


1º Como en el enunciado anterior se comienza ordenando cada elemento según su importancia siendo la conectiva principal el conjuntor “→” (1). Despues vendria el conector “^” (2) y el conector “→” de dentro del parentesis (3) :


3 2 1
[( p → q ) ^ q ] → p



2º Dar valores de verdad a las proposiciones que al ser 2 seria 4 (2 elevado a 2 = 4)


3 2 1
[( p → q ) ^ q ] → p
1 1 1 0 0 1 0
1 0 0 0 1 1 0
0 1 1 0 0 1 1
0 1 0 1 1 1 1



3º Ver que tipo de enunciado es observando los valores de verdad del condicionador siendo este tautológico ya que el conectivo principal es verdadero



3 2 1
[( p → q ) ^ q ] → p
1 1 1 0 0 1 0
1 0 0 0 1 1 0
0 1 1 0 0 1 1
0 1 0 1 1 1 1



A continuación, el profesor puso un tercer y último enunciado que es el siguiente:


[( p ^ q ) ^ ( q → r )] → r


Que siguiendo con el esquema anterior hay que seguir estas pautas:


1º Ordenar por orden de importancia cada elemento del enunciado siendo “→”(1) el mas importante, cotinuando con “^” (2) y terminando con “^” y “→” siendo ambos (3). Ademas la expresion “ r” seria el consecuente


3 2 3 1
[( p ^ q ) ^ ( q → r )] → r



2º Damos valores de verdad a las proposiciones que al ser 3 seria igual a 8 (2 elevado a 3 = 8)


3 2 3 1
[( p ^ q ) ^ ( q → r )] → r
1 1 1 1 1 1 1 0 0
1 1 1 0 1 0 0 1 1
1 0 0 0 0 1 1 1 0
1 0 0 0 0 1 0 1 1
0 0 1 0 1 1 1 1 0
0 0 1 0 1 0 0 1 1
0 0 0 0 0 1 1 1 0
0 0 0 0 0 1 0 1 1


3º Por ultimo vemos que tipo de enunciado es observando los valores de verdad del condicionador siendo este indeterminado ya que no es completamente verdadero ni tampoco completamente falso


3 2 3 1
[( p ^ q ) ^ ( q → r )] → r
1 1 1 1 1 1 1 0 0
1 1 1 0 1 0 0 1 1
1 0 0 0 0 1 1 1 0
1 0 0 0 0 1 0 1 1
0 0 1 0 1 1 1 1 0
0 0 1 0 1 0 0 1 1
0 0 0 0 0 1 1 1 0
0 0 0 0 0 1 0 1 1


Finalmente, el profesor terminó la clases recordandonos que practicáramos los enunciados del blog

miércoles, 3 de marzo de 2010

Hoy hemos empezado la clase y un alumno ha empezado a corregir los acertijos que puso el profesor en el blog:

  • Un problema de trenes: A las 10,45 h sale un tren desde Madrid en direccion a Barcelona a una velocidad media de 225 km/h. Una hora más tarde, a las 11,45 h, sale otro tren en direccion opuesta a una velocidad media de 180 km/h. Pregunta: cuando ambos trenes se cruzen, ¿cuál de ellos estará más lejos de Barcelona?

Solución: Los dos están a la misma distancia de Barcelona.

  • En el cajón de un armario que está en una habitación oscura hay 24 calcetines rojos y 24 azules. ¿Qué número mínimo de calcetines tengo que sacar del cajón para estar seguro de que tengo dos del mismo color?

    Solución: Habrá que coger 3 calcetines (2 serán rojos y 1 azul o viceversa)

RAA
RAR
RRR
AAA

R: rojos.
A: azules.


Luego empezamos con la corrección de los ejercicios de las tablas de la verdad:

¬P^¬q (doble negación conjuntiva)

3 2 3 1 2
[(P^q)v(P^r)] --> (qvr)

antecedente consecuente

Tabla de la verdad:
1º) Dar valores de verdad a las proposiciones (en este caso hay 3) dos elevado a tres.

[(P^q)v(P^r)]-->(qvr)

1 1 1 1 1 1

1 1 1 0 1 0

1 0 1 1 0 1

1 0 1 0 0 0

0 1 0 1 1 1

0 1 0 0 1 0

0 0 0 1 0 1

0 0 0 0 0 0

2º)Elaboramos la tabla de la verdad por las conectivas de menor rango (rango 3) , luego el de rango 2 y por último el de mayor rango (rango 1)

3 2*3 1 2
[(P^q)v(P^r)]-->(qvr)

1 1 1 1 1

1 1 0 1 1

0 1 1 1 1

0 0 0 1 0

0 0 0 1 1

0 0 0 1 1

0 0 0 1 1

0 0 0 1 0

Para realizar la tabla de verdad del conjuntor 3 nos fijamos en (P y q) o (P y r).

Para realizar la tabla de verdad del conjuntor 2* tenemos que hacerla mirando a las tablas de verdad de conjuntor 3. Y para hacer la del conjuntor 1 hay que mirar a las del conjuntor 2* y 2.

Es un enunciado tautológico o tautología, ya que el resultado es 1(verdadero).

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

3 2 1

[(P-->q)^¬q]-->¬p [(P-->q)^¬q]-->¬p

1 1 0 0 1 0 1

1 0 1 0 0 0 1

0 1 0 1 1 0 1

0 0 1 1 1 1 1

Es un enunciado tautológico.

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

2 1 2

(¬P^¬q)-->¬*(pvq) * invierte los valores de la conectiva(v)

0 0 1 1

0 1 1 0

1 0 0 1

1 1 0 0

(¬P^¬q)-->¬(pvq)

0 1

0 1

0 1

1 0

Los valores de (v) se sacan fuera del paréntesis a la inversa, estos valores se pondrán debajo del negador que es el que afecta a (v).

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

El profesor ha mandado como tarea algunos ejercicios para practicar, que pondrá en el blog.

Isabel María Sillero