Secundarios - CBC - Universitarios - Informática - Idiomas

CENTRO DE CAPACITACION

Apunte Nº 250

Formas de razonamiento válidas elementales

Reglas y leyes

REGLAS
A⊃ B
Modus ponendo ponens A
B
A⊃ B
Modus tollendo tollens ~B
~A
AvB
Silogismo disyuntivo ~A
B
A ⊃B
Silogismo hipotético B ⊃C
A ⊃C
(A ⊃ B) . (C ⊃ D)
Dilema constructivo AvC
BvD
(A ⊃ B) . (C ⊃ D)
Dilema destructivo ~Bv~D
~Av~C
A.B
Simplificación
A
A
Conjunción B
A.B
A
Adición
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)
E-mail: info@delfosweb.com.ar Web: www.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 )
Conmutación (AvB) ≡ (BvA)

[ A . ( B . C)] ≡ [( A . B ) . C]
Asociación [A v ( B v C)] ≡ [( A v B) v C)]

[A . (B v C)] ≡ [( A . B) v (A .C)]
Distribución [A v ( B . C)] ≡ [(A v B) . (A v C)]

A ≡ ~~A
Doble negación

(A ⊃ B) ≡ (~ B ⊃~ A)
Transposición

(A ⊃ B) ≡ (~ A v B)
Definición del condicional

Definición del (A ≡ B) ≡ [( A ⊃ B) .(B ⊃ A)]

bicondicional
[A ⊃ (B ⊃ C) ] ≡ [ (A . B) ⊃C ]
Exportación

A ≡ (A v A)
Idempotencia

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)
E-mail: info@delfosweb.com.ar Web: www.delfosweb.com.ar