A lógica pode ser entendida como ciência das formas do pensamento coerente que estuda a simples apreensão, o juízo e o raciocínio. Nesse sentido, considere os seguintes argumentos:
a) Todo círculo é redondo. Ora, nenhum quadrado é redondo. Logo nenhum quadrado é círculo.
b) Todo argelino é africano. Ora, algum africano é católico. Logo, algum católico é argelino.
c) Se o Brasil não melhorar o futebol, então não participará do próximo campeonato mundial. Ora, não vai acontecer o Brasil não melhorar o futebol. Logo ...
A respeito desses argumentos e da lógica, julgue os itens a seguir.
O argumento b) é um silogismo dedutivo, válido formal e materialmente, categórico, sendo a sentença da premissa maior uma sentença toto-total afirmativa, segundo a quantificação do predicado de Hamilton.
