Na colmeia, a abelha-rainha estabeleceu as seguintes diretrizes para a produção de mel:

• se a abelha não coletar pólen, então ela não pode produzir cera;

• se a abelha coletar néctar das flores, então ela não pode coletar pólen; e

• se a abelha produzir cera, então ela não pode defender a colmeia.

Com base nessa situação hipotética, julgue o item.

A negação de “Se a abelha produzir cera, ela não pode defender a colmeia” é “Se a abelha defender a colmeia, ela não pode produzir cera”.

Na colmeia, a abelha-rainha estabeleceu as seguintes diretrizes para a produção de mel:

• se a abelha não coletar pólen, então ela não pode produzir cera;

• se a abelha coletar néctar das flores, então ela não pode coletar pólen; e

• se a abelha produzir cera, então ela não pode defender a colmeia.

Com base nessa situação hipotética, julgue o item.

Uma abelha pode defender a colmeia e produzir cera, mas não ao mesmo tempo em que coleta pólen.

Na colmeia, a abelha-rainha estabeleceu as seguintes diretrizes para a produção de mel:

• se a abelha não coletar pólen, então ela não pode produzir cera;

• se a abelha coletar néctar das flores, então ela não pode coletar pólen; e

• se a abelha produzir cera, então ela não pode defender a colmeia.

Com base nessa situação hipotética, julgue o item.

Uma abelha pode coletar néctar das flores e defender a colmeia, mas não pode, simultaneamente, produzir cera ou coletar pólen.

Na colmeia, a abelha-rainha estabeleceu as seguintes diretrizes para a produção de mel:

• se a abelha não coletar pólen, então ela não pode produzir cera;

• se a abelha coletar néctar das flores, então ela não pode coletar pólen; e

• se a abelha produzir cera, então ela não pode defender a colmeia.

Com base nessa situação hipotética, julgue o item.

Uma abelha pode coletar o néctar das flores e produzir cera, mas não simultaneamente com a coleta de pólen.

A lógica de predicados de primeira ordem é um sistema formal que estende a lógica proposicional e permite expressar declarações mais complexas sobre objetos e suas relações. Considerando os elementos básicos da lógica de predicados de primeira ordem, qual das seguintes alternativas inclui, respectivamente, um quantificador, um predicado e um termo?

Sempre que uma proposição composta recebe todos os seus possíveis valores lógicos verdadeiros, independentemente dos valores lógicos das proposições simples componentes, dizemos que a proposição em questão é uma:

Sejam p e q duas proposições. A proposição ~p → q equivale a:

Para fazer a digitalização dos livros do acervo antigo da biblioteca central, um estagiário leva 25 minutos para digitalizar 35 páginas. Se o estagiário trabalhar durante suas 5 horas e 50 minutos de expediente com o dobro dessa velocidade de digitalização, nesse expediente de trabalho, quantas páginas ele será capaz de digitalizar?