TABELA VERDADE

Idia: Representao mental do objeto. Termo: Representao verbal da idia. Juzo: Afirmao. Ex.: O quadro verde. Proposio: Representao verbal do juzo. Podem ser simples ou compostas.

Valores Lgicos
O valor verdadeiro se a proposio for verdadeira, e falso, caso contrrio.

Tabelas Verdade
Negao (~)

Conjuno Ser verdade se ambas proposies forem verdadeiras.

Disjuno Ser mentira se ambas proposies forem falsas.

Implicao Ser falsa se o antecedente verdadeiro e o conseqente falso

Bi-implicao Ser verdadeira se ambos os componentes forem ambos verdadeiros ou falsos.

Tautologia ou Frmula Logicamente Vlida Frmula que possui apenas valor V em sua tabela verdade. Tautologia: proposio composta que sempre verdade.