logica

As propriedades das proposições, tais como identidade associativa, comutativa e distributiva são frequentemente utilizadas para se verificar as relações de equivalência e de implicação através do método dedutivo. 

l. p ^ (q V r) <=> (p ^ q) V (p ^ r). 
ll. p ^ (p V q) <=> p. 
lll. (p → q) → r <=> p → (q → r). 
lV. (p ↔ q) ↔ r <=> p ↔ (q ↔ r). 

Pode-se afirmar que são propriedades das proposições lógicas as seguintes expressões: 

A) l, ll e lll. 
B) l, ll e lV. 
C) l e ll. 
D) lll e lV. 
E) l, ll, lll e lV.