ESI 7-10-2022

Aula 5 Argumentos

(1) Correção do TPC

1. Usando uma tabela de verdade, mostre que implica logicamente .

p q r

1
ESI 7-10-2022

2. Mostre, formalmente que, implica logicamente .

2
 ESI 7-10-2022

TPC 3-
Entrega a 16 de outubro- Autoavaliação.

Teoremas e demonstrações
p ⇒q

Se f é diferenciável então f é continua

Condição de suficiência –

Condição de necessidade-

Teorema hipótese ⇒ teste

π
Teorema de Pitágoras: Dado um triângulo .Se α = então a 2+ b2=h2 .
2

Condição de suficiência –

Condição de necessidade-

3
 ESI 7-10-2022

Demonstração formal - é uma sequência finita de proposições, cada uma das quais ou é um
axioma (proposição cuja veracidade se admite à priori) ou resulta de proposições anteriores

Passo da demonstração é cada uma das proposições

Teorema – é o último passo de uma dada demonstração, isto é, demonstrar um teorema consiste na realização
de uma demonstração cujo último passo é o teorema em questão.

Nota- É essencial que cada um dos passos seja correto.

a=b

4
 ESI 7-10-2022

Nota- Por vezes o contra recíproco, pode ser vantajoso.

Exercício 19

Suponha-se que é um número real tal que . Mostrar que se então .

Validar argumentos

Definição:

Chama-se argumento a uma sequência finita de proposições organizadas na forma seguinte

- premissas( ou hipóteses)

a conclusão (ou tese).

Ao fazer a leitura desta implicação é costume inserir “portanto”, “por conseguinte”, “logo”, etc., lendo-se, por

exemplo, “ portanto ”.

Exemplo

5
 ESI 7-10-2022

q 1 ≡ Pitágoras foi um homem

q 2 ≡ todos os homens são mortais

q ≡ Pitágoras é mortal

q 1 ∧ q2 ⇒ q

Se Pitágoras foi um homem e todosos homens são mortais então Pitágoras é mortal .

Constitui o método usado numa discussão para convencer uma parte das razões que assistem à outra.

Definição

Um argumento diz-se:

q
Correto ou válido se a conclusão ( ) for verdadeira sempre que as premissas forem
simultaneamente verdadeiras.

Incorreto ou inválido no caso contrário, isto é, se alguma situação permitir que as premissas sejam todas
verdadeiras e a conclusão falsa.

Exercício 22

Supondo que t ,c , d , f representam as seguintes sentenças:

“ver televisão”

“ir ao cinema”

“ter dinheiro”

“ir de férias”

Considere o seguinte argumento:

a1. Ele vê televisão ou vai ao cinema;

a2. Se não tem dinheiro então não vai ao cinema;

a3. Uma condição suficiente para ir de férias é ter dinheiro;

6
 ESI 7-10-2022

a4. Ele não vê televisão;

a5. Logo, ele vai de férias!

a) Traduza através de proposições lógicas as afirmações anteriores.

b) Mostre se o argumento é valido.

“ver televisão” a1. Ele vê televisão ou vai ao cinema;

“ir ao cinema”
a2. Se não tem dinheiro então não vai ao cinema;
“ter dinheiro”
a3. Uma condição suficiente para ir de férias é ter
“ir de férias”
dinheiro;
a4. Ele não vê televisão;

a5. Logo, ele vai de férias!

b)

t∨c

d⟹ c

d ⟹f

Exercício 21

7
 ESI 7-10-2022

Analise a validade dos seguintes argumentos:

a) Bom tempo é necessário para se conseguir um bom jardim. Como o jardim está muito bonito o tempo
tem estado bom.

Legenda Premissas e tese

b) Se hoje o tempo estiver bom amanhã faremos um piquenique. Mas hoje o tempo não está bom, logo,
amanhã não faremos um piquenique.

Legenda Premissas e tese

c) É suficiente o tempo estar bom, para sair à noite. Ou vou ao cinema ou não saio à noite. Hoje o tempo
está bom, logo não fui ao cinema.

8
ESI 7-10-2022

Legenda Premissas e tese

9
 ESI 7-10-2022

Exercício

Averigue, justificando todos os passos, se o seguinte argumento é válido:

“Se o ladrão foi preso, então não usou luvas. Mas, se não saltou pela janela, então usou máscara. O ladrão usou
luvas ou não usou máscara. Mas foi preso. Portanto, o ladrão não usou luvas e saltou pela janela.”

Legenda Premissas e tese

Exercício

10
ESI 7-10-2022

Verifique se o seguinte argumento é válido:

“Para obter uma mensagem de erro é suficiente o código do programa possuir erros. O código programa
possui erros ou a sua compilação produz um ficheiro executável. Se tivermos um ficheiro executável,
podemos correr o programa. Não conseguimos correr o programa. Logo, a compilação do programa produz
uma mensagem de erro.”
Legenda Premissas e tese

11
ESI 7-10-2022

Verifique se o seguinte argumento é válido:

“Para cozinhar é suficiente ter fome. Se vou a um restaurante então não cozinho e ando de carro. Vou a
restaurante ou não gasto dinheiro. Hoje gastei dinheiro. Logo não tenho fome e andei de carro”.

Legenda Premissas e tese

12