Você está na página 1de 32

Clculo Proposicional

Prof. Ruy Alexandre Generoso

CONCEITO DE PROPOSIO
PROPOSIO: Sentenas declarativas afirmativas da qual tenha sentido afirmar que seja verdadeira ou que seja falsa. Ou seja, Conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. Buenos Aires a capital do Brasil. A neve branca. Matemtica uma cincia.

CLCULO PROPOSICIONAL

Quando pensamos, efetuamos muitas vezes certas operaes a sobre de proposies, Estas clculo, um chamadas obedecem operaes regras lgicas.

denominado CLCULO PROPOSICIONAL.

CLCULO PROPOSICIONAL: Smbolos VARIVEIS PROPOSICIONAIS: letras latinas minsculas p, q, r, s,.... para indicar as proposies (frmulas atmicas). Exemplos: A lua quadrada: p A neve branca: q

CLCULO PROPOSICIONAL Proposies Simples

So proposies unitrias que no esto acompanhadas de outras proposies.

Exemplos: Aristteles era grego. Lgica no difcil.

CLCULO PROPOSICIONAL Proposies Compostas

Quando duas (ou mais) proposies vm conectadas entre si, formando uma s sentena. Exemplos: Tiago mdico e Filipe engenheiro. Ana trabalha ou Carlos descansa. Se chover amanh, ento no saio.

CLCULO PROPOSICIONAL: Conectivos


CONECTIVOS LGICOS: As frmulas atmicas podem ser combinadas entre si e, para representar tais combinaes usaremos os conectivos lgicos: : : : : ~ : e ou se...ento se e somente se no

CLCULO PROPOSICIONAL: Conectivos

Operao Conjuno Disjuno Negao Condicional Bicondicional e ou no

Conectivo

Smbolo ou

se ... ento se e somente se

CLCULO PROPOSICIONAL: Exemplos


A lua quadrada e a neve branca: p q (p e q so chamados conjuntos) A lua quadrada ou a neve branca: p q (p e q so chamados disjuntos) Se a lua quadrada ento a neve branca: p q (p o antecedente e q o conseqente) A lua quadrada se e somente se a neve branca: p q A lua no quadrada: ~p

CLCULO PROPOSICIONAL: Parnteses


SMBOLOS AUXILIARES : ( ) - parnteses que servem para denotar o "alcance" dos conectivos; Exemplos: Se a lua quadrada e a neve branca ento a lua no quadrada: ((p q) ~ p) A lua no quadrada se e somente se a neve branca: ((~ p) q)

CLCULO PROPOSICIONAL: Princpios


A lgica clssica governada por princpios que podem ser formulados como segue:
Princpio da Identidade: Todo objeto idntico a si mesmo. Princpio da Contradio: Dadas duas proposies contraditrias (uma negao da outra), uma delas falsa. 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, no existe uma terceira hiptese. Dadas duas proposies contraditrias, uma delas verdadeira.

CLCULO PROPOSICIONAL: Negao

Chama-se negao de uma proposio p a proposio representada por no p, cujo valor lgico a verdade (V) quando p falsa e a falsidade (F) quando p verdadeira

CLCULO PROPOSICIONAL: Negao


Pode-se expressar a negao: Antepondo-se o advrbio no ao verbo: p: O sol uma estrela ~p: O sol no uma estrela Antepondo-se expresses tais como no verdade que ou falso que: q: Carlos mecnico ~q: no verdade que Carlos mecnico ~q: falso que Carlos mecnico

CLCULO PROPOSICIONAL: Negao Proposio Simples A negao de todos os homens so cruzeirenses nem todos os homens so cruzeirenses e Nenhum homem atleticano Algum homem atleticano

CLCULO PROPOSICIONAL: Negao Proposio Composta: Conjuntiva ~(p e q) Nega-se o primeiro termo (~p); Nega-se o segundo termo (~q); Troca-se e por ou. Logo ~(p e q) = ~p ou ~q
ou

~(p q) = ~p ~q

CLCULO PROPOSICIONAL: Negao Proposio Composta: Conjuntiva


Exemplo: Tiago mdico e Filipe engenheiro. (p q)
Negando:

No verdade que Tiago mdico e Filipe engenheiro. ~ (p q)

Logo:

Tiago no mdico ou Filipe no engenheiro.

~p~q

CLCULO PROPOSICIONAL: Negao Proposio Composta: disjuntiva ~(p ou q) Nega-se o primeiro termo (~p); Nega-se o segundo termo (~q); Troca-se ou por e. Logo ~(p ou q) = ~p e ~q
ou

~(p q) = ~p ~q

CLCULO PROPOSICIONAL: Negao Proposio Composta: Conjuntiva


Exemplo: Tiago mdico ou Filipe engenheiro. (p q)
Negando:

No verdade que Tiago mdico ou Filipe engenheiro. ~ (p q)

Logo:

Tiago no mdico e Filipe no engenheiro.

~p~q

CLCULO PROPOSICIONAL: Negao Proposio Composta: Condicional ~(p q) Mantm-se o primeiro termo (p); Acrescenta-se o conectivo: e (); Nega-se o segundo termo (~q); Logo ~(p q) = p e ~q
ou

~(p q) = p ~q

CLCULO PROPOSICIONAL: Negao Proposio Composta: Condicional


Exemplo: Se eu casar, ento terei filhos. (p q)
Negando:

Logo:

Eu caso e no terei filhos.

p ~q

Eu caso e no terei filhos.

~ (p q) = p ~ q

CLCULO PROPOSICIONAL: Negao Proposio Composta: bicondicional ~(p q)


Faz-se duas proposies ligadas pelo conectivo OU da seguinte maneira: Proposio 1

Mantm-se o primeiro termo (p); Acrescenta-se o conectivo: e (); Nega-se o segundo termo (~q); p e ~q

CLCULO PROPOSICIONAL: Negao Proposio Composta: bicondicional


Proposio 2

Nega-se o o primeiro termo (~p); Acrescenta-se o conectivo: e (); Mantm-se segundo termo (q); ~p e q
Unindo a Proposio 1 com a Proposio 2 com o conectivo OU

(p e ~q) ou (~p e q) = (p ~q) (~p q)

CLCULO PROPOSICIONAL Resumindo

Estrutura pq pq pq pq ~p

Verdade se ambos forem V um dos dois for V demais casos p e q forem iguais pF

Falsidade se um dos dois for F ambos forem F pVeqF p e q forem diferentes pV

CLCULO PROPOSICIONAL: Negao Resumindo

Negao de pq pq pq pq

~p ~q ~p ~q p ~q p ~q q ~p

TABELA VERDADE

TABELA VERDADE: Negao


Tabela verdade da "negao" : ~p verdadeira (falsa) se e somente se p falsa (verdadeira).

p
V F

~p
F V

r: Roma a capital da Frana (F) ~r: Roma no a capital da Frana (V)

TABELA VERDADE: Conjuno


A V V F F B V F V F AB V F F F p pq q

Tabela verdade da "conjuno": a conjuno verdadeira se e somente os conjuntos so verdadeiros.

TABELA VERDADE: Disjuno inclusiva

A V V F F

B V F V F

AB V pq V V F p q

Tabela verdade da "disjuno": a disjuno falsa se, e somente, os disjuntos so falsos.

TABELA VERDADE: Disjuno exclusiva

A V V F F

B V F V F

AB F V V F

p: Carlos medico ou professor q: Mrio alagoano ou gacho p: Carlos medico V Carlos professor (inclusivo) q: Mrio alagoano V Mrio gacho (exclusivo) - L-se ou Mrio alagoano ou Mrio gacho

TABELA VERDADE: Implicao


A V V F F B V F V F AB V F V V p pq q

Tabela verdade da "implicao": a implicao falsa se, e somente se, o antecedente verdadeiro e o conseqente falso

TABELA VERDADE: Bi-implicao


A V V F F B V F V F AB V F F V p=q

Tabela verdade da "bi-implicao": a bi-implicao verdadeira se, e somente se seus componentes so ou ambos verdadeiros ou ambos falsos

TABELA VERDADE: Nmero de linhas Cada proposio simples tem dois valores V ou F, que se excluem. Para n proposies distintas, h tantas possibilidades quantos so os arranjos com repetio de 2 (V e F) elementos n a n. Segue-se que o nmero de linhas da tabela verdade 2n. Assim, para duas proposies so 22 = 4 linhas; para 3 proposies so 23 = 8; etc.