Fundamentos de Matemtica

Humberto Jos Bortolossi

Departamento de Matemtica Aplicada Universidade Federal Fluminense

Aula 4 14 de janeiro de 2013

Aula 4

Fundamentos de Matemtica

Argumentos
(Autora: Anne Michelle Dysman Gomes)

Aula 4

Fundamentos de Matemtica

Argumentos
Argumento uma sequncia de proposies que comea com premissas e termina com concluses obtidas por implicaes lgicas decorrentes das premissas.

Quando todas as implicaes lgicas que levam a concluso so corretas, dizemos que o argumento vlido. Caso contrrio, dizemos que no vlido.

Exemplos Argumento vlido Premissas: se x = 0, ento x 2 = x ; x = 0; Concluso: x 2 = x . Argumento no vlido Premissas: se x = 0, ento x 2 = x ; x 2 = x ; Concluso: x = 0.

Aula 4

Fundamentos de Matemtica

Argumentos
Argumento uma sequncia de proposies que comea com premissas e termina com concluses obtidas por implicaes lgicas decorrentes das premissas.

Quando todas as implicaes lgicas que levam a concluso so corretas, dizemos que o argumento vlido. Caso contrrio, dizemos que no vlido.

Exemplos Argumento vlido Premissas: se x = 0, ento x 2 = x ; x = 0; Concluso: x 2 = x . Argumento no vlido Premissas: se x = 0, ento x 2 = x ; x 2 = x ; Concluso: x = 0.

Aula 4

Fundamentos de Matemtica

Argumentos
Argumento uma sequncia de proposies que comea com premissas e termina com concluses obtidas por implicaes lgicas decorrentes das premissas.

Quando todas as implicaes lgicas que levam a concluso so corretas, dizemos que o argumento vlido. Caso contrrio, dizemos que no vlido.

Exemplos Argumento vlido Premissas: se x = 0, ento x 2 = x ; x = 0; Concluso: x 2 = x . Argumento no vlido Premissas: se x = 0, ento x 2 = x ; x 2 = x ; Concluso: x = 0.

Aula 4

Fundamentos de Matemtica

Argumentos
Argumento uma sequncia de proposies que comea com premissas e termina com concluses obtidas por implicaes lgicas decorrentes das premissas.

Quando todas as implicaes lgicas que levam a concluso so corretas, dizemos que o argumento vlido. Caso contrrio, dizemos que no vlido.

Exemplos Argumento vlido Premissas: se x = 0, ento x 2 = x ; x = 0; Concluso: x 2 = x . Argumento no vlido Premissas: se x = 0, ento x 2 = x ; x 2 = x ; Concluso: x = 0.

Aula 4

Fundamentos de Matemtica

Argumentos
Decida se o argumento ou no vlido. Premissas: 1) se a = b, ento a + 1 = b + 1; 2) a = b. Concluso: a + 2 = b + 2. Argumento: por (2), a = b. Logo, por (1), a + 1 = b + 1. Usando (1) novamente, obtemos que (a + 1) + 1 = (b + 1) + 1, isto , a + 2 = b + 2.

Aula 4

Fundamentos de Matemtica

Argumentos
Decida se o argumento ou no vlido. Premissas: 1) se m > 0, ento p > 0; 2) se p > 0, ento j > 0; 3) p > 0. Concluso: j > 0 e m > 0. Argumento: por (3), p > 0. Logo, por (2), j > 0. Como p > 0, por (1), m > 0. Assim j > 0 e m > 0.

Aula 4

Fundamentos de Matemtica

Argumentos
Forme um argumento vlido acrescentando como concluso tudo o que voc puder concluir sobre o conjunto A a partir das premissas dadas. Premissas: 1) A N; 2) para quaisquer x e y pertencentes a A, x y mltiplo de 10; 3) 11 A se e somente se {12, 13, 14, . . . , 18, 19} A = ; 4) existe x A tal que 11 x 20; 5) para todo x A temos que 0 < x < 40; 6) se 25 / A, ento A possui exatamente 3 elementos.

Aula 4

Fundamentos de Matemtica

Seo de Exerccios

Aula 4

Fundamentos de Matemtica

10