Se o valor lógico da proposição “Todo A é B” é verdade e o valor lógico da proposição “Algum C é D” é falso, então é correto afirmar que:
Se Algum C é D, então Todo A é B
Todo A é B e Algum C é D
Se Todo A é B, então Algum C é D
Algum C é D se, e somente se, Todo A é B
