Para sentenças com conjução: 
(a ^ b) 
será verdade se os dois forem verdadeiros, caso contrário serão todos falsos.

Para sentenças com disjução: 
(a v b)
será falso se os dois forem falsos, caso contrário serão todos verdadeiros.

Certo ou Errado?

Para sentenças com implicação: 
(a -> b) 
será falso se o primeiro for verdadeiro e o segundo for falso, caso contrário todos serão verdadeiros.

Certo ou Errado?