Lgica Matemtica

Rogerio Miguel Coelho

rogerio@rogeriocoelho.com

www.rogeriocoelho.com

Lgica
Objetivo da Aula
Postulados clssicos Identificar uma proposio. Conectores Usar smbolos formais da lgica proposicional. Encontrar o valor lgico de uma expresso em lgica proposicional.

Lgica
Argumento Dedutivo e Argumento Indutivo
ARGUMENTO DEDUTIVO: vlido quando suas premissas, se verdadeiras, a concluso tambm verdadeira.
Todo homem mortal. Rogrio humano. Logo, Rogrio mortal.

ARGUMENTO INDUTIVO: a verdade das premissas no basta para assegurar a verdade da concluso.
comum o Rio Branco ganhar do So Mateus quando faz sol. Est fazendo sol. Logo, Rio Branco ganhar do So Mateus.

Lgica
Lgica Dedutiva
Postulados Clssicos
Princpio da Identidade: Um ser sempre igual a si mesmo. Princpio da no-contradio: garante ser impossvel uma coisa ser e no ser ao mesmo tempo. Princpio do Terceiro Excludo: Toda proposio ou falsa ou verdadeira.

Lgica
Proposies
A lgica formal pode representar as afirmaes que fazemos em linguagem cotidiana para apresentar fatos ou transmitir informaes. Uma proposio (ou declarao) uma sentena que falsa ou verdadeira. Considere as seguintes proposies: 1. Dez menor do que 7. 2. Como voc est? 3. Ela muito talentosa. 4. Existe vida em outros planetas do universo.

Lgica
uma proposio a sentena abaixo?
1 - Dez menor do que 7.

Lgica
uma proposio a sentena abaixo?
1 - Dez menor do que 7. uma proposio pois falsa.

Lgica
Proposio
uma proposio a sentena abaixo? 2 - Como voc est?

Lgica
Proposio
uma proposio a sentena abaixo? 2 - Como voc est? No pode ser considerada proposio pois no tem como sabermos se falsa ou verdadeira.

Lgica
Proposio
uma proposio a sentena abaixo? 3 - Ela muito talentosa.

Lgica
Proposio
uma proposio a sentena abaixo? 3 - Ela muito talentosa. No falsa nem verdadeira pois ela no est especificada. Logo no uma proposio.

Lgica
Proposio
uma proposio a sentena abaixo? 4 - Existe vida em outros planetas do universo.

Lgica
Proposio
uma proposio a sentena abaixo? 4 - Existe vida em outros planetas do universo. uma proposio j que falsa ou verdadeira, no preciso sermos capazes de decidir qual das alternativas vlida.

Lgica
Proposies
Em lgica, as proposies so representadas por letras Minsculas. Exemplos: 1 - Dez menor do que 7. Essa proposio ser representada pela letra minscula p. p=F 2 - Existe vida em outros planetas do universo. Essa proposio ser representada pela letra minscula q. q=?

Lgica
Conectivos de Lgica Matemtica
Os principais conectivos de Lgica so:

Conectivo NO ser representado pelo smbolo ~ Conectivo E ser representado pelo smbolo ^ Conectivo OU ser representado pelo smbolo v Conectivo SE...ENTO... ser representado pelo smbolo -> Conectivo SE E SOMENTE SE ser representado pelo smbolo <->

Lgica
Conectivos de Lgica Matemtica
Passe para a representao Matemtica a seguinte O Linux no tem vrus.
Proposio p: Linux tem vrus. Representao Matemtica: ~p

O Linux tem cdigo fonte aberto e de graa.

Proposio p: Linux tem cdigo fonte aberto. Proposio q: Linux de graa. Representao Matemtica: p ^ q

Lgica
Conectivos de Lgica Matemtica
Passe para a representao Matemtica a seguinte

O Linux pode ser baixado no site da RedHat ou no site do Ubuntu. Proposio p: Linux pode ser baixado no site da RedHat. Proposio q: Linux pode ser baixado no site do Ubuntu. Representao Matemtica: p v q

Se o Linux tem cdigo fonte aberto ento ele livre. Proposio p: Linux tem cdigo fonte aberto. Proposio q: Linux livre. Representao Matemtica: p -> q

Lgica
Modificador, Conectivos e Valores Lgicos
Negao: Seja a uma proposio. Denotaremos a proposio composta pelo modificador NO por ~a e lse: No a.
a V F ~a a 1 0 ~a

Lgica
Modificador, Conectivos e Valores Lgicos
Negao: Seja a uma proposio. Denotaremos a proposio composta pelo modificador NO por ~a e lse: No a.
a V F ~a F V a 1 0 ~a 0 1

a: Wanderson amigo de Rogrio. a = V. ~a: ?

Lgica
Modificador, Conectivos e Valores Lgicos
Conjuno (E): A Conjuno de duas proposies p e q uma proposio verdadeira quando p e q so verdadeiras e falsa nos demais casos. Definimos o smbolo ^ para representar a conjuno e. Assim, temos p e q <=> p ^ q. Se combinarmos as seguintes preposies abaixo com a conjuno teremos: p: Wanderson gosta de cerveja. p = V. q: Rogrio gosta de futebol. q = V. p ^ Q: Wanderson gosta de cerveja e Rogrio gosta de futebol. p ^ q = V.

Lgica
Modificador, Conectivos e Valores Lgicos
Conjuno (E): A Conjuno de duas proposies p e q uma proposio verdadeira quando p e q so verdadeiras e falsa nos demais casos. Definimos o smbolo ^ para representar a conjuno e. Assim, temos p ^ q em portugus p e q.

p V V F F

q V F V F

p^q

p 1 1 0 0

q 1 0 1 0

p^q

Lgica
Modificador, Conectivos e Valores Lgicos
Conjuno (E): A Conjuno de duas proposies p e q uma proposio verdadeira quando p e q so verdadeiras e falsa nos demais casos. Definimos o smbolo ^ para representar a conjuno e. Assim, temos p ^ q em portugus p e q.

p V V F F

q V F V F

p^q V F F F

p 1 1 0 0

q 1 0 1 0

p^q 1 0 0 0

Lgica
Modificador, Conectivos e Valores Lgicos
Disjuno Inclusiva (OU): A Disjuno Inclusiva de duas proposies P e Q uma proposio falsa quando p e q so falsas e verdadeira nos demais casos. Definimos o smbolo v para representar a disjuno ou. Assim, temos p v q em portugus p ou q.

p V V F F

q V F V F

pvq

p 1 1 0 0

q 1 0 1 0

pvq

Lgica
Modificador, Conectivos e Valores Lgicos
Disjuno Inclusiva (OU): A Disjuno Inclusiva de duas proposies P e Q uma proposio falsa quando p e q so falsas e verdadeira nos demais casos. Definimos o smbolo v para representar a disjuno ou. Assim, temos p v q em portugus p ou q.

p V V F F

q V F V F

pvq V V V F

p 1 1 0 0

q 1 0 1 0

pvq 1 1 1 0

Lgica
Modificador, Conectivos e Valores Lgicos
Disjuno Exclusiva : A Disjuno exclusiva de duas proposies p e q uma proposio verdadeira quando ambas as proposies p e q forem opostas e falsa nos demais casos. Definimos o smbolo # para representar a disjuno exclusiva. Assim, temos p # q em portugus p ou q, mas no ambos.
p V V F F q V F V F p#q p 1 1 0 0 q 1 0 1 0 p#q

Lgica
Modificador, Conectivos e Valores Lgicos
Disjuno Exclusiva : A Disjuno exclusiva de duas proposies p e q uma proposio verdadeira quando ambas as proposies p e q forem opostas e falsa nos demais casos. Definimos o smbolo # para representar a disjuno exclusiva. Assim, temos p # q em portugus p ou q, mas no ambos.
p V V F F q V F V F p#q F V V F p 1 1 0 0 q 1 0 1 0 p#q 0 1 1 0

Lgica
Modificador, Conectivos e Valores Lgicos
Condicional : A condicional de duas proposies p e q uma proposio falsa quando a proposies p for verdadeira e q falsa e verdadeira nos demais casos. Definimos o smbolo -> para representar a disjuno exclusiva. Assim, temos p -> q em portugus p implica em q.
p V V F F q V F V F p -> q p 1 1 0 0 q 1 0 1 0 p -> q

Lgica
Modificador, Conectivos e Valores Lgicos
Condicional : A condicional de duas proposies p e q uma proposio falsa quando a proposies p for verdadeira e q falsa e verdadeira nos demais casos. Definimos o smbolo -> para representar a disjuno exclusiva. Assim, temos p -> q em portugus p implica em q.
p V V F F q V F V F p -> q V F V V p 1 1 0 0 q 1 0 1 0 p -> q 1 0 1 1

Lgica
Modificador, Conectivos e Valores Lgicos Bicondicional : A bicondicional de duas proposies p e
q uma proposio falsa quando as proposies p e q forem diferentes. Definimos o smbolo <-> para representar a disjuno exclusiva. Assim, temos p <-> q em portugus P se somente se q.
p V V F F q V F V F p <-> q p 1 1 0 0 q 1 0 1 0 p <-> q

Lgica
Modificador, Conectivos e Valores Lgicos Bicondicional : A bicondicional de duas proposies p e
q uma proposio falsa quando as proposies p e q forem diferentes. Definimos o smbolo <-> para representar a disjuno exclusiva. Assim, temos p <-> q em portugus P se somente se q.
p V V F F q V F V F p <-> q V F F V p 1 1 0 0 q 1 0 1 0 p <-> q 1 0 0 1

Lgica
Resumo
Negao a V F ~a Conjuno
p q p^q

Disjuno Inclusiva
p q pvq

Disjuno Exclusiva
p q p#q

V V F F

V F V F

V V F F BiCondicional

V F V F

V V F F

V F V F

Condicional
p q
p -> q

p <-> q

V V F F

V F V F

V V F F

V F V F

Lgica
Resumo
Negao a V F ~a F V Conjuno
p q p^q

Disjuno Inclusiva
p q pvq

Disjuno Exclusiva
p q p#q

V V F F

V F V F

V F F F

V V F F

V F V F

V V V F

V V F F

V F V F

F V V F

Condicional
p q
p -> q

BiCondicional
p q p <-> q

V V F F

V F V F

V F V V

V V F F

V F V F

V F F V

Lgica
Dada as seguintes proposies P: Rogrio joga futebol e Q Rogrio joga tenis Escreva em linguagem usual (portugus) as seguintes proposies:
1pvq 2p^q 3 p ^ ~q 4 ~p v ~q 5 ~(~p) 6 ~(p ^ q)

Dada as seguintes proposies P: Louise bonita e Q: louise elegante, escrever na linguagem simblica as seguintes proposies: a) Louise bonita e elegante. b) Louise bonita, mas no elegante. c) No verdade que Louise no bonita ou elegante. d) Louise no bonita nem elegante. e) Louise bonita ou no bonita e elegante. f) falso que Louise no bonita ou que no elegante.

Lgica
Calcule o valor lgico das proposies sabendo que p = 1 e q = 0. 1 p ^ ~a 2 p v ~q 3 ~p ^ q 4 ~p ^ ~q 5 ~p v ~q 6 p ^ (~p v ~q).