Descargar

Reglas de inferencias (página 2)

Partes: 1, 2

COMPROBACION DEL MODUS PONENS:

P

Q

P Qedu.red

(Pedu.red Q)^P

(P edu.redQ)^P] edu.redQ

V

V

F

F

V

F

V

F

V

F

V

V

V

F

F

F

V

V

V

V

COMPROBACION DEL MODUS TOLLENS:

P

?p

Q

?Q

P edu.redQ

(Pedu.red Q)^?Q

[(Pedu.redQ)^?Q] edu.red?P

V

V

F

F

F

F

V

V

V

F

V

F

F

V

F

V

V

F

V

V

F

F

V

V

V

V

V

V

COMPROBACION DE LA LEY DEL SILOGISMO:

A

B

C

A edu.redB(1)

Bedu.red C(2)

Aedu.red C(3)

1 ^ 2

(1^2) edu.red3

V

V

V

V

F

F

F

F

V

F

V

F

V

F

V

F

V

V

F

F

V

V

F

F

V

F

V

F

V

F

V

F

V

V

F

F

V

V

F

V

V

V

F

F

V

V

V

V

V

F

F

F

V

F

F

V

V

V

V

V

V

V

V

V

COMPROBACION DEL MODO CONJUNTIVO:

M

N

M ^ N

(M ^ N) edu.redM

M ^ Nedu.red N

V

V

F

F

V

F

V

F

V

F

F

F

V

V

V

V

V

V

V

V

COMPROBACION DEL MODO DISYUNTIVO:

L

M

? L

L ? M

( L? M ) ^ ? L

( L ? M ) ^ ? Ledu.red M

V

V

F

F

V

F

V

F

F

F

V

V

V

V

V

F

F

F

V

F

V

V

V

V

 

 

Autor:

Irina Julio

Partes: 1, 2
 Página anterior Volver al principio del trabajoPágina siguiente