terça-feira, 31 de janeiro de 2012

Cálculo Proposicional 4

Oi, galera! Vamos definir FÓRMULA em Cálculo Proposicional:
1. Toda fórmula atômica é uma fórmula.
2. Se A e B são fórmulas então
    (A ^ B) , (A v B) , (A -> B) , (A <-> B) e (~A) também são fórmulas.
3. São fórmulas apenas as obtidas por 1. e 2. .

Os parênteses serão usados segundo a seguinte ordem dos conectivos: ~, ^ , v , ->, <->.

Com o mesmo conectivo adotaremos a convenção pela direita.

Exemplo: a fórmula p v q ^ ~ r -> p -> ~ q deve ser entendida como
                  (((p v q) ^ (~ r)) -> ( p -> (~ q)))

Para refletir: "A bíblia é uma janela neste mundo-prisão, através da qual nos é possível divisar a eternidade." (Timoty Dwight)

segunda-feira, 16 de janeiro de 2012

Cálculo Proposicional 3

Oi, galera! Os parênteses "(" e ")", são símbolos auxiliares que servem para denotar o "alcance" dos conectivos;

Exemplos:
· Se a lua é quadrada e a neve é branca então a lua não é quadrada:
((p ^ q) -> ~ p)

· A lua não é quadrada se e somente se a neve é branca:
((~ p) <-> q))


Para refletir:
"A Bíblia não é somente um grande livro de referências históricas, mas é também um Guia para a vida diária, e por esta razão eu a respeito e amo." (Hailé Selassié)