Considere os conectivos lógicos !$ ∧ !$(e), !$ ∨ !$ (ou), !$ ↔ !$(bi-condicional) e ~(não). Assinale a alternativa que preenche corretamente o espaço na fórmula proposicional “~(S !$ ∨ !$~T) !$ ↔ !$ ( )”, de modo que a fórmula seja considerada uma tautologia.

Julgue o item que se segue.

Dadas apenas as proposições “nenhum engenheiro é advogado” e “algum advogado é professor”, do ponto de vista da lógica, é válido concluir que algum professor não é engenheiro.

Julgue o item que se segue.

Considere uma família composta por quatro membros: o avô, a avó e seu casal de netos. Todos eles estão sentados ao redor de uma mesa quadrada, cada um em um lado distinto. Sabe-se que os homens se chamam Ricardo e Sandro e as mulheres chamam-se Tânia e Francisca. Sabe-se que o avô tem Francisca à sua frente e o neto à esquerda. Sabe-se também que a avó está do lado direito de Sandro. Assim, é correto afirmar que a avô chama-se Francisca.