Lógica Formal

Qual das seguintes proposições é uma universal positiva?

• Gatos não são rosa.

• Todos os gatos são laranja.

• Alguns gatos são brancos.

• Nenhum gato é laranja.

Qual das seguintes frases expressa uma proposição particular afirmativa?

• Nem todos os pratos são redondos.

• Se existe um prato, ele terá de ser redondo.

• Não há qualquer prato que seja redondo.

• Há de haver pratos redondos.

Que operação lógica tem este símbolo? ¬

(a)  

"Se assistir a skibidi toilet, então não sou sigma."

Que tipo de forma lógica está expressa na proposição?

• Disjunção

• Negação

• Condicional

• Conjunção

A que tipo de inferência lógica se recorre para se passar de uma proposição como "Não é verdade que Sócrates não é chato" para "Sócrates é chato".

(a)  

Qual seria a tradução da seguinte proposição em linguagem formal: "Se a Marta estudar e for esforçada, então ela terá bons resultados".

• (S ∧ E) → R
• S → (E ∧ R)
• (S ∧ ¬E) → R
• (S ∨ E) → R

Qual é a conclusão do seguinte argumento:

"Ou vejo televisão ou jogo Roblox.

Estou a jogar Roblox."

Traduz a seguinte frase para a sua forma canónica "Qualquer pessoa é mortal"

(a)  

Que tipo de proposição é a seguinte? "Nem todas as camas são comfortáveis".

• Universal afirmativa.

• Singular negativa.

• Particular negativa.

• Universal negativa.

Qual é a frase que se aplica aos argumentos válidos?

• A conclusão segue-se efetivamente das premissas.

• As premissas seguem-se efetivamente da conclusão.

• A conclusão parece seguir-se das premissas.

• As premisas parecem seguir-se da conclusão.