Capítulo I - 7. Relação de implicação

Question 1

1. Dadas as proposições p e q, dizemos que “p implica q” quando

Answer 1

não temos simultaneamente

p verdadeira e q falsa.

Notação:
p ⇒ q.

Question 2

2. Observações sobre relação de implicação:

Answer 2

1ª) Notemos que p implica q quando o condicional p → q é verdadeiro.
2ª) Todo teorema é uma relação de implicação da forma
hipótese ⇒ tese

Question 3

3. Demonstrar um teorema significa

Answer 3

mostrar que não ocorre o caso de a hipótese ser verdadeira e a tese ser falsa.

Question 4

4. Exemplos de relação de implicação.

Answer 4

1º) 2|4 ⇒ 2|4 • 5
2°) p é positivo e primo ⇒ mdc (p, p²) = p

Question 5

Quais as quatro perguntas sobre relação de implicação em noções de lógica.

Answer 5

1. Dadas as proposições p e q, dizemos que “p implica q” quando
2. Observações:
3. Assim, demonstrar um teorema significa
4. Exemplos de relação de implicação.