Oi, galera! Vamos brincar com este que é um clássico dos exercícios de lógica:

Torre de Hanoi

Para refletir: "Se Cristo é o único caminho, porque viver perdendo tempo em outra estrada." (Verni Arendis)

Cálculo Proposicional: Tabelas Verdade 1

Oi, galera! A lógica clássica é governada por três princípios (entre outros) que podem ser formulados como segue:

· Princípio da Identidade: Todo objeto é idêntico a si mesmo.
· Princípio da Contradição: Dadas duas proposições contraditórias (uma é negação da outra), uma delas é falsa.
· Princípio do Terceiro Excluído: Dadas duas proposições contraditórias, uma delas é verdadeira.

Com base nesses princípios as proposições simples são ou verdadeiras ou falsas - sendo mutuamente exclusivos os dois casos; daí dizer que a lógica clássica é bivalente.
Para determinar o valor (verdade ou falsidade) das proposições compostas (moleculares), conhecidos os valores das proposições simples (atômicas) que as compõem usaremos tabelas-verdade :

Para refletir: "A paz interior não se encontra em você, mas em Cristo." (Autor desconhecido)

Desafio

Oi, galera! Hoje estou trazendo um desafio de lógica que desde criança eu sempre achei muito díficil de resolver:

Água, Luz e Esgoto.

Para refletir: "A Bíblia diz que somente aqueles que creem na verdade e obedecem aos seus mandamentos estão pertos de Deus." (Vincent Cheung)

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)

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é)

Joguinho

Oi, galera! O desfio dos missionários e canibais, numa versão diferente. O objetivo é levar as 3 meninas e seus pais para o outro lado do rio. Só quem pode remar são as meninas e elas não podem ficar sozinhas ou com um pai que não seja o seu.

Para refletir: "A Bíblia não nos foi dada para aumentar nosso conhecimento, mas para mudar nossa vida." (D. L. Moody)

Cálculo Proposicional 2

Oi, galera! As fórmulas atômicas podem ser combinadas entre si e, para representar tais combinações usaremos os conectivos lógicos :

Exemplos:
· A lua é quadrada e a neve é branca. : p ^ q (p e q são chamados conjunctos)

· A lua é quadrada ou a neve é branca. : p v q ( p e q são chamados disjunctos)

· Se a lua é quadrada então a neve é branca. : p -> q ( p é o antecedente e q o conseqüente)

· A lua é quadrada se e somente se a neve é branca. : p <-> q

· A lua não é quadrada. : ~p

Para refletir: "O estudo da Bíblia constitui o mais elevado Curso de pós-graduação na mais preciosa Biblioteca da experiência humana." (Herbert Hoquer)