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