Formalizao matemtica

O processo de formalizao converte uma sentena ou argumento em uma forma sentencial composta de letras sentenciais e operaes lgicas. Exemplos: Hoje segunda-feira. Se interpretarmos a letra sentencial S acima, ento: Hoje no segunda-feira. ~S C: Est chovendo. N: Est nevando. Est chovendo ou nevando. (C v N) As frmulas proposicionais so constitudas de 3 conjuntos de smbolos: 1 Letras sentenciais: qualquer letra maiscula 2 Operadores lgicos: ~, &, , , v 3 Parnteses ( , ) Frmula bem formada (wff - Well formed formula) Uma formula da lgica proposicional uma seqncia qualquer de elementos do vocabulrio definido acima. Para distinguir seqncias sem sentido das formulas significativas introduziremos o conceito de wff. Este conceito definido pelas regras de formao, que constituem a gramtica da lgica proposicional. Regras de formao 1 Toda letra sentencial uma wff. 2 Se uma wff, ento ~ tambm . 3 - Se e so wffs, ento ( & ), ( v ) ( ) () tambm so.

para representar a frase

Tabela-verdade Negao P ~P V F F V Conjuno P Q (P & Q) V V V V F F F V F F F F Disjuno P Q (P v Q) V V V V F V F V V F F F Obs: Na disjuno exclusiva, a primeira linha da tabela falsa ! Condicional P Q (P Q) V V V V F F F V V F F V Bicondicional P Q (P Q) V V V V F F F V F F F V

Tabelas-verdade de uma frmula qualquer Podemos construir tabelas-verdade de qualquer frmula. O numero de linhas da tabela determinado pelo nmero de letras sentenciais na frmula considerada. O nmero de linhas distintas de uma tabela-verdade dado n por 2 , onde n o nmero de proposies simples componentes e 2 representa o nmero de valores lgicos possveis. Construo da tabela-verdade:
P V V V V F F F F Q V V F F V V F F R V F V F V F V F ((P & Q) R ) V V F F F F F F V F V V V V V V

Outra maneira de fazer ...

P V V V V F F F F Q V V F F V V F F R V F V F V F V F (P & Q) V V F F F F F F ((P & Q) R ) V F V V V V V V

Tautologia Chama-se tautologia toda frmula cuja ltima coluna de sua tabelaverdade sempre verdadeira. P ~P (P v ~P) P ~P (P & ~(P & ~P) ~P) V F V V F F V F V V F V F V Contradio Chama-se contradio toda frmula cuja ltima coluna de sua tabelaverdade sempre falsa. P ~P (P & ~P) V F F F V F Contingncia Chama-se contingncia toda formula cuja ltima coluna de sua tabelaverdade figuram V e F. No so tautologias nem contradies. P V V F F Q V F V F (P v Q) V V V F