Páginas

Pesquisar este blog

quinta-feira, 10 de junho de 2010

Vídeo Lógica

DESAFIANDO A LÓGICA


Série House

A série House tem uma equipe de médicos que trabalham com seus pacientes usando deduções lógicas até chegar a solução do problema.Assim podemos afirmar que a série tem tudo haver com equivalêcias lógicas.

Implicações e equivalências


Implicações e equivalências.

Implicação: Sejam P e Q Proposições¹. Dizemos que P implica em Q (P=>Q) se e somente se P -> Q for Tautologia².
Exemplo: p^q => p
Sejam: P: p^q e Q: p
Para que P => q então P -> Q deve ser tautologia, ou seja:
p^q -> p deve ser tautologia.

Equivalência: Sejam P e Q proposições. Dizemos que P é equivalente a Q (P<=>Q) se e somente se P<->Q for Tautologia. Dizemos tambem que se P<=>Q então P é igual a Q.
Exemplo: p^q <=> p
Sejam: P: p^q e Q: p
para que p <=> q então P<->Q deve ser tautologia, ou seja:
p^q <-> p deve ser tautologia.

Para não precisarmos fazer tabela-verdade toda vez que quisermos provar uma equivalência, temos a seguinte lista de equivalências com 19 equivalências que já foram testadas e afirmadas como sendo todas verdadeiras:

Lista de Equivalências básicas:

1- p^p <=> p

2- p^q <=> q^p

3- p^(q^r) <=> (p^q)^r

4- p^(q v r) <=> (p^q) v (p^r)

5- p^tautologia <=> p

6- p^contradição³ <=> contradição

7- p^~p <=> contradição

8- p v p <=> p

9- p v q <=> q v p

10- p v (q v r) <=> (p vq) v r

11- p v (q^r) <=> (p v q) ^ (p v r)

12- p v tautologia <=> tautologia

13- p v contradição <=> p

14- p v ~p <=> tautologia

15- p -> q <=> ~p v q

16- p<->q <=> (p->q)^(q->p)

17- ~(~p) <=> p

18- ~(p^q) <=> ~p v ~q

19- ~(p v q) <=> ~p^~q





Proposições¹: É todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo (tambem chamada de sentença).

Tautologia²: É toda proposição cujo o valor lógico é sempre e todo verdadeiro.

Contradição³: É toda proposição cujo o valor lógico é sempre e todo falso.

quarta-feira, 9 de junho de 2010

lógica Convencional X Lógica Religiosa

_____________________________________________________________

Religiosa: Você só vai estar certo quando provar que todas as outras estão erradas.

Representação Humoristica Da Lógica da Vida

__________________________________________________________________

A Lógica Do Queijo Suíço


A Lógica Do Queijo Suíço


Imagine um pedaço de queijo suíço, daqueles bem cheios de buracos.

Quanto mais queijo, mais buracos, lógico.

Mas o buraco ocupa o lugar em que haveria queijo.

Assim, quanto mais buracos, menos queijo.

Ora, se quanto mais queijo mais buracos, e quanto mais buracos, menos queijo;

Logo, quanto mais queijo, menos queijo!

Ex 2:

Toda regra tem exceção.

Isto é uma regra!!! Logo, deveria ter exceção.

Portanto, nem toda regra tem exceção.

Estes são apenas alguns dos muitos exemplos que poderíamos ter citado aqui, basta nós prestarmos mais atenção em tudo que escutamos em nosso dia-a-dia e encontraremos várias questões semelhantes...