Material Prova

O que é Implicação?
R=Uma proposição P (p, q, r, ...) implica logicamente numa proposição Q (p, q, r, ...) se Q (p, q, r,
...) é verdadeira (V) todas as vezes que P (p, q, r, ...) é verdadeira. Nestas condições, escreve-se que
P (p, q, r....)  Q (p, q, r, ...), que se lê: P implica em Q.
Quais são as regras de Implicação?
R= lógica entre duas dadas fórmulas proposicionais quando nas respectivas tabelasverdades, linha a linha nas colunas resultado, não concorre simultaneamente em verdade-falsidade, nesta ordem.
O que é Equivalência?
R= Dadas as fórmulas proposicionais P (p, q, r, ..., p1, ..., pn) diz-se que todas as fórmulas são logicamente equivalentes se, e somente se, V [P (p, q, r, ...)] = V [Q (p, q, r, ...)] para quaisquer dos valores verdade das n-proposições simples componentes.

Álgebra das proposições: A utilização da álgebra das proposições será composta pela aplicação da tabela verdade, utilizando-se da premissa de que podemos provar os valores encontrados.
O método dedutivo nos permite trabalhar com a simplificação, implicação, adição, modus ponens, modus tollens, silogismo disjuntivo e outras formas para comprovar uma tautologia ou não.

Método Dedutivo: Implicações e equivalências podem ser demonstradas pelo emprego do
Método Dedutivo: quando utiliza-se da substituição de proposições simples p, q, r, t, (verdadeira) e c
(falsa), que nelas figuram, são substituídas respectivamente por proposições compostas P, Q, R, T
(tautologia) e C (contradição).

Propriedades da Conjunção e Disjunção
Idempotente -> são idênticos, p  p  p
Comutativa -> p ^ q bi-impli. q ^ p
Associativa -> (p V q) V r bi-impli. p V (p V t)
Identidade -> p V t bi-impli. e p V c V p
Você sabia?
É possível utilizar a construção da tabela-verdade para a comprovação da álgebra das proposições e do método dedutivo?
Não sabia? Então aproveite, faça a leitura dos capítulos 7 e 8 do artigo a seguir e complemente seus estudos.