"Não é verdade que Maria gosta de pizza e lasanha" é logicamente equivalente a:

• Maria não gosta de pizza e Maria gosta de lasanha

• Maria gosta de pizza e Maria não gosta de lasanha

• Maria não gosta de pizza ou Maria não gosta de lasanha

• Maria gosta de pizza ou Maria gosta de lasanha

Considere a expressão lógica ~p ↔ ~q ∨ r. Essa expressão inclui as seguintes operações:

• Negação

• Bicondicional

• Conjunção

• Disjunção

A condicional p → q pode ser expressa em termos de negações e conjunções como:

• ~(p ∧ ~q)

• p ∨ ~q

• ~(p ∨ ~q)

• p ∧ ~q

Assinale a alternativa que apresenta um exemplo de tautologia:

• Se fizer sol, Maria irá à praia

• Ou chove ou não chove

• O dia está frio

• Pedro saiu com guarda-chuva, mas João não

Assinale a alternativa contendo uma expressão lógica que resulta em contradição:

• ~p → p

• p ∧ p

• p ∨ ~p

• p ⊻ p

Uma proposição que não se classifica como tautologia ou contradição é uma:

Dizer que "se Ana é vegana, então Ana não come carne" é logicamente equivalente a dizer que:

• Ana não é vegana ou Ana não come carne

• Se Ana não come carne, então Ana é vegana

• Ana é vegana e Ana não come carne

• Ana é vegana ou Ana não come carne

Em Matemática e na Lógica, o elemento neutro é qualquer elemento cuja utilização numa operação não causa alteração de identidade no outro elemento com o qual entra em operação. Assinale a alternativa que demonstra o elemento neutro da disjunção:

• p ∨ ⊤ ⇔ ⊤

• p ∧ ⊤ ⇔ p

• p ∧ ⊥ ⇔ ⊥

• p ∨ ⊥ ⇔ p

Indique a alternativa que apresenta uma proposição não-tautológica:

• ~p ∨ p

• p → ~p

• ~(p ∧ ~p)

• p ↔ p

As alternativas a seguir apresentam argumentos compostos de duas premissas (P1 e P2) e uma conclusão (Q). Assinale a alternativa correspondente a um sofisma:

• P1: Se Alice faltar mais uma aula, então será reprovada por falta.

  P2: Alice não foi reprovada por falta.

  Q: Alice não faltou mais uma aula.

• P1: As aulas de Lógica acontecem às quartas ou às sextas.

  P2: As aulas de Lógica não acontecem às sextas.

  Q: As aulas de Lógica acontecem às quartas.

• P1: Se Bruno tirar 10 na prova, então será aprovado.

  P2: Bruno foi aprovado.

  Q: Bruno tirou 10 na prova.

• P1: Se o dia da prova cair em um feriado, a prova será adiada.

  P2: O dia da prova caiu em um feriado.

  Q: A prova será adiada.