28
1

Aula 13 validade mediante ri ou eq alunos

Embed Size (px)

Citation preview

1

2

3

4

5

6

7

8

9

10

11

• As regras de substituição acima podem ser utilizadas nas demonstrações de

validade de argumentos.

• Nota sobre a diferença de aplicação entre as 10 regras de inferência e as 10

equivalências notáveis:

As 10 regras de inferência somente podem ser aplicadas sobre as linhas

completas de uma demonstração ou dedução;

As 10 equivalências notáveis podem ser aplicadas tanto a linhas completas

quanto a partes de linhas completas, de acordo com a regra de substituição.

12

• As regras de substituição acima podem ser utilizadas nas demonstrações de

validade de argumentos.

• Nota sobre a diferença de aplicação entre as 10 regras de inferência e as 10

equivalências notáveis:

As 10 regras de inferência somente podem ser aplicadas sobre as linhas

completas de uma demonstração ou dedução;

As 10 equivalências notáveis podem ser aplicadas tanto a linhas completas

quanto a partes de linhas completas, de acordo com a regra de substituição.

13

14

15

16

17

• Proposições consistentes:

Duas ou mais proposições são consistentes caso possam ser

simultaneamente verdadeiras;

• Argumentos consistentes:

Um argumento é consistente quando as suas premissas podem ser

simultaneamente verdadeiras (consistentes).

18

• Note que as três proposições acima são inconsistentes pois não existem

valores de p, q e r que tornem simultaneamente verdadeiras as três

proposições.

• Pode ser verificado na tabela-verdade acima que, para cada uma das três

colunas correspondentes às proposições, sempre existe pelo menos um valor

F em cada linha, os quais estão marcados na cor vermelha.

19

20

21

22

23

24

25

26

27

28