02.04 Relação com os Quantificadores Universais

Todos

condição suficiente

Nenhum

condição suficiente p/ negação

Todo A é B

A -> B

Nenhum A é B

A -> ¬B

Todos os juízes são formados em Direito

"ser formado em Direito" = cond. necessária p/ ser juiz

Paulo é formado em Direito

não significa que Paulo é juiz

não é condição suficiente

Bruno é juiz

ele é formado em Direito

"ser juiz" = cond. suficiente p/ ser formado em Direito

Nenhum homem é uma ilha

João é homem

não é uma ilha

"ser homem" = cond. suf. p/ não ser uma ilha