Você está na página 1de 8

Noes de lgica matemtica

Conceitos Bsicos
CH p

p
V
F

Noes de lgica matemtica


Conceitos Bsicos
CH p

Noes de lgica matemtica


Conceitos Bsicos - E
CH p

CH q

f
p

p^q

Noes de lgica matemtica


Conceitos Bsicos - E
CH p

CH q

v
p

p^q

Noes de lgica matemtica


Conceitos Bsicos - OU
CH q

CH p

f
p

pvq

Noes de lgica matemtica


Conceitos Bsicos - OU
CH q

CH p

v
p

pvq

Noes de lgica matemtica


Conceitos Bsicos - OU
CH q

CH p

v
p

pvq

Noes de lgica matemtica


Conceitos Bsicos - OU
CH q

CH p

v
p

pvq

Noes de lgica matemtica


Conceitos Bsicos
Proposies
Definio: Conjunto de palavras ou smbolos que exprimem um
pensamento de sentido completo. So expresses a respeito das quais tem
sentido dizer que so verdadeiras ou falsas.
Proposio

Valor lgico

O sol menor do que a Terra

Belo Horizonte a capital de Minas Gerais

0.5 um nmero inteiro

cos(45)=sen(45)

A lua o satlite da Terra

Princpios Adotados como Regras Fundamentais do


Pensamento, na Lgica Matemtica
Princpio da no contradio - uma proposio no pode ser verdadeira e
falsa ao mesmo tempo.
Princpio do terceiro excludo - toda proposio ou verdadeira ou falsa,
isto , verifica-se sempre um destes casos e nunca um terceiro.
Valores Lgicos das Proposies - chama-se valor lgico de uma proposio
a verdade se a proposio verdadeira e a falsidade se a proposio falsa.
Valor Lgico

Smbolo de Designao

Verdade

Falsidade

Toda proposio tem um e um s dos valores V , F (de acordo os dois princpios citados).
Exemplo:
a) o mercrio mais pesado que a gua; valor lgico da proposio : verdade (V)
b) o sol gira em torno da Terra; valor lgico da proposio : falsidade (F)

Tipos de Proposio
Simples ou Atmicos - a proposio que no contm nenhuma outra
proposio como parte integrante de si mesma. As proposies simples so
geralmente designadas por letras minsculas p, q, r, s ..., chamadas letras
proposicionais.
Exemplo:
p : Oscar prudente;
q : Mrio engenheiro;
r : Maria morena.
Composta ou Molecular - a proposio formada pela combinao de
duas ou mais proposies. So habitualmente designadas por letras
maisculas P, Q, R, S ..., tambm denominadas letras proposicionais.
Exemplo:
P : Walter engenheiro E Pedro estudante;
Q : Mauro dedicado OU Pedro trabalhador;
R : SE Flvio estudioso ENTO ser aprovado.

Conectivos
Definio: Palavras utilizadas para formar novas proposies a partir de outras.
Exemplos:
P: dia ou noite
Q: No est chovendo
R: Se Jorge engenheiro, ento sabe matemtica
S: O nmero 6 par e 8 um cubo perfeito
T: O tringulo ABC eqiltero se e somente se for eqingulo
Os conectivos utilizados acima foram ou, no, se...ento, e e ... se e somente se....

Notao
O valor lgico de uma proposio simples p indica-se por V(p). Assim indica-se que p
verdadeira por V(p)=V. De maneira anloga, exprimi-se que p falsa por V(p)=F.
Exemplos
p: O sol verde
q: Um quadrado tem 4 lados
V(p)=F; V(q)=V; V(r)=F; V(s)=V.
r: A moeda do Brasil o dlar
s: 4 raiz da equao x2-3x-4=0

Operadores
Negao
Chama-se negao de uma proposio p a proposio representada por
no p, cujo valor lgico verdadeiro quando p falsa e falso quando p
verdadeiro. Simbolicamente, a negao de p indicada por ~p, que se
l no p.

Conjuno
Chama-se conjuno de duas proposies p e q a proposio
representada por p e q, cujo valor lgico verdadeiro quando as
proposies p e q so ambas verdadeiras e falso nos demais casos.
Simbolicamente, a conjuno de proposies p e q indicada por p
q, que se l p e q.

Disjuno
Chama-se disjuno de duas proposies p e q a proposio
representada por p ou q, cujo valor lgico verdadeiro quando pelo
menos uma das proposies p e q verdadeira e falso quando ambas
as preposies so falsas. Simbolicamente, a disjuno de proposies
p e q indicada por p q, que se l p ou q.

~p

pq

pq

Operadores
Negao
Chama-se negao de uma proposio p a proposio representada por
no p, cujo valor lgico verdadeiro quando p falsa e falso quando p
verdadeiro. Simbolicamente, a negao de p indicada por ~p, que se
l no p.

Conjuno
Chama-se conjuno de duas proposies p e q a proposio
representada por p e q, cujo valor lgico verdadeiro quando as
proposies p e q so ambas verdadeiras e falso nos demais casos.
Simbolicamente, a conjuno de proposies p e q indicada por p
q, que se l p e q.

Disjuno
Chama-se disjuno de duas proposies p e q a proposio
representada por p ou q, cujo valor lgico verdadeiro quando pelo
menos uma das proposies p e q verdadeira e falso quando ambas
as preposies so falsas. Simbolicamente, a disjuno de proposies
p e q indicada por p q, que se l p ou q.

~p

pq

pq

Operadores
Disjuno exclusiva
Chama-se disjuno exclusiva de duas proposies p e q a proposio
representada por ou p ou q mas no ambos, cujo valor lgico verdadeiro
somente quando p verdadeiro ou q verdadeiro, mas no quando ambos
so verdadeiros, e falso quando ambas as preposies so verdadeiras ou
falsas. Simbolicamente, a disjuno exclusiva de proposies p e q
indicada por p q, que se l ou p ou q mas no ambos.

pq

Condicional
Chama-se proposio condicional ou apenas condicional, uma proposio
representada por se p ento q, cujo valor lgico a falsidade no caso em
que p verdadeira e q falsa e verdadeiro nos demais casos.
Simbolicamente, a condicional de duas proposies p e q indicada por
pq, que se l de uma das duas formas:
i p condio suficiente para q
ii q condio necessria para p

Bicondicional
Chama-se proposio bicondicional ou apenas bicondicional, uma
proposio representada por p se e somente se q, cujo valor lgico
verdadeiro quando p e q so ambas verdadeiras ou falsas, e falso nos
demais casos. Simbolicamente, a bicondicional de duas proposies p e q
indicada por pq, que se l de uma das duas formas:
i p condio necessria e suficiente para q
ii q condio necessria e suficiente para p

pq

pq