ClubEnsayos.com - Ensayos de Calidad, Tareas y Monografias
Buscar

Ejemplo logica matematicas.


Enviado por   •  22 de Junio de 2016  •  Tarea  •  481 Palabras (2 Páginas)  •  272 Visitas

Página 1 de 2

“Si el Director de Curso de Pensamiento Lógico y Matemático activa la etiqueta del Examen Nacional, entonces desarrollaré las demostraciones con las Leyes de Inferencia. Si el Director de Curso no activa la etiqueta del Examen Nacional, haré el trabajo final de Química General. Y si aprovecho y hago el trabajo final de Química General, me pondré al día con las notas pendientes. Por lo tanto, si no desarrollo las demostraciones con las Leyes de Inferencia, me pondré al día con las notas pendientes de Química General”.

P        activa la etiqueta del Examen

Q        desarrollaré las demostraciones con las Leyes de Inferencia

R        Trabajo final de Química General

S        me pondré al día con las notas pendientes

1 Premisa:        P → Q

2 Premisa:        ~P → R

3 Premisa.        R → S

4 Premisa:         ~Q → S

Conclusión: pondré al día con las notas pendientes de Química General”.

[(P → Q) ʌ (~P → R) ʌ (R → S)] → (~Q → S)

[(P > Q) & (~P > R) & (R >S)] > (~Q > S)

[pic 1]

Leyes de inferencia.

1 Premisa:        P → Q

2 Premisa:        ~P → R

3 Premisa.        R → S

4 Premisa:         ~Q                        (premisa) (1)

5Premisa:        ~P                        (Modus Tollens) (1, 4)

6Premisa:        R                        (Modus Ponendo Ponens) (2, 5)

7 Premisa:        S                        (Modus Ponendo Ponens) (3,6)

8 Premisa:         ~Q → S                (Conclusión Premisa) (4,7)

P

Q

R

S

~P

~Q

P → Q

~P → R

R → S

~Q → S

[(P → Q) ʌ

(~P → R)

 ʌ

(R → S)]

[(P → Q) ʌ

 (~P → R) ʌ

(R → S)] →

 (~Q → S)

V

V

V

V

F

F

V

V

V

V

V

V

V

V

V

F

F

F

V

V

F

V

F

V

V

V

F

V

F

F

V

V

V

V

V

V

V

V

F

F

F

F

V

V

V

V

V

V

V

F

V

V

F

V

F

V

V

V

F

V

V

F

V

F

F

V

F

V

F

F

F

V

V

F

F

V

F

V

F

V

V

V

F

V

V

F

F

F

F

V

F

V

V

F

F

V

F

V

V

V

V

F

V

V

V

V

V

V

F

V

V

F

V

F

V

V

F

V

F

V

F

V

F

V

V

F

V

F

V

V

F

V

F

V

F

F

V

F

V

F

V

V

F

V

F

F

V

V

V

V

V

V

V

V

V

V

F

F

V

F

V

V

V

V

F

F

F

V

F

F

F

V

V

V

V

F

V

V

V

V

f

F

F

F

V

V

V

F

V

F

V

V

La tabla permite evidenciar que es una tautología, por la cual el razonamiento es valido

...

Descargar como (para miembros actualizados) txt (3 Kb) pdf (240 Kb) docx (951 Kb)
Leer 1 página más »
Leer documento completo Guardar
Disponible sólo en Clubensayos.com