Ao analisar uma listagem de 1.000 contribuintes com alguma pendência com a fazenda pública, um servidor constatou que, no último ano, 300 deles não tinham efetuado o pagamento do IPTU, 450 não haviam pagado o IRPF e outros 500 não haviam pagado o IPVA de algum veículo em seu nome. Constatou também que esses contribuintes deviam ou um ou os três tributos. Nesse caso, a quantidade de contribuintes que deviam os três tributos é igual a

Se João amava Teresa, então Lili é vizinha de Teresa. Lili não é vizinha de Teresa. Se João não é vizinho de Teresa, então João amava Teresa. Logo

Três irmãs caminham pelo parque de mãos dadas. Cada irmã traz uma fita amarrada ao cabelo, nas seguintes cores: verde, rosa e amarela. Elas usam vestidos destas mesmas três cores, mas somente Lúcia usa um vestido da mesma cor da fita presa no cabelo. Nem a fita nem o vestido de Sílvia são amarelos. Márcia usa um vestido verde. Deste modo,

Se é verdade que “algum X é Y” e que “nenhum Z é Y”, então é necessariamente verdadeiro que:

Alice irá ao País das Maravilhas quando imaginar ou perder o medo. Se Alice perder o medo,

Há uma forma de raciocínio dedutivo chamado silogismo. Nesta espécie de raciocínio, será formalmente válido o argumento cuja conclusão é consequência que necessariamente deriva das premissas. Neste sentido, corresponde a um silogismo válido:

A oposição é a espécie de inferência imediata pela qual é possível concluir uma proposição por meio de outra proposição dada, com a observância do princípio de não contradição. Neste sentido, que poderá inferir-se da verdade, falsidade ou indeterminação das proposições referidas na sequência abaixo se supusermos que a primeira é verdadeira? E se supusermos que a primeira é falsa?

Em uma feira, todas as barracas que vendem batata vendem tomate, mas nenhuma barraca que vende tomate vende espinafre. Todas as barracas que vendem cenoura vendem quiabo, e algumas que vendem quiabo, vendem espinafre. Como nenhuma barraca que vende quiabo vende tomate, e como nenhuma barraca que vende cenoura vende espinafre, então,