Lógica Proposicional

Indique qual ou quais das seguintes expressões são proposições:

• 7

• 3x + 5 = 10

• 3+4=7

• 4>5

• O Porto é a capital de Portugal

• ∼q

• p

Sejam p, q e r as seguintes proposições:

p = O triângulo é retângulo

q = O triângulo é equilátero

r = O triângulo é isósceles

A proposição "Se o triângulo é isósceles, então não é retângulo ou não é equilátero", é representada por:

• r → (∼q ∨ ∼p)

• (r → ∼q) ∨∼p

• r → ∼(q ∨ p)

É possível encontrar uma fórmula lógica, contendo apenas negações e disjunções, que seja equivalente a qualquer fórmula lógica.

• Verdadeiro

• Falso

É possível encontrar uma fórmula lógica, contendo apenas negações e implicações, que seja logicamente equivalente a qualquer fórmula lógica.

• Verdadeiro

• Falso

Qual das fórmulas está na Forma Normal Disjuntiva (FND)?

• Verdade

• Falso

Na última coluna desta tabela de verdade deverá estar:

• VVFF

• VFVF

• FFFV

• VVVF

É uma tautologia a equivalência entre p→q e

A proposição "se p então q" é representada por:

• q → p

• p ↔ q

• p → q