2014

Prof. Renato Cristiano Torres

01/06/2014
Matemtica Aplicada

Resumo
Contedo
1. Introduo - Matemtica ......................................................................................... 4
2. Lgica Moderna ........................................................................................................... 5
3. Lgica Proposicional .................................................................................................. 7
5. Construo de Tabelas-Verdade ......................................................................... 21
5.1. Proposies compostas e tabelas-verdade ............................................. 21
5.2. Uso de parnteses e ordem de precedncia .......................................... 22
5.3. Exemplos de construo de tabelas-verdade de uma proposio
composta ............................................................................................................................. 24
6. Valor lgico de uma proposio composta ..................................................... 27
7. Tautologias, contradies e contingncias ..................................................... 30
7.1. Tautologias .......................................................................................................... 30
7.2. Princpio de substituio para as tautologias ......................................... 32
7.3. Contradio ......................................................................................................... 32
7.4. Contingncia ....................................................................................................... 33
8. Implicao Lgica Equivalncia lgica .......................................................... 35
8.1. Implicao Lgica ............................................................................................. 35
8.2. Teorema condicional e implicao lgica............................................. 37
8.3. Substituio na implicao lgica. ............................................................. 38
8.4. Equivalncia lgica ........................................................................................... 38
8.6. Substituio na equivalncia lgica ........................................................... 40
9. Argumentos e Regras de Inferncias ................................................................ 45
9.1. Validade ................................................................................................................ 45
9.2. Regras de inferncia- Argumentos vlidos fundamentais ................ 46
10. Reduo do nmero de conectivos, formas normais e conectivos de
Scheffer .................................................................................................................................... 49
10.2. Forma Normal das Proposies ................................................................... 50
Exemplos As expresses em negrito representam FND: .............................. 52
10.3. Conectivos de Scheffer ................................................................................... 53

RESUMO
Este material tem objetivo de facilitar o aprendizado dos alunos no seu primeiro contato com o
formalismo da lgica matemtica. As lgebras e proposies lgicas so a base para
programao de computadores e da computao como um todo, por isso a sua importncia.

1. Introduo - Matemtica

A atividade matemtica, tanto ao nvel relativamente elementar do Ensino
Bsico e Secundrio como a nveis mais profissionais, tem um carter
multifacetado, que inclui, por exemplo:
a) A utilizao e construo de algoritmos para resolver, de modo
sistemtico, questes com que os deparamos com freqncia;
b) A abstrao em que se apoia, possibilita a soluo de problemas novos;
c) A capacidade de reconhecer semelhanas em situaes aparentemente
diferentes, que permitam trat-las de modo unificado;
d) A realizao de experincias que permitam formular conjecturas a serem
verificadas posteriormente.




A capacidade de clarificar conceitos e a de argumentar, isto , a de adquirir
(e transmitir) certezas a propsito da validade de certas afirmaes, a partir
do reconhecimento da validade de outras, normalmente mais simples.
Essa capacidade de clarificar conceitos (apresentar definies) e de
argumentar (exibir demonstraes), capacidade a que, de forma
simplificada, daremos o nome de raciocnio lgico, ou raciocnio
matemtico, parece ter surgido historicamente, de forma sistemtica, h
mais de dois mil anos com a Escola dos gemetras gregos e desenvolve-se
gradualmente ao longo da vida de muitos de ns. No entanto, num nmero
grande de casos, constata-se o aparecimento de bloqueadores que
impedem muitas pessoas de raciocinar corretamente em termos lgicos,
mesmo em situaes por muitos considerados como extremamente simples.
Muitos dos aspectos referidos so compartilhados com outras atividades, em
particular com as cincias com carter mais experimental. H, no entanto, um
aspecto que, coexistindo com os restantes e no os substituindo,
especialmente distintivo da atividade, a Matemtica.

2. Lgica Moderna

Fundada por George Boole (1815/11864) e por Gottlob Frege
(1848/1925) no sc. XIX, apesar de pertencer a Bertrand Russel
(1873/1970) e a Alfred N. Whitehead (1861-1947) o primeiro tratado
sobre a Lgica Moderna, Principia Mathematica (1919/1913). Este tratado
constitui uma obra clssica fundamental sobre a Lgica Moderna, tambm
designada por Logstica, Lgica Simblica ou ainda de Lgica Matemtica.

A lgica usada por Carroll, no seu trabalho, aparece em oposio Lgica
Antiga fundada por Aristteles na Antiguidade, que lhe valeu o ttulo de: Pai
da Lgica. Segundo Aristteles a lgica era uma disciplina de natureza
filosfica, organizando-se a partir de uma anlise filosfica dos caracteres
prprios do nosso pensamento e da maneira como o nosso pensamento se
refere ao real. No princpio da Idade Moderna, certas cincias foram
progressivamente afastando-se da filosofia para se apoiarem em
verificaes empricas - passam a seguir o ideal da cincia positiva - sem
pretenso direta "inteligibilidade filosfica" - o ideal que era defendido
desde a antiguidade e para o qual convergiam todas as cincias quando
procuravam organizar as suas afirmaes a partir da essncia dos objetos.
A ltima das cincias a afastar-se da filosofia foi a Lgica.



O formalismo lgico atraente por sugerir, imediatamente, uma maneira
poderosa de derivar novos conhecimentos a partir dos (antigos) j
adquiridos. A essa derivao damos o nome de deduo matemtica.
Deste formalismo, podemos concluir que uma nova frase verdadeira,
provando que ela conseqncia de declaraes j conhecidas. Assim, a
idia de uma prova, conforme desenvolvida na matemtica, como uma
Segundo Enderton (1972), a lgica matemtica "um modelo matemtico
do pensamento dedutivo". J Quine, em seu livro a filosofia da lgica
(1970), diz que a lgica o "estudo sistemtico das verdades lgicas".

maneira rigorosa de demonstrar a verdade de uma proposio em que j se
acreditava, pode ser ampliada para incluir a deduo como uma maneira de
derivar, alm de respostas a perguntas, solues de problemas. Devido a
este fato, a lgica possui diversas aplicaes, como por exemplo:

Projeto e simplificao de circuitos digitais.
Verificao de programas.
Especificao formal de softwares.
Formalizao de teorias em geral.
Sistemas de Inteligncia Artificial.
Linguagens de consulta em Banco de Dados.

A Lgica Matemtica possui muitas denominaes e classificaes, podendo
ser chamada de lgica clssica ou lgica simblica. A lgica pode ser
dividida, segundo os objetos que suas variveis denotam, da seguinte
forma:

Lgica Proposicional (ou de zero ordem) as variveis
denotam proposies.
Lgica de Primeira Ordem (ou Lgica de Predicados) as
variveis denotam indivduos do domnio.
Lgica de Segunda Ordem as variveis denotam
indivduos do domnio e relaes.

Lgica
Matemtica

3. Lgica Proposicional




Chama-se proposio todo o conjunto de palavras ou smbolos que
exprimem um pensamento de sentido completo. As proposies, portanto,
exprimem pensamentos, ou seja, afirmam fatos ou exprimem juzos que
formamos a respeito de determinados entes.
Toda forma de comunicao tem sua linguagem prpria, a linguagem a
representao do pensamento humano atravs de um discurso adequado
aos ouvintes. A lgica tambm tem sua linguagem, que representada por
proposies, uma proposio pode sem simples ou composta.
a) Porto Alegre a capital do Rio Grande do Sul;
b) 5 x 3 = 15;
c) A Frana fica na Europa;
d) 3,1416;
Todas as proposies acima so verdadeiras. Entretanto,
proposies podem ser falsas:
a) 12 3 = 7;
b) A Austrlia est localizada na Amrica do Sul;
c) um nmero inteiro;
d) A metade de 16 9.

Consideremos as seguintes sentenas:

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
Braslia capital da Argentina.
Oi, tudo bem, como voc est ?
Ele muito talentoso.
Existe vida em outros planetas do universo.

A sentena (a) uma proposio, j que falsa.
A sentena (b) no pode ser considerada falsa ou verdadeira, pois uma
pergunta, ela no tem valor verdadeiro nem falso e, portanto, no uma
proposio.
A sentena (c) no nem falsa nem verdadeira, pois ela no est
especificada; por isso no uma proposio.
A sentena (d) uma proposio j que falsa ou verdade; no
necessrio sermos capazes de decidir qual das alternativas so vlidas.
Proposies so expresses a respeito das quais tem sentido dizer que so
verdadeiras ou falsas;
Para uma proposio, so dois os possveis valores lgicos:
VERDADE (V): ocorre quando a proposio verdadeira;
FALSIDADE (F): ocorre quando a proposio falsa;

Existem dois axiomas fundamentais na Lgica Matemtica:
Princpio da No Contradio: Uma proposio no pode ser
verdadeira e falsa ao mesmo tempo;
Princpio do Terceiro Excludo: Toda a proposio verdadeira ou
falsa, isto , verifica-se sempre um desses casos e nunca um terceiro.
Desta forma, podemos dizer que toda a proposio tem um e somente
um dos valores lgicos possveis, V ou F;
Assim, por exemplo, considerando as proposies:
O golfinho um animal mamfero;
Kingston a capital do Egito;
Pode-se afirmar que o valor lgico da primeira proposio VERDADE (V) e
o valor lgico da segunda proposio FALSIDADE (F).

As proposies simples tambm so conhecidas como tomos ou
proposies atmicas; So aquelas que no contm nenhuma outra
proposio em suas estruturas; Geralmente, utiliza-se as letras minsculas
p, q, r, s, ... para designar as proposies simples, como nos exemplos:
p: Maria professora;
q: O dia est nublado;
r : 36 / 6 = 6.
As proposies compostas Tambm chamadas de proposies
moleculares ou molculas, so aquelas formadas pela combinao de
duas ou mais proposies. Geralmente, utiliza-se as letras maisculas P, Q,
R, S, ... para designar as proposies compostas, como nos exemplos:
P: 26 um nmero par e tomates so vermelhos;
Q: Lusa brasileira ou Ricardo mexicano;
R: Se a casa verde, ento o sol est brilhando;
S: No est calor se e somente se est chovendo.
Utilizamos uma notao para indicar o valor lgico de uma proposio
simples:
V(p) = V ou V(p) = F
A mesma notao pode ser utilizada para indicar o valor lgico de uma
proposio composta:
V(P) = V ou V(Q) = F
Assim, para as proposies abaixo:
p: A lua roxa
q: O Sol maior do que a Terra
Temos que V(p) = F, V(q) = V.
As operaes lgicas sobre proposies esto subordinadas a um conjunto
de regras do clculo proposicional, da mesma forma que as operaes
aritmticas possuem regras relativas aos nmeros;
Tabela-verdade: representa o domnio dos valores lgicos possveis para
determinadas proposies compostas, consideradas todas as combinaes
possveis entre as proposies simples componentes;As principais
operaes lgicas sobre proposies so: negao, conjuno, disjuno,
disjuno exclusiva, condicional e bicondicional;

Conectivos e Valores Lgicos

Um conectivo um artifcio da linguagem usado para ligar uma frase
outra e formar sentenas de fatos. Os conectivos lgicos servem para
combinar valores e essa combinao denominada proposio composta.





A combinao dos valores lgicos de sentenas e seus resultados geram
tabelas-verdade, que so utilizadas para visualizarmos com facilidade
quais os valores de entrada resultaro em um resultado verdadeiro ou falso.

Se combinarmos as seguintes afirmaes verdadeiras, Elefantes so grandes e
Bolas de futebol so redondas, usando o conectivo e, obtemos a seguinte
proposio verdadeira Elefantes so grandes e bolas de futebol so redondas.

4. Conectivos Lgicos

Negao
A negao de uma proposio p a proposio representada por no p e
indicada por ~p;
A negao de uma proposio qualquer possui sempre o valor lgico oposto ao
da proposio a que se refere, ou seja:
V(p) = V V(~p) = F da se conclui que ~V = F
V(p) = F V(~p) = V da se conclui que ~F = V

Tabela-verdade
p ~p
V F
F V

Exemplos (Negao (~) )
p: 6 + 3 = 9 (V); ~p: 6 + 3 9 (F)
q: 5 > 8 (F); ~q: 5 8 (V)
r: A Costa Rica fica na Europa (F);
~r: A Costa Rica no fica na Europa (V);
Existe mais de uma maneira de efetuar a negao de uma proposio em
linguagem corrente. Assim a negao de s: A chuva um fenmeno climtico
pode ser:
~s: A chuva no um fenmeno climtico;
~s: No verdade que a chuva um fenmeno climtico;
~s: falso que a chuva seja um fenmeno climtico;
Observaes:
t: Toda a mulher bonita; ~t: Nem toda mulher bonita;
u: Nenhum jogador bom; ~u: Algum jogador bom;

Conjuno (^)
A conjuno de duas proposies quaisquer p,q a proposio representada
por p e q, ocorrendo o valor lgico V quando ambas proposies simples so
verdadeiras e o valor lgico F nos demais casos;
A conjuno de p,q indicada por p ^ q (l-se p e q);
V^V = V F^V = F
V^F = F F^F = F

a) p: Mark Knopfler cantor (V)
q: 50 + 25 = 75 (V)
p ^ q: Mark Knopfler cantor e 50+25=75 (V);
V(p ^ q) = V

b) p: Plato era discpulo de Scrates (V)
q: Pitgoras era chins (F)
p ^ q: Plato era discpulo de Scrates e Pitgoras era chins (F);
V(p ^ q) = F

c) p: O rubi azul (F)
q: A esmeralda verde (V)
p ^ q: O rubi azul e a esmeralda verde (F);
V(p ^ q) = F

d) p: A raiz quadrada de 25 2 (F)
q: 7
2
= 15 (F)
p ^ q: A raiz quadrada de 25 2 e 7
2
= 15 (F);
V(p ^ q) = F
Observaes:
p: O sol azul (F)
q: Auckland a capital da Nova Zelndia (V)
p ^ q: O sol azul e Auckland a capital da Nova Zelndia (F); V(p ^ q) = F
V(p ^ q) = F, mas ~p: O sol no azul. Assim:
V(~p ^ q) = V ^ V = V

Disjuno (v)
A disjuno de duas proposies quaisquer p,q a proposio representada
por p ou q, ocorrendo o valor lgico F quando ambas proposies simples so
falsas e o valor lgico V nos demais casos;
A disjuno de p,q indicada por p v q (l-se p ou q);
VvV = V FvV = V
VvF = V FvF = F

Exemplos (Disjuno (v) )
a) p: Dante escreveu A Divina Comdia (V)
q: Cames escreveu Os Lusadas (V)
p v q: Dante escreveu A Divina Comdia ou Cames
escreveu Os Lusadas (V);
V(p v q) = V

b) p: Pel o Rei do Futebol (V)
q: Belchior dinamarqus (F)
p v q: Pel o Rei do Futebol ou Belchior dinamarqus (V);
V(p v q) = V

c) p: A Terra quadrada (F)
q: Jpiter um planeta (V)
p v q: A Terra quadrada ou Jpiter um planeta (V);
V(p v q) = F

d) p: Jorge Amado era gacho (F)
q: Castro Alves era ingls (F)
p v q: Jorge Amado era gacho ou Castro Alves era ingls (F);
V(p v q) = F
Observaes:
p: 5 + 3 = 8 (V)
q: 14 < 10 (F)
p v q: 5 + 3 = 8 ou 14 < 10 (V)
V(p v q) = V, mas ~p: 5 + 3 8. Assim:
V(~p v q) = F v F = F

Disjuno Exclusiva (v)
A disjuno exclusiva de duas proposies quaisquer p,q a proposio
representada por ou p ou q (p ou q, mas no ambos), ocorrendo o valor
lgico V quando uma das proposies simples componentes verdadeira e
a outra falsa V(p) = V e V(q) = F ou V(p) = F e V(q) = V e o valor
lgico F quando as proposies simples componentes so verdadeiras ao
mesmo tempo ou falsas ao mesmo tempo V(p) = V e V(q) = V ou V(p) =
F e V(q) = F;
A disjuno exclusiva de p,q indicada por p v q (l-se ou p ou q);
VvV = F FvV
VvF = V FvF = F

Exemplos (Disjuno Exclusiva (v) )
a) p: Moscou a capital da Rssia (V)
q: Madrid a capital da Espanha (V)
p v q: Ou Moscou a capital da Rssia ou Madrid a capital da
Espanha (F);
V(p v q) = F

b) p: Alexandre foi imperador da Macednia (V)
q: Mens foi rei da Prssia (F)
p v q: Ou Alexandre foi imperador da Macednia ou Mens foi rei da
Prssia (V);
V(p v q) = V


c) p: Fortaleza fica na Bahia (F)
q: Fortaleza fica no Cear (V)
p v q: Ou Fortaleza fica na Bahia ou Fortaleza fica no Cear (V);
V(p v q) = V

d) p: 5 + 5 = 11 (F)
q: (30 15) > 15 (F)
p v q: Ou 5 + 5 = 11 ou (30 15) > 15 (F);
V(p v q) = F
Observaes:
p: O sal branco (V)
q: O sal preto (F)
p v q: Ou o sal branco ou o sal preto (V)
V(p v q) = V, mas ~p: O sal no branco. Assim:
V(~p v q) = F v F = F

Condicional ( )
Uma condicional envolvendo duas proposies quaisquer p,q a proposio
representada por Se p, ento q, ocorrendo o valor lgico F se a primeira
proposio (no caso, p) verdadeira e a segunda proposio (no caso, q)
falsa. O valor lgico V ocorre nos demais casos;
A condicional de p,q indicada por p q, que pode ser lida de uma das 3
maneiras seguintes:
Se p, ento q;
p condio suficiente para q;
q condio necessria para p.
Em p q, diz-se que p o antecedente e q o consequente.
a) p: 5 um nmero inteiro (V)
q: Alberta fica no Canad (V)
p q: Se 5 um nmero inteiro, ento Alberta fica no
Canad (V);
V(p q) = V

b) p: O carnaval em fevereiro (V)
q: Edmonton fica na Austrlia (F)
p q: Se o carnaval em fevereiro, ento Edmonton fica na Austrlia (F);
V(p q) = F

c) p: Machado de Assis escreveu O Ateneu (F)
q: Um tringulo tem 3 lados (V)
p q: Se Machado de Assis escreveu O Ateneu ento um tringulo
tem 3 lados (V);
V(p q) = V

d) p: 5 x 5 = 50 (F)
q: (30 15) > 10 (F)
p q: Se 5 x 5 = 50 ento (30 15) > 10 (V); V(p q) = V
Observaes:
Na condicional, no existe a afirmao de que o consequente
consequncia do antecedente ou, ainda, que o consequente deduzido partir
do antecedente. No exemplo a, no est sendo feita a afirmao de que o fato
de Alberta ficar no Canad deduzido do fato de 5 ser um nmero inteiro.

Bicondicional ( )
A bicondicional consiste em uma proposio representadas por p se e
somente se q, ocorrendo o valor lgico V quando a primeira e a segunda
proposies so ambas verdadeiras ou ambas falsas e o valor lgico F nos
demais casos. A bicondicional de duas proposies indicada por p q, a
qual pode ser lida de uma das trs maneiras seguintes:
a) p se e somente se q;
b) p condio suficiente e necessria para q;
c) q condio suficiente e necessria para p.

V V = V F V = F
V F = F F F = V


Exemplos:

a) p: 4 um nmero par (V)
q: 5 um nmero mpar (V)
p q: 4 um nmero par se e somente se 5 um nmero mpar (V)
Neste exemplo, V(p q) = V

b) p: Genebra fica na Sua (V)
q: Dublin fica na Holanda (F)
p q: Genebra fica na Sua se e somente se Dublin fica na Holanda (F)
Neste exemplo, V(p q) = F

c) p: A moeda da Frana o rublo (F)
q: A lua satlite da Terra (V)
p q: A moeda da Frana o rublo se e somente se a lua satlite da Terra
(F)
Neste exemplo, V(p q) = F

d) p: Deep Purple toca msica sertaneja (F)
q: Bruce Dickinson vocalista do Aerosmith (F)
p q: Deep Purple toca msica sertaneja se e somente se Bruce Dickinson vocalista do
Aerosmith (V)
Neste exemplo, V(p q) = V

5. Construo de Tabelas-Verdade

5.1. Proposies compostas e tabelas-verdade

Vrias proposies simples podem ser combinadas atravs dos conectivos
lgicos, ^,v, , para a construo de proposies compostas. Por
exemplo, P(p,q)=~p^(p q), q(p,q)=(p ~q^r)v(qv(p r)). Assim atravs
das tabelas-verdade das operaes lgicas fundamentais, como foi visto
anteriormente, pode-se construir uma tabela-verdade para qualquer
proposio composta, de maneira a conhecer em que casos tal proposio
ser verdadeira ou falsa.

Nmero de linhas de uma tabela-verdade

O nmero de linhas da tabela-verdade de uma proposio composta dado
pelo nmero de proposies simples que a integram, de forma que uma
proposio composta com n proposies simples gera uma tabela-verdade
com 2
n
linhas.

Assim, uma tabela-verdade de uma proposio composta com duas
proposies simples contm 4 linhas (2
2
=4), com 3 proposies simples
contm 8 linhas (2
3
=8).

Abaixo a estrutura da tabela-verdade de P(p,q,r,s)=(p ~q)v(r^s) p.

p q r s (p ~q)v(r^s) p
V V V V
V V V F
V V F V
V V F F
V F V V
V F V F
V F F V
V F F F
F V V V
F V V F
F V F V
F V F F
F F V V
F F V F
F F F V
F F F F
Estrutura para tabela-verdade com 16 linhas (2
4
)

5.2. Uso de parnteses e ordem de precedncia

Para evitar problemas na interpretao das proposies compostas devem
ser colocados parnteses, sempre que necessrio. A proposio composta p
^ q v r d margem para mais de uma interpretao, pois pode ser escrita
como (p ^ q) v r ou p ^ (q v r). So proposies diferentes: na primeira o
conectivo principal uma disjuno, enquanto que na segunda, uma
conjuno.

necessrio conhecer a ordem de precedncia para os conectivos, que a
seguinte :

1) ~ (negao)
2) ^ e v (conjuno e disjuno)
3) (condicional)
4) (bicondicional)

Alguns exemplos:

a) p q s^r

Da maneira como est, essa proposio uma bicondicional. No caso de
descobrir seus valores lgicos, atravs de uma tabela-verdade, deve-se
seguir a ordem de precedncia, sendo que ser a ltima operao a
ser realizada;

b) p (q s^r)
Agora a proposio uma condicional, devido aos parnteses, que
obriga, que seja resolvida por ltimo, tocando a ordem de
precedncia;

c) (p q s)^r
A proposio acima uma conjuno, ^ ser a ltima operao a ser
realizada.

d) p ((q s)^r)
A proposio acima uma condicional, sendo que primeiro ser resolvida
a operao lgica contida nos parnteses mais internos (q s) depois, a
operao contida nos parnteses mais externos e, por ltimo a
condicional.

e) (p q) (s^r)
Devido a ordem de precedncia os parnteses podem ser eliminados
sem qualquer problemas.



5.3. Exemplos de construo de tabelas-verdade de uma
proposio composta

a) P(p,q) = ~(p^~q)

Esta proposio composta uma negao, cuja tabela-verdade tem
2
2
=4 linhas. Para sua resoluo (e de todas as outras proposies
compotas), usando-se as tabelas-verdade das operaes lgicas
fundamentais.

p q ~ (p ^ ~ q)
V V V V F F V
V F F V V V F
F V V F F F V
F F V F F V F

Assim, escreve-se P(VV,VF,FV,FF)=VFVV
b) P(p,q) = ~(p^q)v~(q p)

Esta proposio composta uma disjuno, cuja tabela-verdade tem
2
2
=4 linhas.


p q ~ (p ^ q) v ~ (q p)
V V F V V V F F V V V
V F V V F F V V F F V
F V V F F V V V V F F
F F V F F F V F F V F

Assim, escreve-se:
P(VV,VF,FV,FF) = F V V V
c) P(p,q,r) = pv~r q^~r
Esta proposio composta uma condicional, cuja tabela-verdade tem 2
3

=8 linhas.

p q r p v ~ r q ^ ~ r
V V V V V F V F V F F V
V V F V V V F V V V V F
V F V V V F V F F F F V
V F F V V V F F F F V F
F V V F F F V V V F F V
F V F F V V F V V V V F
F F V F F F V V F F F V
F F F F V V F F F F V F

Assim escreve-se: P(VVV,VVF,VFV,VFF,FVV,FVF,FFV,FFF)=F V F F V V V F
d) P(p,q,r) = (p q)^(q r) (p r)

Esta proposio composta uma condicional, cuja tabela-verdade tem 2
3
=8
linhas.
p q r (p q) ^ (q r) (p r)
V V V V V V V V V V V V V V
V V F V V V F V F F V V F F
V F V V F F F F V V V V V V
V F F V F F F F V F V V F F
F V V F V V V V V V V F V V
F V F F V V F V F F V F V F
F F V F V F V F V V V F V V
F F F F v F v F v F V F V F

Assim, escreve-se:
P(VVV,VVF,VFV,VFF,FVV,FVF,FFV,FFF) = V V V V V V V V
e) P(p,q,r) = (p (~qvr))^~(qv(p ~r))

Esta proposio composta uma conjuno, cuja tabela-verdade tem 2
3
=8
linhas.

p q r (p (~ q v r)) ^ ~ (q v (p ~ r))
V V V V V F V V V F F V V V F F V
V V F V F F V F F F F V V V V V F
V F V V V V F V V V V F F V F F V
V F F V V V F V F F F F V V V V F
F V V F V F V V V F F V V F V F V
F V F F V F V F F F F V V F F V F
F F V F V V F V V F V F F F V F V
F F F F V V F V F V F F V F F V F

Assim, escreve-se:

P(VVV,VVF,VFV,VFF,FVV,FVF,FFV,FFF) = F F V F F F F V


6. Valor lgico de uma proposio composta

Uma vez que se conhea o valor lgico de todas as proposies simples de
uma proposio composta, ou, em alguns casos, os valores lgicos de
alguma(s) da(s) proposies simples, pode-se determinar o valor lgico da
proposio composta.

a) Determinar o valor lgico da proposio composta P, sabendo que
V(p)=V e V(q)=F, para P(p,q)=~(pvq) ~p^~q

V(P) = ~(V v F) ~V ^ ~ F
V(P)= ~ V F ^ V
V(P)= F F
V(P)= V

b) Determinar o valor lgico da proposio composta P, onde
P(p,q)=(p q) (p p^q), sabendo que p: =3 e q: 7 < 3

V(P) = (F F) (F F^F)
V(P) = V (F F)
V(P) = V V
V(P) = V

c) Determinar o valor lgico da proposio composta P, onde p(p,q,r) =
(q (r ~p))v((~q p) r), sabendo que V(p)=V,V(q)=F e V(r)=F

V(P) = (F (F ~V)) v ((~F V) F)
V(P) = (F (F F)) v (( V V) F)
V(P) = (F V)v(V F)
V(P) = F v F
V(P) = F

d) Determinar o valor lgico da proposio composta P, onde P(p,q,r) =
p ~qvr, sabendo que V(r) = F

V(P) = p ~q v V

Na expresso acima, devido a ordem de precedncia, a disjuno
deve ser resolvida primeiro, apesar de no se conhecer V(q). (No
caso da disjuno, o valor lgico de uma proposio composta s ser
F, quando as duas proposies simples tiverem o valor lgico F),
portanto podemos deduzir que o valor da segunda proposio ~q v V
tem o valor lgico V, mesmo no conhecendo o valor V(q).

Logo resulta em : V(P)=p V, desta forma (veja tabela-verdade
condicional) teremos :
V(P)=V




e) Determinar o valor lgico da proposio composta x 0 v x y y
z, sabendo que as proposies x=0 e x=y so verdadeiras e a
proposio y=z falsa.

V(P) = ~V v ~V ~F
V(P) = F v F V
V(P) = F V
V(P) = V

7. Tautologias, contradies e contingncias

7.1. Tautologias

Uma tautologia uma proposio comporta que, uma vez obtida sua
tabela-verdade, dar como resultado em sua ltima coluna somente o valor
lgico V (verdade), o que o mesmo que afirmar que tautologia toda
proposio composta P(p,q,r) cujo valor lgico sempre V (verdade),
quaisquer que sejam os valores lgicos das proposies simples
componentes p,q,r.....

1-) As proposies p p e p p so tautolgicas (princpio da identidade
para proposies)


p p P
V V V V
F F V F

2-) A proposio ~(p ^ ~p) (Princpio da no contradio) uma
tautologia.


p ~ (p ^ ~ p)
V V V F F V
F V F F V F

sempre verdadeiro que uma proposio no pode ser verdadeira e falsa
ao mesmo tempo.

3-) O princpio do terceiro excludo, dado pela proposio p v ~p, uma
tautologia.



p p ^ ~ P
V V V F V
F F V V F

4-) Outros Exemplos:

p v ~(p ^ q)

p q p v ~ (p ^ q)
V V V V F V V V
V F V V V V F F
F V F V V F F V
F F F V V F F F

p v (q ^ ~q) p

p Q p v (q ^ ~ q) P
V V V V V F F V V V
V F V V F F V F V V
F V F F V F F V V F
F F F F F F V F V F

((p q) r) (p (q r))

p q r ((p q) r) (p (q r))
V V V V V V V V V V V V V V
V V F V V V F F V V F V F F
V F V V F F V V V V V F V V
V F F V F F V F V V V F V F
F V V F V V V V V F V V V V
F V F F V V F F V F V V f F
F F V F V F V V V F V F V V
F F F F v F F F V F V F V F

7.2. Princpio de substituio para as tautologias

Se P(p,q,r...) uma tautologia, ento Q(P
0
,Q
0
,R
0
...) tambm uma
tautologia, quaisquer que sejam as proposies P
0
,Q
0
,R
0
..., desde que se
substituia p por P
0,
q porQ
0
, r por R
0
e assim por diante.

Conforme j demonstrado na aula anterior, P(p,q) = p v (q ^ ~q) p
uma tautologia. Sejam as proposies compostas P
0
(p,q) = p q e Q
0
= q
p. Substituindo p por P
0
e q por Q
0
, tem-se a proposio:

P(P
0,
Q
0
)=(p q)v((q p) ^ ~(q p)) (p q)

p q (p q) v ((q p) ^ ~ (q p)) (p q)
V V V V V V V V V F F V V V V V V V
V F V F F F F F V F V F F V V V F F
F V F V V V V F F F V V F F V F V V
F F F v F v F v F F F F V F V F V F


7.3. Contradio

Uma contradio uma proposio composta que, uma vez obtida sua
tabela-verdade, dar como resultado em sua ltima coluna somente o valor
lgico F (falsidade), o que o mesmo que afirmar que contradio toda
proposio composta P(p,q,r...) cujo valor lgico sempre F (falsidade),
quaisquer que sejam os valores lgicos das proposies simples
componentes p,q,r...

A negao de uma tautologia, que sempre verdadeira, uma contradio,
e vice-versa. Pode-se chamar uma contradio de proposio contravlida
ou proposio logicamente falsa.

1) A proposio p ^ ~p uma contradio, ou seja, sempre falso que
uma proposio pode ser falsa e verdadeira ao mesmo tempo.


p p ^ ~ p
V V F V V
F F F F F

2) Outros exemplos
p ~p
p p ~ p
V V F V V
F F F F F

(p ^ q) ^ ~ (p v q)

p q (p ^ q) ^ ~ (p v q)
V V V V V F F V V V
V F V F F F F V V F
F V F F V F F F V V
F F F F F F V F F F

7.4. Contingncia

Uma contingncia uma proposio composta que, uma vez obtida sua
tabela-verdade, dar como resultado em sua ltrima coluna os valores
lgicos V (verdade) e F (falsidade), cada um deles pelo menos uma vez.
Assim, diz-se que uma contingncia qualquer proposio que no
nem tautologia, nem contradio.

p ~p

p p ~ p
V V F F V
F F V V F
p v q p

p q p v q p
V V V V V V V
V F V V F V V
F V F F V F F
F F F V F V F


8. Implicao Lgica Equivalncia lgica

8.1. Implicao Lgica

Uma proposio qualquer implica (ou implica logicamente) outra proposio
se, e semonete se, no ocorrer o valor lgico F (falso) na segunda
proposio considerada quando ocorrer o valor lgico V (Verdadeiro) na
primeira proposio.
Assim, das as proposio P(p,q,r,...) e Q(p,q,r,...), pode-se dizer que a
primeira implica a segunda se, nas ltimas colunas das tabelas-verdade
destas proposies, no ocorrerem os valores lgicos V para P(p,q,r,...) e F
para Q(p,q,r,...) em uma mesma linha. Para indicar que a proposio
P(p,q,r,...) implica a proposio Q(p,q,r,...), escreve-se P(p,q,r,...)
Q(p,q,r,...).

Exemplos:

1) p ^ q, p v q, p q

p q p ^ q p v q p q
V V V V V V V V V V V
V F V F F V V F V F F
F V F F V F V V F F V
F F F F F F F F F V F

p ^ q p v q p ^ q p q
p p v q q p v q (Regra de inferncia: Adio)
p ^ q p p ^ q q (Regra de inferncia: Simplificao)

Veja que p v q NO IMPLICA p ^ q (na segunda e terceira linha da tabela-
verdade de p v q ocorre o valor lgico V, que tm o valor lgico F como
correspondentes nas linhas respectivas de p ^ q alis, bastaria que uma
correspondncia V F ocorresse para descartas a implicao).


2) (p v q) ^~p, (p v q) ^ ~q

p Q (p v q) ^ ~ p (p v q) ^ ~ q
V V V V V F F V V V V F F V
V F V V F F F V V V F V V F
F V F V V V V F F V V F F V
F F F F F F V F F F F F V F

(p v q) ^ ~p p (Regra de inferncia: silogismo disjuntivo)
(p v q) ^ ~q q (Regra de inferncia: silogismo disjuntivo)

3) (p q) ^ p

p q (p q) ^ p
V V V V V V V
V F V F F F V
F V F V V F F
F F F V F F F

(p q) ^p p (Regra de inferncia: modus ponens)
(p q) ^p q

4) (p q) ^~q ,~p

p Q (p q) ^ ~ q ~ p
V V V V V F F V F V
V F V F F F V F F V
F V F V V F F V V F
F F F V F V V F V F


(p q) ^~q ~p (Regra de inferncia: modus tollens)

8.2. Teorema condicional e implicao lgica

Uma proposio qualquer P(p,q,r...) implica uma outra proposio qualquer
Q(p,q,r...) se, e somente se, a condicional representada por P(p,q,r...)
Q(p,q,r...) tautolgica. Isto porque se P(p,q,r...) Q(p,q,r...), ento
no ocorre, os valores lgicos V e F em linhas simultneas. Logo, a
condicional s pode ser tautolgica.

Exemplo:
1) (p q)^ (q r), (p r)

Verificando se a condicional formada por (p q)^ (q r) (p r)
tautolgica:

p q r (p q) ^ (q r) (p r)
V V V V V V V V V V V V V V
V V F V V F F F F F V V F F
V F V V F V F V V V V V V V
V F F V F F F F V F V V F F
F V V F V V V V V V V F V V
F V F F V F F F F F V F V F
F F V F V V V V V V V F V V
F F F F V F V F V F V F V F

A condiciona acima tautolgica. Ento (p q)^ (q r) (p r) (Regra de
Inferncia: silogismo hipottico).
2) p ^ ~p, q
Verificando se a condicional formada por p ^ ~p q tautolgica:

p q p ^ ~ p q
V V V F F V V V
V F V F F V V F
F V F F V F V V
F F F F V F V F

8.3. Substituio na implicao lgica.

Condiderando o princpio de substituio se P(p,q,r...) Q(p,q,q...), ento
P(P
0
,Q
0
,R
0
...) Q(P
0
,Q
0
,R
0
...), quaisquer que sejam as proposies
P
0
,Q
0
,R
0
...

Propriedades da implicao lgica

a) reflexiva: P(p,q,r,...) P(p,q,r,...)
b) transitiva:

Se P(p,q,r,...) Q(p,q,r,...) e
Q(p,q,r,...) R(p,q,r,...) ento
P(p,q,r,...) R(p,q,r,...)

8.4. Equivalncia lgica

Uma proposio qualquer P(p,q,r,...) equivalente (ou logicamente
equivalente) a outra proposio qualquer Q(p,q,r) se, e somente se, as
ltimas colunas das tabelas-verdade destas proposies so idnticas.
Indica-se por P(p,q,r...) Q(p,q,r...).

1) ~~p,p
p ~ ~ p
V V F V
F F V F

~~p p (Regra da dupla negao)







2) p q, ~p v q

p q p q ~ p v q
V V V V V F V V V
V F V F F F V F F
F V F V V F F V V
F F F V F v F V F


p q, ~p v q Regra da substituio da condicional
3) p p ^q, p q

p q p p ^ q p q
V V V V V V V V V V
V F V F V F F V F F
F V F V F F V F V V
F F F V F F F F V F


p p ^q p q (Regra de substituio da condicional)

8.5. Teorema Bicondicional e equivalncia lgica

Uma proposio qualquer P(p,q,r,...) equivalente a outra proposio
qualquer Q(p,q,r,..) se, e somente se, a bicondicional representada por
P(p,q,r,...) Q(p,q,r...) tautolgica. Isto porque se P(p,q,r,...)
(p,q,r,...), ou seja, onde ocorrer o valor lgico V em P(p,q,r,...) ocorrer
o mesmo em Q(p,q,r,..). O mesmose d com o valor lgico F. Logo, a
bicondicional s pode ser tautolgica.


Exemplo:
1) p ^ q r, p (q r)

p q r (p ^ q) r) (p (q r))
V V V V V V V V V V V V V V
V V F V V V F F V V F V F F
V F V V F F V V V V V F V V
V F F V F F V F V V V F V F
F V V F F V V V V F V V V V
F V F F F V V F V F V V F F
F F V F F F V V V F V F V V
F F F F F F v F V F V F V F

A bicondiciona acima tautolgica. Ento, p ^ q r p (q r) Regra
de inferncia: exportao-importao.
8.6. Substituio na equivalncia lgica

Condiderando o princpio de substituio se P(p,q,r...) Q(p,q,q...), ento
P(P
0
,Q
0
,R
0
...) Q(P
0
,Q
0
,R
0
...), quaisquer que sejam as proposies
P
0
,Q
0
,R
0
...

Exerccios

1) Mostrar que:
a. q p q
b. q p ^ q p
2) Mostrar que p ~q no implica p q.
3) Mostrar que p no implica p ^q e que p v q no implica p.
4) Demonstrar por tableas-verdade as seguintes equivalncias:

a) p ^ (p v q) p
b) p v (p ^ q) p
c) p p ^ q p q
d) q p v q p q
lgebra das proposies e mtodo dedutivo

As operaes lgicas sobre as proposies possuem uma srie de
propriedades que podem ser aplicadas, considerando os conectivos
inseridos nas mesmas. Tais propriedades so utilizadas no chamado mtodo
dedutivo, que constitui uma maneira de demonstrao para equivalncias e
implicaes lgicas alm daquela provida pelo mtodo das tabelas-verdade.
No mtodo dedutivo so utilizadas as equivalncias que sero vistas em
seguida, as quais constituem as propriedades j mencionadas.

Considerando que p, q, r so proposies simples quaisquer, t uma
proposio simples qualquer cujo valor lgico verdade, c uma
proposio simples cujo valor lgico falso e que a bicondicional resultante
de todas as equivalncias (substituindo-se por ) e tautolgica, tem-se
as seguintes propriedades:


1) Idempotente: aplicvel em conjunes (^) e disjunes (v)

p ^ p p
p v p p

2) Comutativa: aplicvel em conjunes (^) e disjunes (v) e
bicondicionais ( )

p ^ q q ^ p
p v q q v p

3) Associativa: aplicvel em conjunes (^) e disjunes (v) e
bicondicionais ( )

(p ^ q) ^ r p ^ (q v r)
(p v q) v r p v (q v r)

4) Identidade: aplicvel em conjunes (^) e disjunes (v)

p ^ t p (t = elemento neutro da conjuno)
p ^ c c (c = elemento absorvente de conjuno)
p v t t (t = elemento absorvente da disjuno)
p v c p (c = elemento neutro da disjuno )

5) Distributiva: aplicvel em conjunes (^) e disjunes (v) em
conjunto

p ^ (p v r) (p ^ q) v (p v r)
p v (q ^ r) (p v q) ^ (p v r)

6) Absoro: aplicvel em conjunes (^) e disjunes (v) em
conjunto

~(p ^ q) ~p v ~q
~(p v q) ~p ^ ~q

7) Regras de DE MORGAN: aplicvel em conjunes (^) e disjunes
(v)

~(p ^ q) ~p v ~q
~(p v q) ~p ^ ~q

8) Condicional e negao da condicional

p q ~p v q
~(p q) p ^ ~q

9) Bicondicional e negao da bicondicional

p q (p q) ^ (q p)
p q (~p v q) ^ (~q v p)
~(p q) (~p ^ ~q) v (~p ^ q)


10) Dupla Negao

~~p p

Lembretes

p v ~p T (Tautologia)
p ^ ~p C (Contradio)

Exemplos (Alencar Filho, pg 78 e segs)

1) Demonstrar as implicaes

a) c p
c p ~c v p t v p t

b) p t
p t ~p v t t

2) Demonstrar que p ^ q p
p ^q p ~(p ^ q) v p (~p v ~q) v p (~p v p ) v ~q T
v ~q T

3) Demonstrar que p p v q
p p v q ~p v (p v q) ( ~p v p) v q T v q T

4) Demonstrar que (p q)^p q (duas maneiras)
(p q)^p q ~(( p q) ^ p) v q p q ~((~p v q) ^ p) v q
~((p ^~p) v (p ^q v q) ~(C v (p ^q)) v q ~(p ^ q) v q ( ~p v
~q) (~q v q) v ~p T v ~p T
ou
(p q)^p (~pvq)^p (p ^ ~p) v (p ^ ~p) C v (p ^q) p ^ q
q

5) Demonstrar que (p v q) ^~p q
(p v q) ^~p q (~p ^ p) v (~p ^ q) C v (~p ^ q) ~p ^ q q

6) Demonstrar que p ^ q p v q
(p ^q) (p v q) ~(p ^ q)v(p v q) (~p v ~q) v (p v q) (~p v
p) v (~q v q) T v T T

7) p q p
p (q p) ~p v (q p) ~p v (~q v p) (~p v p) v ~q T v
~q ) T

8) Demonstrar p q p ^ ~q c
p ^ ~q c ~(p ^ ~q) v c ~(p ^ ~q) ( ~p v q) p q

9) Demonstrar que (p r) ^ (q r) p v q r
(p r) ^ (q r) (~p v r) ^ ( ~q v r) r v (~p ^~q) ~(p v q) v
r p v q r

10) Demonstrar que (p q) v (p r) p q v q
(p q) v (p r) (~p v q) v (~p v r) (~p v ~p) v (q v r) ~p v (q
v r) p q v r



9. Argumentos e Regras de Inferncias

De acordo com Alencar Filho (1999, p.87), considerando P1,P2, ..., Pn (n 1)
e Q, proposies quaisquer, simples ou compostas, chama-se argumento
toda afirmao de que dada uma seqncia finita P1,P2,..., pn (n 1) de
proposies tem como conseqncia ou acarreta uma proposio final Q.

As proposies P1,P2,..., Pn so as premissas do argumento e a proposio
final Q a concluso. Para indicar o argumento escreve-se:

P1,P2, ..., Pn Q
P1,P2, , Pn acarretam Q ou
Q se deduz de P1,P2, ..., Pn

9.1. Validade

Um argumento vlido se e somente se a concluso verdadeira todas as
vezes que as premissas tambm o so, ou seja, um argumento vlido se
e somente se a concluso Q tem o valor lgico V todas as vezes que as
premissas P1, P2, ..., Pn tm o valor lgico V. Um argumento vlido tem a
seguinte propriedade: A verdade das premissas incompatvel com a
falsidade da concluso. Um argumento no-vlido recebe o nome de
sofisma.

Critrios de validade

Um argumento P1,P2, ..., Pn vlido se e somente se a condicional (P1 ^
P2 ^ P3^ ... ^Pn) Q tautolgica, ou seja, se e somente se P1 ^ P2
^....^Pn Q.

Se um argumento qualquer vlido, ento todos os argumentos com a
mesma forma tambm o so, ou seja, a validade (ou no) de um
argumento no depende de seu contedo ou do valor lgico das proposies
integrantes, mas apenas de sua forma. Logo, todo argumento com uma
forma vlida um argumento vlido.

p p v q um argumento vlido. Ento, os argumentos (p ^ r q) (p v
r) v s (~q v r) (p q) v (s r) tambm so vlidos, pois tm a mesma
forma que p p v q.

Condicional associado a um argumento qualquer P1,P2,...,Pn Q, a ele
corresponde a condicional (P1 ^ P2 ^ P3^ ... ^Pn) Q, denominada
condicional associada ao argumento dado. De maneira recproca, a toda
condicional corresponde um argumento, cujas premissas so as proposies
cuja conjuno forma o antecedente da condicional e cuja concluso o
conseqente.

Exemplo:
A condicional associada do argumento q ^ ~p,r ~p, q ^ s ~(r ^q) (q
^ ~p) ^ (r ~p) ^ (q ^ s) ~(r ^ q). O argumento correspondente da
condicional (p s v q) ^ ~q ^ (r v p s) (p ^ q ~r) p s v q, ~q,
r v q s p ^ q ~r.

9.2. Regras de inferncia- Argumentos vlidos
fundamentais

Os argumentos seguintes, chamados de bsico ou fundamentais, so
utilizados para fazer inferncias, isto , para executar a deduo de uma
demonstrao.

1) Adio

a) p p v q
b) p q v q

Regra da Adio (AD)

a) b)

p
p
p v q q v
p

2) Simplificao

a) p ^ q p
b) p ^ q q

Regra da Simplificao
(SIMP)

a) b)

p ^ q q ^
p
p q

3) Conjuno

a) p,q p ^ p
b) p,q p ^ q

Regra da conjuno (CONJ)

a) b)

p p
q q
p ^ q q ^ p
4) Absoro

p q p (p ^ q)
Regra da Absoro (ABS)

p q
p ( p ^ q)

5) Modus ponens

p q, p q
Regra Modus ponens (MP)

p q
p
q

6) Modus tollens

p ~q, ~q ~p
Regras Modus Tolles (MT)

p q
~q
~p

7) Silogismo disjuntivo

a) p v q, ~p q
b) p v q, ~q p


Regra do Silogismo Disjuntivo
(SD)

a) b)

p v q p
v q
~p
~q
q
p

8) Silogismo hipottico

P q, q r p r
Regra do Silogismo Hipottico
(SH)

a)
p q
q r
p r

9) Dilema construtivo

p q, r s, p v r q v s
Regra do Dilema Construtivo
(DC)

p q
r s
p v r
q v s
10) Dilema destrutivo

p q, r s, ~q v ~s ~p
v ~r

Regra do Dilema destrutivo
(DD)
p q
r s
~p v ~s
~p v ~r

10. Reduo do nmero de conectivos, formas normais e
conectivos de Scheffer

10.1. Reduo do nmero de conectivos

De acordo com Alencar Filhos (99, p. 81 e 82), e considerando os
conectivos fundamentais ~, ^,v, e , pode-se dizer que:

a) ^, e podem ser expressos em termos de ~ e v

p ^ q ~~p ^ ~~q ~p(~p v q)

p q ~p v q

p q (p q) ^ (q p) (~p v q) ^(~q v p) ~(~(~p v q) v
~(~q v p))

b) ^, e podem ser expressos em termos de ~ e ^

p v q ~~p v ~~q ~p(~p ^ q)

p q ~p v q ~(p ^ ~q)

p q (p q) ^ (q p) (~p v q) ^(~q v p) ~(p ^ ~q) v
~(q ^ ~p))

c) ^, e podem ser expressos em termos de ~ e

p ^ q ~~p ^ ~~q ~p(~p v ~q) ~(p ~q)

p v q ~p q

p q (p q) ^ (q p) (~p v q) ^(~q v p) ~(~(~p v
q) v ~(~q v p))

~((~p v q) ~(~q v p)) ~((p q) ~(q p))

10.2. Forma Normal das Proposies

Uma proposio est na forma normal (FN) se e somente se contm,
quanto muito, os conectivos ~, ^ e v. Uma proposio comporta dois
tipos de formas normais: a forma normal conjuntiva (FNC) e a forma
normal disjuntiva (FND).

Uma proposio est na FNC quando:

a) contm, no mximo, os conectivos ~, ^ e v;
b) No ocorre ~~ e ~ s incide sobre proposies simples, assim
entendidas como letras proposicionais;
c) v no tem alcance sobre ^.

Por exemplo, as proposies ~p v ~q, p ^ ~q ^ r, (~p ^ r) ^ q e (~p v r)
^ (~q v p) esto na FNC.

Para determinar a FNC de uma proposio, deve-se:

a) Eliminar e , substituindoi p q por ~p v q e p q por (~p v q)
^ (~q v p);
b) Eliminar ~~ pela regra da Dupla Negao e parnteses precedidos
por ~ pela regra de De Morgan;
c) Substituir p v (q ^ r) por (p v q) ^ (p v r) e (p ^ q ) v r por (p v r) ^
(q v r)

Exemplos (Alencar Filho, 99, pg 83-84) As expresses em negrito
representam FNC:

1) Achar a FNC de ~(((p v q) ^~q) v (q ^ r)):
~(((p v q) ^ ~q) v (q ^r))
~((p v q) ^ ~q ^ ~ (q ^ r)
(~(p v q) v ~~q) ^(~q v ~r) ((~p ^ ~q) v q) ^ (~q v ~r )
(~p v q) ^(~q v q) ^(~q v ~r)
(~p v q) ~T ~(~q v ~r)
(~p v q) ^(~q v ~r)

2) Achar a FNC de (p q) (~q ~p):

(p q) (~q ~p)
(~(p q) v (~q ~p)) ^ (~(~q ~p) v (p q))
(~(~p v q) v (~~q v ~p)) ^ (~(~~q v ~p) v (~p v q))
((p ^ ~q) v (q v ~p)) ^ ((~q ^ p) v (~p v q))
(q v ~p v p) ^ (q v ~p v ~q) ^ (~p v q v ~q) ^ ( ~p v q v
p)
(q v ~p v p) ^ (q v ~p v ~q)

3) Achar a FNC de p q v ~r:

p q v ~r
(~p v (q v ~r )) ^ (~(q v ~r) v p)
(~p v (q v ~r)) ^((~q ^ r) v p)
(~p v q v ~r) ^ (p v ~q) ^ (p v r)

Uma proposio est na FND quando:

a) contm, no mximo, os conectivos ~, ^ e v;
b) No ocorre ~~ e ~ s incide sobre proposies simples, assim
entendidas como letras proposicionais;
c) ^ no tem alcance sobre v

Por exemplo, as proposies ~q v p, r v (q ^ ~p), (r ^ p) v (~q ^ p ^ ~r)
esto na FND.

Para determinar a FND de uma proposio, deve-se:

a) Eliminar e , substituindoi p q por ~p v q e p q por (~p v q)
^ (~q v p);
b) Eliminar ~~ pela regra da Dupla Negao e parnteses precedidos
por ~ pela regra de De Morgan;
c) Substituir p ^ (q v r) por (p ^ q) v (p ^ r) e (p v q ) ^ r por (p ^ r) v
(q ^ r)

Exemplos As expresses em negrito representam FND:

1) Achar a FND de (p q) ^ (q p):
(p q) ^ (q p)
(~p v q) ^ (~q v p)
((~q v p) ^ ~p) v ((~q v p) ^ q)
(~p ^ ~q) v (~p ^ p) v (q ^ ~q) v (q ^p)
(~p ^ ~q) v C v C v (q ^ p)
(~p ^ ~q) v (q ^ p)

2) Achar a FND de ~(((p v q) ^ ~q) v (q ^ r):

~(((p v q) ^ ~q) v (q ^ r)
~((p v q) ^ ~q) ^ ~(q ^ r)
(~(p v q) v q) ^ (~q v ~r)
((~p ^ ~q) v q) ^ (~q v ~r)
((~q v ~r) ^ (~p ^ ~q)) v ((~q v ~r) ^ q)
(~p ^ ~q ^ ~q) v (~p ^ ~q ^ ~r) v (q ^ ~q) v (q ^
~r)
(~p ^ ~q ^ ~q) v (~p ^ ~q ^ ~r) v C v (q ^ ~r)
(~p ^ ~q ^ ~q) v (~p ^ ~q ^ ~r) v (q ^ ~r)
(~p ^ ~q) v (~p ^ ~q ^ ~r) v (q ^ ~r)

10.3. Conectivos de Scheffer

So utilizados para representar a negao conjunta de duas proposies
e a negao disjunta de duas proposies. Os simbolos utilizados so e
. Assim:

~p ^ ~q p q

~p v ~q p q

Tabelas-verdade:

p q p q p q
V V V F V V F V
V F V F F V V F
F V F F V F V V
F F F V F F V F


Bibliografia:

ALENCAR FILHO, E. Iniciao Lgica Matemtica. So Paulo : Nobel, 1999.