Considerando as seguintes proposições: "Alguns filósofos são matemáticos" e "não é verdade que algum poeta é matemático", pode-se concluir apenas que:
Numa empresa de nanotecnologia, sabe-se que todos os mecânicos são engenheiros e que todos os engenheiros são pós-graduados. Se alguns administradores da empresa também são engenheiros, pode-se afirmar que, nessa empresa:
A partir dessas informações, julgue os itens os itens subsequentes.
Se A for a proposição "Todos os policiais são honestos", então a proposição ¬A estará enunciada corretamente por "Nenhum policial é honesto".
Numa cidade existem 10 milhões de pessoas. Nenhuma delas possui mais do que 200 mil fios de cabelo. Com esses dados, é correto afirmar que, necessariamente,

Tendo como referência as informações apresentadas acima,
julgue os próximos itens.
Considere as proposições a seguir.
A: Todo marciano é péssimo jogador de futebol.
B: Pelé é marciano.
Nessa hipótese, a proposição Pelé é péssimo jogador de futebol é F.
Na minha rua, nem todos os gatos são pardos, mas todos os gatos pardos são do sexo feminino. Nesse caso, na minha rua:
Avalie as afirmativas a seguir:
I – Se todo X é Y e todo Y é Z então todo X é Z.
II – Se nem todo A é B então existe A que não é B.
III – Se todo A é B então todo B é A.
Está correto o que se afirma em:
Na linguagem falada ou escrita, o elemento fundamental é a sentença, ou proposição simples, constituída esquematicamente por um sujeito e um predicado, sempre na forma afirmativa. Toda proposição tem um dos dois valores: falso — F —, ou verdadeiro — V —, excluindo-se qualquer outro. Na formação de novas proposições, a partir de proposições simples, entram os chamados conectivos: "e", simbolizado por
; "ou", simbolizado por V; "se ... então", simbolizado por →; e "se e somente se", simbolizado por
. Também é usado o modificador "não", simbolizado por ¬. As propo...
A lógica formal representa as afirmações que os indivíduos fazem em linguagem do cotidiano para apresentar fatos e se comunicar. Uma proposição é uma sentença que pode ser julgada como verdadeira (V) ou falsa (F) (embora não se exija que o julgador seja capaz de decidir qual é a alternativa válida). Para designar as proposições, usam-se freqüentemente as letras maiúsculas do alfabeto: A, B, C etc.
Na comunicação entre indivíduos, combinam-se proposições por meio de conectivos, como "e", indicado pelo símbolo v, e "ou", indicado por w, para formar proposições compostas mais complexas. Usa-se também o modificador "não", indicado pelo símbolo ¬, para produzir a negação de uma proposição. Proposições A e B podem ser combinadas na forma "se A, então B" ...

De acordo com as definições apresentadas no texto acima, julgue os itens subseqüentes.
Considere-se as seguintes proposições.
I Todos os banhistas de Vila Velha preservam limpas suas praias.
II Catarina é banhista de Vila Velha.
III Nenhum morador da cidade Alpha preserva limpas suas praias.
Se as proposições apresentadas forem verdadeiras, então a
proposição "Catarina não é moradora da cidade Alpha" será
necessariamente verdadeira.