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)