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)

Cálculo Proposicional 1

Oi, galera! Vamos aprender um pouco sobre Cálculo Proposicional.

PROPOSIÇÃO: sentenças declarativas afirmativas (expressão de uma linguagem) da qual tenha sentido afirmar que seja verdadeira ou que seja falsa.

· A lua é quadrada.

· A neve é branca.

· Matemática é uma ciência.

VARIÁVEIS PROPOSICIONAIS: letras latinas minúsculas p,q,r,s,.... para indicar as proposições (fórmulas atômicas) .

Exemplos:    A lua é quadrada : p

                   A neve é branca : q

Para refletir: "Há mais indícios seguros de autenticidade na Bíblia do que em qualquer história profana." (Isaac Newton)

Aprendendo

Oi, galera! Leia o texto do link abaixo com atenção e resolvendo os ecercícios proposto, você vai ter um excelente aprendizado de lógica.

Como fazer exercícios de lógicas

Para refletir: "É minha fé na Bíblia que me serviu de guia em minha vida moral e literária. Quanto mais a civilização avance, mais será empregada a Bíblia." (Immanuel Kant)