Exercite-se

Oi, galera! Oi, galera! Vamos resolver estes exercícios de lógica que caíram em vestibulares? Dedique-se  para chegar no resultado e depois verifique a resposta.

Para refletir: “Nunca desesperaremos enquanto tivermos Cristo como nosso líder!” (George Whitefield)

Cálculo Proposicional: Tabelas Verdade 6

Oi, galera! A tabela verdade da bi-implicação p <=>q é verdadeira se, e somente se seus componentes são ou ambos verdadeiros ou ambos falsos.

Para refletir: "Intimidade com Deus não é apenas nossa primeira prioridade. Também é nossa primeira necessidade." (David Kornfield)

Cálculo Proposicional: Tabelas Verdade 5

Oi, galera! A tabela verdade da implicação p -> q é falsa se, e somente se, o antecedente é verdadeiro e o
conseqüente é falso.

Para refletir: "A mensagem cristã destina-se àqueles que fizeram o melhor que podiam e falharam!" (Anônimo)

Cálculo Proposicional: Tabelas Verdade 4

Oi, galera! A tabela verdade da disjunção pvq é falsa se, e somente, os disjunctos são falsos.

Para refletir: "Mesmo que você tenha caído ou fracassado, mesmo que seja alvo da rejeição de todas as pessoas, Cristo não desamparará nem dará as costas." (Max Lucado)

Game

Oi, galera! O objetivo deste jogo é levar o bloco de forma que ele passe pelo buraco amarelo.

Para refletir: "O triunfo de Cristo foi na Sua humilhação. Possivelmente, o nosso triunfo também será manifestado naquilo que, aos outros, parece humilhação." (Margaret Bottome)

Cálculo Proposicional: Tabelas Verdade 3

Oi, galera! A tabela verdade da "conjunção" p^q é verdadeira se e somente os conjunctos são verdadeiros.

Para refletir: "A morte de Cristo não terminou, mas fez germinar o seu trabalho." (Michel Quoist)

Cálculo Proposicional: Tabelas Verdade 2

Oi, galera! A tabela verdade da "negação"  (~p) é verdadeira (falsa) se e somente se p é falsa (verdadeira).

p	~p
V	F
F	V

Para refletir: "Jesus viveu perfeitamente tudo aquilo que prometeu e ensinou." (Hernan Horne)

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