Centro Educacional Anhaguera UniAbc

Pesquisa de Proposies, Representaes e Tautologia. Matemtica para Informtica Professor: Maria Cristina Apude

Nome dos Integrantes:

Boris Buscariol Francisco RA 3708639612 Diogo Rodrigues Santana RA 3727706459 Huarlla Alves costa RA 4200060885 Hudson Prado RA 3739830965 Jlio Csar Pilares RA 4200058726 Richard Torres RA 3730730683

Tautologia, contradio e contingncia Tautologia - proposio composta cuja ltima coluna de sua tabela verdade encerra somente a letra V(verdade). Exemplo: p v ~(p ^ q). Contradio - proposio composta cuja ltima coluna de sua tabela verdade encerra somente a letra F(falsidade). Exemplo: (p ^ q) ^ ~(p v q). Contingncia - proposio composta cuja ltima coluna de sua tabela verdade figuram as letras V e F cada uma pelo menos uma vez. Exemplo: p v q > p.

Equivalncia Uma proposio P(p, q, r, ...) equivalente a uma proposio Q(p, q, r, ...) se as tabelas verdade dessas duas proposies so idnticas. Notao: P(p, q, r, ...) <==> Q(p, q, r, ...). Exemplo: A condicional "p > q" e a disjuno "~p v q" so equivalentes como expe sua tabela verdade:
p V V F F q V F V F p > q ~p ~p v q V F V V F F V V V F V V

Equivalncia: p> q <==> ~p v q

Proposio um conjunto de palavras ou smbolos que exprime um pensamento de sentido completo, de modo que se possa atribuir, dentro de certo contexto, somente um de dois valores lgicos possveis: verdadeiro ou falso. A lgica matemtica se assenta em dois princpios fundamentais: Princpio da no contradio: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo; Princpio do terceiro excludo: Toda proposio ou verdadeira ou falsa, excluindo-se qualquer outro valor.

Conectivos e valores lgicos Conectivos: (Termos usados para formar novas proposies a partir de outras existentes.) "e", "ou", "no", "se... ento... ", "se e somente se ..." Valores lgicos das proposies: Verdade (V) e Falsidade (F).

Tabelas verdade A Tabela verdade um instrumento usado para determinar os valores lgicos das proposies compostas, a partir de atribuies de todos os possveis valores lgicos das proposies simples componentes. A primeira das tabelas abaixo apresenta duas proposies simples: p e q e a segunda, trs proposies simples: p, q e r. As clulas de ambas as tabelas so preenchidas com valores lgicos V e F, de modo a esgotar todas as possveis combinaes. O nmero de linhas da tabela pode ser previsto efetuando o clculo: 2 elevado ao nmero de proposies simples. Nos exemplos abaixo tem-se 22 = 4 linhas e 23 = 8 linhas.

Valor lgico da proposio

Notao: O valor lgico de uma proposio simples indica-se por V(p) e composta por V(P) (letra maiscula). Exemplos de proposies simples: q : Blumenau um pas. V(p) = V V(q) = F (L-se valor lgico de p igual a V (verdadeiro) e de q igual a F (falso)) p : um tringulo tm trs lados.

Exemplo de proposio composta: q : a terra uma estrela. P(p,q) = p v q V(P) = V

p : o sol uma estrela ou

(O smbolo "v" representa o conectivo "ou")