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)