Cuadro resumido de Reglas y leyes Lógicas para realizar los ejercicios de Prueba Formal o método demostrativo en lógica Proposicional ( modus ponens )

Secundarios - CBC - Universitarios - Informática - Idiomas
CENTRO DE CAPACITACION
Apunte Nº 250
Formas de razonamiento válidas elementales
Reglas y leyes
REGLAS
Modus ponendo ponens
Modus tollendo tollens
Silogismo disyuntivo
Silogismo hipotético
Dilema constructivo
Dilema destructivo
Simplificación
Conjunción
Adición
A⊃ B
A
B
A⊃ B
~B
~A
AvB
~A
B
A ⊃B
B ⊃C
A ⊃C
(A ⊃ B) . (C ⊃ D)
AvC
BvD
(A ⊃ B) . (C ⊃ D)
~Bv~D
~Av~C
A.B
A
A
B
A.B
A
AvB
Av. Santa Fe 2206 – Piso 2º - Capital Federal C1123AAR - Argentina
Horario de atención: Lunes a Viernes de 8:30 a 23:00 hs. / Sábado de 9:00 a 21:00 hs.
Tel/Fax.: 4823-9334 / 4821-3353 (Líneas Rotativas)
Web: www.delfosweb.com.ar
E-mail: info@delfosweb.com.ar
Secundarios - CBC - Universitarios - Informática - Idiomas
CENTRO DE CAPACITACION
Leyes de Sustitución
~ (A . B) ≡ ( ~ A v ~ B )
Teoremas de De Morgan
~ (A v B) ≡ ( ~ A . ~ B)
( A . B) ≡ ( B . A )
(AvB) ≡ (BvA)
Conmutación
Asociación
[ A . ( B . C)] ≡ [( A . B ) . C]
[A v ( B v C)] ≡ [( A v B) v C)]
Distribución
[A . (B v C)] ≡ [( A . B) v (A .C)]
[A v ( B . C)] ≡ [(A v B) . (A v C)]
A
Doble negación
(A
Transposición
Definición del condicional
Definición del
bicondicional
Exportación
Idempotencia
≡
⊃ B) ≡
~~A
(~ B
(A
⊃ B) ≡
B)
≡
(A
≡
[A
⊃ (B ⊃ C)
A
≡
A)
(~ A v B)
[( A
]
⊃~
≡
⊃ B)
.(B
[ (A . B)
⊃ A)]
⊃C
]
(A v A)
Nota: bájate los ejercicios de prueba Formal ( buscador de exámenes ) , resolvelos y tráelos a Delfos
que te lo corregimos Sin Cargo !!!
Av. Santa Fe 2206 – Piso 2º - Capital Federal C1123AAR - Argentina
Horario de atención: Lunes a Viernes de 8:30 a 23:00 hs. / Sábado de 9:00 a 21:00 hs.
Tel/Fax.: 4823-9334 / 4821-3353 (Líneas Rotativas)
Web: www.delfosweb.com.ar
E-mail: info@delfosweb.com.ar