Matemtica Bsica

Matemtica Bsica
Prof. Samy Soares samy@ufc.br

Introduo Lgica Formal

Objetivos

Introduzir lgica e os principais conceitos. Demonstrar exemplos para ilustrar raciocnio e os conceitos comentados.

Roteiro

Exemplo prtico Motivao da Lgica Conceitos

Proposies Conectivos e Valores de verdade Inferncias

Conectivos Lgicos no Mundo Real

Exemplo Prtico

Exemplo Prtico

Jogos e Puzzles

Domin Xadrez Torre de Hanoi

http://www.profcardy.com/desafios/aplicativos.php?id=1 http://www.profcardy.com/desafios/aplicativos.php?id=24

Travessia do Rio

Sudoku

Exemplo Prtico
Sudoku

Formar equipes de 4-5 pessoas. Reorganizar as carteiras em crculos. Nomear representantes.

Exemplo Prtico
Sudoku

Motivao da Lgica

Motivao da Lgica
Voc convidado para ser jurado no julgamento de um processo criminal. O advogado de defesa argumenta: Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no estava na gaveta, ou Jason viu a faca. Se a faca no estava l no dia 10 de outubro, segue que Jason no viu a faca. Alm disso, se a faca estava l no dia 10 de outubro, ento a faca estava na gaveta e o martelo estava no celeiro. Mas todos sabemos que o martelo no estava no celeiro. Portanto, senhoras e senhores do jri, meu cliente inocente.

Motivao da Lgica

A Lgica Matemtica permite analisarmos argumentos em sua estrutura (ou FORMA). Alm disso, a lgica matemtica fornece a BASE para o mtodo de pensar organizado e cuidadoso que caracteriza os processos racionais.

Conceitos

Conceitos
Proposies

Na lgica formal, podemos representar idias e afirmaes.

Uma PROPOSIO uma sentena que falsa ou verdadeira.

Conceitos
Proposies

As afirmaes abaixo so proposies?

(a)Dez menor do que sete. (b)Como est voc? (c)Ela muito talentosa. (d)Existe vida em outros planetas do universo.

Conceitos
Proposies

As afirmaes abaixo so proposies?

(a)Dez menor do que sete. OK!! (b)Como est voc? NO! (c)Ela muito talentosa. NO! (d)Existe vida em outros planetas do universo. OK!!

Conceitos
Proposies

O item (b) no pode ser dito verdadeiro nem falso.

Conceitos
Proposies

O item (b) no pode ser dito verdadeiro nem falso. No item (c), o termo ela no est definido, ento no possvel avaliar a sentena como verdadeira nem como falsa.

Conceitos
Proposies

O item (b) no pode ser dito verdadeiro nem falso. No item (c), o termo ela no est definido, ento no possvel avaliar a sentena como verdadeira nem como falsa. Quanto ao item (d), podemos no saber qual o caso, mas com certeza a sentena ou verdadeira, ou falsa.

Conectivos e Valores de Verdade

Conceitos

Quando avaliamos proposies, consideramos seu Valor de Verdade (V ou F).

Conectivos e Valores de Verdade

Conceitos

Quando avaliamos proposies, consideramos seu Valor de Verdade (V ou F). Podemos combinar proposies em expresses mais elaboradas.

Conectivos e Valores de Verdade

Conceitos

Quando avaliamos proposies, consideramos seu Valor de Verdade (V ou F). Podemos combinar proposies em expresses mais elaboradas.

Exs:
10 > 7 e 10 < 100. No ocorre que 10 = 10. 10 < 3 ou No ocorre que 10 = 5.

Conceitos
Inferncias

possvel combinar proposies diferentes a fim de obter concluses.

Neste processo dizemos que estamos inferindo as concluses ou realizando INFERNCIAS. Chamamos s proposies originais de PREMISSAS, e s seguintes de CONCLUSES.

Conceitos
Inferncias

Exs:
(1) Roma a capital da Itlia. Este avio pousa em Roma. Logo, este avio pousa na Itlia. (2) Moscow a capital dos EUA. Logo, no possvel ir a Moscow sem ir aos EUA.

Conceitos
Inferncias

No exemplo (1), a concluso correta, assim como suas premissas. No exemplo (2), porm, a premissa falsa, levando a uma concluso falsa.

Inferncias / Validade

Conceitos

CUIDADO!!!

Tanto em (1) quanto em (2), observamos casos de inferncias corretas!! A concluso em (2) falsa devido premissa falsa. Dizemos que (1) e (2) so inferncias VLIDAS.

Conceitos
Validade

Exs:
(1) Se o ladro entrou pela janela da cozinha, ento haveriam pegadas no lado de fora. Logo, como no h pegadas no lado de fora, o ladro no entrou pela janela da cozinha.

Conceitos
Validade

Exs:
(1) Se o ladro entrou pela janela da cozinha, ento haveriam pegadas no lado de fora. Logo, como no h pegadas no lado de fora, o ladro no entrou pela janela da cozinha. (2) Joo tem cheiro de nicotina nos dedos. Logo, Joo um fumante.

Conceitos
Validade

Exs:
(1) Se o ladro entrou pela janela da cozinha, ento haveriam pegadas no lado de fora. Logo, como no h pegadas no lado de fora, o ladro no entrou pela janela da cozinha. (2) Joo tem cheiro de nicotina nos dedos. Logo, Joo um fumante. (3) Joo compra dois maos de cigarro por dia. Logo, h pegadas no lado de fora da casa.

Conceitos
Validade

O exemplo (1) tal que se a premissa for verdadeira, a concluso tambm ser. Dizemos que essa inferncia DEDUTIVAMENTE VLIDA.

Conceitos
Validade

Exs:
(1) Se o ladro entrou pela janela da cozinha, ento haveriam pegadas no lado de fora. Logo, como no h pegadas no lado de fora, o ladro no entrou pela janela da cozinha. (2) Joo tem cheiro de nicotina nos dedos. Logo, Joo um fumante. (3) Joo compra dois maos de cigarro por dia. Logo, h pegadas no lado de fora da casa.

Conceitos
Validade

No exemplo (2), h uma diferena, pois a premissa pode ser verdadeira, e a concluso pode ser falsa. Essa inferncia no dedutivamente vlida, mas pode ser dita INDUTIVAMENTE VLIDA, pois a premissa sustenta alguma evidncia para a concluso.

Conceitos
Validade

Exs:
(1) Se o ladro entrou pela janela da cozinha, ento haveriam pegadas no lado de fora. Logo, como no h pegadas no lado de fora, o ladro no entrou pela janela da cozinha. (2) Joo tem cheiro de nicotina nos dedos. Logo, Joo um fumante. (3) Joo compra dois maos de cigarro por dia. Logo, h pegadas no lado de fora da casa.

Conceitos
Validade

A premissa do exemplo (3), em contraste, nem parece oferecer suporte concluso. Dizemos que essa inferncia INVLIDA, pois no tem validade dedutiva nem indutiva.

Conectivos Lgicos no Mundo Real

Conceitos

Diversas situaes utilizam-se de conectivos lgicos no mundo real.

Linguagens de Programao. Calculadoras. Sites de Busca / Compras.

Dvidas