prof.ª dr.ª donizete ritter mÓdulo i parte i: lógica...

22
1 Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica Proposicional Bacharelado em Sistemas de Informação Disciplina: Lógica

Upload: truongtuyen

Post on 03-Oct-2018

224 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

1

Prof.ª Dr.ª Donizete Ritter

MÓDULO I – PARTE I:

Lógica Proposicional

Bacharelado em Sistemas de Informação

Disciplina: Lógica

Page 2: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

2

LÓGICA MATEMÁTICA - CONTEÚDO

Definição de Termo e Proposição

Valor Lógico

Proposição Simples e Proposição Composta

Conectivos

Tabela-Verdade

Page 3: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

3

Definição de um objeto.

TERMO (Palavra) – Definição:

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

Paula

Um filme de terror

Triângulo retângulo

Exemplo:

Page 4: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

4

Todo o conjunto de termos ou símbolos

que exprimem um pensamento

de sentido completo.

PROPOSIÇÃO – Definição:

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

Todo homem é mortal.

A Lua é um satélite da Terra.

Exemplo:

sen /2 = cos /2

Page 5: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

5

As PROPOSIÇÕES

transmitem pensamentos,

isto é,

afirmam fatos ou exprimem juízos

que formamos a

respeito de determinados entes.

PROPOSIÇÃO

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

Page 6: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

6

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

A linguagem NATURAL permite vários tipos

de proposições:

DECLARATIVA: Meu carro é azul.

INTERROGATIVA: Está frio?

EXCLAMATIVA: Que lindo!

IMPERATIVA: Cale a boca.

Page 7: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

7

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

CÁLCULO PROPOSICIONAL:

Permite apenas as

proposições

DECLARATIVAS.

Page 8: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

8

Lógica Matemática

Adota regras fundamentais do pensamento:

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

I - PRINCÍPIO (Axioma) DA NÃO CONTRADIÇÃO:

Uma proposição NÃO pode ser

FALSA e VERDADEIRA ao mesmo tempo.

O Brasil é pentacampeão de futebol.

O Brasil possui pena de morte.

Verdade (V)

Falso (F)

Page 9: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

9

Lógica Matemática

Adota regras fundamentais do pensamento:

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

II - PRINCÍPIO (Axioma) DO TERCEIRO EXCLUÍDO:

Toda proposição ou é Verdadeira ou Falsa,

isto é, verifica-se sempre um destes casos

e nunca um terceiro.

LÓGICA BIVALENTE

Page 10: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

10

O Valor Lógico de uma PROPOSIÇÃO é:

VALOR LÓGICO

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

VERDADE se esta for VERDADEIRA;

FALSIDADE se a PROPOSIÇÃO for FALSA.

Page 11: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

11

Dos 2 princípios e do valor lógico:

Toda proposição tem um,

e um só,

dos valores V, F.

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

VALOR LÓGICO

Page 12: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

12

Proposição NÃO contém nenhuma outra

proposição como parte integrante

de si mesmo.

Minha casa é grande.

PROPOSIÇÃO SIMPLES (ÁTOMOS)

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

Seu olhos são azuis.

Está calor.

Page 13: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

13

São designadas pelas letras latinas

minúsculas p,q,r,s,...,

chamadas letras proposicionais.

p: Minha casa é grande.

PROPOSIÇÃO SIMPLES (ÁTOMOS)

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

q: Seu olhos são azuis.

r: Está calor.

Page 14: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

14

Formada pela combinação de 2 ou mais

PROPOSIÇÕES.

Minha casa é grande e meu carro é azul.

PROPOSIÇÃO COMPOSTAS (MOLÉCULAS)

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

Seu olhos são azuis ou verdes.

Se está calor então é verão.

Page 15: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

15

São designadas pelas letras latinas

maiúsculas P,Q,R,S,...,

chamadas letras proposicionais.

P: Minha casa é grande e meu carro é azul.

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

Q: Seu olhos são azuis ou verdes.

R: Se está calor então é verão.

PROPOSIÇÃO COMPOSTAS (MOLÉCULAS)

Page 16: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

16

Também chamadas de

fórmulas proposicionais ou fórmulas.

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

PROPOSIÇÃO COMPOSTAS (MOLÉCULAS)

Notação:

P(q,r,s) – significa que P

é uma proposição composta das

proposições atômicas q,r e s.

Page 17: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

17

Termos usados para formar novas

proposições a partir de outras.

CONECTIVO – Definição:

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

E OU NÃO

SE...

ENTÃO...

...SE E

SOMENTE SE...

Page 18: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

18

CONECTIVO – Exemplos:

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

P: Minha casa é grande e meu carro é azul.

Q: Seu olhos são azuis ou verdes.

R: Se está calor então é verão.

S: Não está chovendo.

T: O triângulo é equilátero se e

somente se é equiângulo.

Page 19: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

19

Exibe todos os possíveis valores lógicos da

proposição composta correspondentes a

todas as possíveis atribuições de

valores lógicos às proposições simples componentes.

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

Seja p e q 2 átomos. Os valores lógicos

possíveis para cada um deles é:

TABELA-VERDADE:

p1

2

V

F

q1

2

V

F

Page 20: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

20

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

Seja P uma molécula: P(p,q).

A tabela-verdade para P é:

TABELA-VERDADE:

p q

1 V V2 V F3 F V4 F F

Arranjos

Binários

com

repetição de

2 elementos:

V e F

Page 21: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

21

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

Seja Q uma molécula: Q(p,q,r).

TABELA-VERDADE:

Arranjos

Ternários

com

repetição de

2 elementos:

V e F

p q r1 V V V2 V V F

3 V F V

4 V F F5 F V V

6 F V F

7 F F V

8 F F F

Page 22: Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE I: Lógica ...sinop.unemat.br/site_antigo/prof/foto_p_downloads/fot_14895modulo1... · LÓGICA MATEMÁTICA –INTRODUÇÃO ao CÁLCULO

22

NOTAÇÃO

LÓGICA MATEMÁTICA – INTRODUÇÃO ao CÁLCULO PROPOSICIONAL

V(p): Valor lógico da proposição atômica p.

V(p) = V ou V(p)=F

V(P): Valor lógico da proposição molecular P.

V(P) = V ou V(P)=F