Grafos

Seite 1

Semana 2

Afirmação matemática A -> B, A implica logicamente em B, encapsulam um conjunto de afirmações e

A chamamos de hipóteses

B chamamos de tese ou conclusão

Se o conjunto de hipóteses A for verdadeira, B é verdadeiro, que é a tese que queremos provar.

Operadores Lógicos

~A, operador unário de negação, inverte o valor verdade da afirmativa.

Ex: A = V / ~A = F

A u B = A ou B verdadeira, é uma disjunção.

A ^ B = A e B verdadeiros, é uma conjunção.

A -> B = ~A u B

Seite 2

Nomenclaturas

Teorema - é uma afirmativa matemática que já se tem a prova

Proposição - É um enunciado ou ideia, uma frase.

Corolário - Consequência do teorema

Lema - ideia como se fosse um guia, pré-teorema

Conjectura - como se fosse um teorema, mas não tem uma prova.

A <-> B, se e somente se