a≡0

b≡0

c≡1

d≡1

e≡0

f≡1

[(a → b)(b → a) ]→ c

[(0 → 0)(0 →0 ) ]→ 1

[(1)(1) ]→1
[1]→ 1

1
R//. La proposición Molecular es VERDADERA

a≡0 ; b≡0 ; c≡1; d≡1 ; e≡0 ; f≡1

{[a →(b ˅¬ a)]¿ }→(a → b)

{[0 →( 0 ˅¬0)]¿ }→(0 →0)
{[0 →( 0 ˅1)]¿ }→(1)
{[0 →1]¿ }→(1)

{11 }→(1)
1 →1
1
R//. La proposición Molecular es VERDADERA

a≡0 ; b≡0 ; c≡1; d≡1 ; e≡0 ; f≡1

a ¬ ¬

{[a(¬ b ) ](c d ) }{[¬ e(d f ) ]→( a → f ) }

(p → q) ∧ (p ∧ ¬q)