Tarea logica matematica

Argumentos y reglas de inferencia

LÓGICA MATEMÁTICA Y DIGITAL

Instituto

2020

Desarrollo

1) Respuesta

s. Juan estudia matemáticas

t. Juan aprueba matemáticas

u. Juan pierde el ciclo

1. Juan no estudia matemáticas entonces Juan no aprueba matemáticas

A. [pic 1]

C.  : Regla Transitiva (T) de premisas 1,2[pic 3][pic 2]

Proposiciones lógicas moleculares:

[pic 4]

2) Respuesta

Validar “q”

5.  : Bicondicional (B) premisa 1[pic 5]

6.   : Conmutativa ( C ) de premisa 3[pic 6]

        [pic 7]

                        [pic 9][pic 8]

7.   : Dilema (D) de premisas 4,5,6[pic 10]

        [pic 11]

        [pic 12]

        [pic 13]

        [pic 15][pic 14]

C.q  : Simplificación (I.S.) premisa 8[pic 16]

        [pic 17]

        q[pic 18]

3) Respuesta

4.  : Doble negación de premisa 1[pic 19]

                [pic 20]

C.  : Simplificación disyuntiva de premisas 2, 3, 4[pic 21]

                        [pic 22]

                                [pic 23]

                        [pic 24]

4) Respuesta

Validar conclusión [pic 25]

1. [pic 26]

2. [pic 27]

C.  : Modus Tollendo Tollens (TT) de premisas 4,5[pic 28]

                [pic 29]

                Q[pic 30]

                [pic 31]

...