Tema: Axiomatização das

DISCIPLINA DE MATEMÁTICA teorias matemáticas

Ficha de Trabalho Data: ___/____/_______

Ano letivo 2023/2024

Nome:________________________________________________________________________________________________

A hipótese (H) é o ponto de partida.

A Tese (T) é o que queremos demostrar.

Alguns teoremas podem ser enunciados utilizando a expressão se ... então ... que traduz uma implicação
cujo símbolo é ⟹ .

Se H então T ou H ⟹ T (a hipótese implica a tese).

Numa implicação H ⟹ T , H é o antecedente e T é o consequente.

Condição necessária e condição suficiente

Considera a proposição:
Se estou em Faro então estou em Portugal.
Condição suficiente Condição necessária

1. Em cada um dos teoremas seguintes, indica a hipótese e a tese.

a) Ângulos verticalmente opostos são iguais.
b) Num triângulo retângulo, a soma dos quadrados das medidas dos catetos é igual ao quadrado da
medida da hipotenusa.
c) Num triângulo, a ângulos iguais opõem-se lados iguais.
d) Se um paralelogramo tem as diagonais perpendiculares, então é um losango.
e) Se o produto de dois números reais é positivo, então os números têm o mesmo sinal.
f) Se um número natural é divisível por 4, então é par.
g) Se um quadrilátero é um quadrado, então tem os lados todos iguais.
h) Se um triângulo é equilátero, então é isósceles.

2. Considera as seguintes afirmações.

Relativamente a cada uma das afirmações:

a) Escreve-a na forma de implicação.

b) Identifica a hipótese e a tese.

3. Considera o teorema:

Identifica a hipótese e a tese.

4. Considera o teorema:

Identifica a condição necessária e a condição suficiente.

5. Considera as seguintes implicações:

Para cada uma das implicações identifica a condição necessária e a condição suficiente.

6. Identifica a condição necessária e a condição suficiente.

I:

II:

III: