Lógica proposicional

"Se usas máscara e manténs a distância de segurança, contribuis a parar a pandemia". Esta é uma proposição...

• simples.

• disjuntiva.

• conjuntiva e condicional.

• bicondicional e conjuntiva.

"É importante reforçar a nossa autoestima e também o nosso autoconceito para atingir as nossas metas." Esta proposição é...

• disjuntiva

• conjuntiva

• condicional

• bicondicional

" A Justiça é possível se, e só se, Platão tiver razão. Platão tem razão. Logo, a Justiça é possível." A formalização deste argumento é...

• P↔Q, ¬ Q ∴ ¬P

• P↔Q, Q ∴ P

• P→Q, Q ∴ P

• P↔Q, P ∴ Q

"Se Maria gosta do Miguel, então Maria aparece no café. É falso que Maria tenha aparecido no café. Logo, é falso que Maria goste do Miguel." A formalização deste argumento é...

• P ← Q, ¬ Q ∴ ¬ P

• P ∧ Q, ¬ Q ∴ ¬ P

• P → Q, ¬ Q ∴ ¬ P

• P → Q, Q ∴ P

A tradução correta para a linguagem natural de ¬ (P → Q) é:

• Não é verdade que a Maria goste de conhecer culturas diferentes e que viaje frequentemente para o continente asiático.

• Se a Maria não viaja frequentemente para o continente asiático, então a Maria não gosta de conhecer culturas diferentes.

• Não é verdade que, se a Maria viaja frequentemente para o continente asiático, então a Maria gosta de conhecer culturas diferentes.

• Maria não viaja para o continente asiático se Maria não gosta de conhecer culturas diferentes.

A negação da afirmação Se hoje chover, não irei à escola a pé seria equivalente a:

• Hoje não irá chover e não irei à escola a pé.

• Se hoje não chover então irei à escola a pé.

• Hoje irá chover e irei à escola a pé.

• Hoje não irá chover e irei à escola a pé.

Na fórmula [P → (Q ∧ ¬R)]↔ S a conectiva com maior âmbito é...

• negação

• condicional

• conjunção

• bicondicional

• disjunção inclusiva

Uma ............. só será falsa quando as duas proposições elementares forem falsas.

• disjunção inclusiva

• conjunção

• condicional

• bicondicional

• disjunção exclusiva

Este inspetor de circunstância revela que o argumento analisado é...

• tautológico

• contingente

• válido

• inválido

Este inspetor de circunstâncias prova que o argumento com a fórmula apresentada é...

• válido

• contingente

• contraditório

• inválido