Você está na página 1de 29

RESUMO DE LGICA MATEMTICA PARA CONCURSO

Autor: Luiz Paulo Arajo Ladeira

Contedo
Conceito de proposio................................................................................................................. 3 Princpios da lgica matemtica: .................................................................................................. 3 Proposio Simples ou atmica .................................................................................................... 3 Proposio Composta ou molecular ............................................................................................. 4 Conectivos ..................................................................................................................................... 4 Tabela Verdade ............................................................................................................................. 4 Notao ......................................................................................................................................... 5 Operaes Lgicas sobre proposies .......................................................................................... 5 Tabelas Verdades aprendendo a construir ................................................................................... 8 Tautologias .................................................................................................................................. 10 Contradio ................................................................................................................................. 10 Contingncia................................................................................................................................ 11 Implicao Lgica ........................................................................................................................ 11 Equivalncia Lgica : smbolo: ................................................................................................ 12 lgebra das Proposies ............................................................................................................. 19 BIBLIOGRAFIA .............................................................................................................................. 29

Conceito de proposio
Chama-se proposio todo conjunto de palavras ou smbolos que exprimem um pensamento ou sentido completo. As proposies transmitem pensamentos, isto , afirmam fatos ou exprimem juzos que formamos a respeito de determinados entes.

Princpios da lgica matemtica:


(1) Principio da no contradio: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. (2) Principio do terceiro excludo: Toda a proposio ou verdadeira ou falsa, isto no h um terceiro nisso.

Proposio Simples ou atmica


Chama-se proposies simples ou proposies atomica aquela que no contm nenhuma outra proposio como parte integrante de si mesma. As proposies simples so geralmente designadas pelas letras minusculas p,q,r,s....., chamadas letras proposicionais.

Proposio Composta ou molecular


Chama-se proposio composta ou proposio molecular aquela formada pela combinao de duas ou mais proposies. As proposies compostas so habitualmente designadas pelas letras latinas maisculas P,Q,R,S,...., tambm chamadas letras proposicionais.

So proposies compostas por exemplo: P: Carlos careca e Pedro estudante Q: Carlos careca ou Pedro estudante. R: Se Carlos careca, ento infeliz.

Ateno: Visto que cada uma delas formada por duas proposies simples. Quando interessa destacar ou explicitar que uma proposio composta P formada pela combinao das proposies simples p,q,r,... escreve-se: P(p,q,r,....).

Conectivos
Chama-se conectivos palavras que se usam para formar novas proposies a partir de outras.

Por exemplo: P: O nmero 6 par e o nmero 8 cubo perfeito Q: O tringulo ABC retngulo ou issceles R: No est chovendo S: Se Jorge engenheiro, ento sabe matemtica T: O tringulo ABC equiltero se somente se equingulo

Observao: So conetivos usuais em Lgica Matemtica as palavras: e, ou, no, se .... ento...., se e somente se ...

Tabela Verdade
Segundo o Princpio do terceiro excludo, toda proposio simples p verdeira ou falsa, isto , tem o valor lgico V(verdade) ou o valor lgico F(falsidade).

O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinado. Admitido este princpio do terceiro excludo, para aplic-lo determinao do valor lgico de uma proposio composta dada, recorre-se quase sempre a um dispositivo denominado tabela-verdade.

Notao
O valor lgico de uma proposio simples p indica-se por V(p). Assim, exprimem-se que p verdadeira, ento escrito desta maneira: V(p) = V

Operaes Lgicas sobre proposies


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

1.1 Negao (NOT): smbolo ~ : chama-se negao de uma proposio p a proposio


representado por no p, cujo valor lgico a verdade(V) quando p falsa e a falsidade(F) quando p verdadeira. Assim, no p tem o valor lgico oposto daquele de p. Simbolicamente, a negao de p indica-se com a notao ~p , que se l: no p

1.2 Conjuno (and) : smbolo . | : chama-se conjuno de duas proposies p e q a proposio representada por p e q , cujo valor lgico a verdade(V) quando as proposies p e q so ambas verdadeiras, ou seja, se tiver falsa no meio ela se torna falsa.

1.3 Disjuno Inclusiva (or): smbolo V | + : chama-se disjuno de duas proposies p e q a proposio representada por p ou q, cujo valor lgico verdade(V) quando ao menos uma das proposies p e q verdadeira e a falsidade(F) quando as proposies p e q so ambas falsas.

Resumindo: Se umas das proposies forem verdadeiras elas tambm sero verdadeiras, basta uma ser verdadeira para o resultado ser verdadeiro. No caso das duas serem falsa bvio que a resposta ser falsa.

Exemplo de uma disjuno definda pela seguinte tabela verdade:

p V V F F

q V F V F

pVq V V V F

v V v = v,

v V f = v, e

f V v = v,

fVf=f

V(p V q) = V(p) V V(q)

1.3.1 Disjuno Exclusiva: smbolo | Temos a seguinte proposio: P: Carlos alagoano ou gacho. Como podemos observar somente uma resposta correta. Chama-se duas proposies p e q a proposio representada simbolicamente por p q, que se l: ou p ou q, cujo valor lgico verdade (V) somente quando p verdadeira ou q e verdadeira, mas no quando p e q so ambas verdadeiras, e falsidade (F) quando p e q so ambas verdadeiras ou ambas falsas.

Resumo: quando estiverem umas das respostas verdadeiras, a resposta ser verdadeira. Caso seja todas respostas sejam verdadeiras se tornam falsas tambm. Caso seja todas respostas sejam falsas se tornam falsas tambm.

1.4 Condicional: smbolo : chama-se proposio condicional ou apenas condicional uma proposio representada por se p ento q, cujo valor lgico a falsidade(F) quando p verdadeira e q falsa e verdade(V) nos outros casos.

Simbolicamente, a condicional de duas proposies p e q indicam-se com a notao p q e pode ser lida das seguintes formas:

I. II. III. IV.

p implica q se p ento q p condio suficiente para q q condio necessria para p

Na condicional p q, diz-se que p o antecedente e o q o conseqente. O smbolo chamado de implicao.

Obs: Isso significa que sempre que o antecedente for verdadeiro, o conseqente deve ser verdadeiro para que o resultado de toda a proposio seja verdadeira. O condicional no afirma a veracidade do antecedente e do conseqente, mas a relao existente entre eles.

Resumo: Toda vez que o conseqente for verdadeira a resposta ser verdadeira, no importa se o antecedente falso. Se o antecedente verdadeiro e o conseqente tambm a resposta ser verdadeira. Caso o conseqente e antecedente sejam falsas a resposta ser verdadeira.

Por Exemplo: Se Joo Engenheiro, ento sabe matemtica.

A tabela verdade da condicional do exemplo acima , portanto:

pq

1 2 3 4

V V F F

V F V F

V F V V

1.5 BiCondicional: smbolo : chama-se proposio bicondicional ou apenas bicondicional uma proposio representada por p se e somente se q, cujo valor lgico a verdade(V).

Simbolicamente, a bicondicional de duas proposies p e q indica-se com a notao p q e pode ser lida das seguintes formas:

I. II. III.

p condio necessria e suficiente para q q condio necessria e suficiente para p p se e somente se q (ser mais utilizado) podendo ter a abreviao p se q.

A tabela verdade da bicondicional de duas proposies , portanto:

p 1 2 3 4 V V F F

q V F V F

pq V F F V

Resumo: Quando p e q so ambas verdadeiras ou ambas falsas a resposta sempre ser verdadeira.

Tabelas Verdades aprendendo a construir


1. Tabela Verdade de uma proposio composta Dadas vrias proposies simples p, q, r, ...., podemos combin-las pelos conectivos lgicos:

~ , ^ , V, , e construir proposies compostas, tais como: P(p , q) = ~p V ( p q ) Q (p , q) = (p ~ q) ^ q R (p, q, r) = (p ~q V r) ^ ~ (q V (p ~r))

possvel construir a tabela-verdade correspondente a qualquer proposio composta dada, sabendo que seu resultado ser verdadeiro ou falso.

2. Nmero de Linhas de uma tabela verdade O nmero de linhas da tabela-verdade de uma proposio composta depende do nmero de proposies simples que a integram. Para se calcular o nmero de linhas de uma tabela verdade com uma proposio composta com n proposies simples componentes contm 2n linhas.

3. Construo da tabela verdade de uma proposio composta Para construir uma tabela verdade, temos a seguinte proposio: EX 01: P ( p , q ) = ~ ( p ^ ~ q)

Como resolver e montar a tabela verdade: Forma-se, em primeiro lugar, o par de colunas correspondentes s duas proposies simples componentes p e q. Em seguida, forma-se a coluna para ~q . Depois, forma-se a coluna para p ^ ~ q . Afinal, forma-se a coluna relativa aos valores lgicos da proposio composta dada.

p V V F F

q V F V F

~q F V F V

(p ^ ~ q) F V F F

~ (p ^ ~ q) V F V V

Tabela 1 - Resoluo do EX 01

Ex 02: Construir a tabela-verdade da proposio P (p , q) = ~ (p ^ q) V ~ (q p)

p V V F F

q V F V F

(p ^ q) V F F F

(q p) V F F V

~(p ^ q) F V V V

~ (q p) F V V F

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

Tautologias
Chama-se tautologias toda a proposio composta cuja ultima coluna da sua tabela verdade seja somente verdadeira, ou seja, contendo a letra V. As tautologias so tambm denominadas de proposies tautolgicas ou proposies verdadeiras.

Exemplo 01: ~(p ^ ~ p)

P V F

~p F F

(p ^ ~ p) F F

~ (p ^ ~ p) V V

Contradio
Chama-se contradio toda a proposio composta cuja ltima coluna da sua tabelaverdade encerra somente com a letra F de falsidade.

Exemplo 01: p ^ ~ p

p V F

~p F V

p^~p F F

Contingncia
Chama-se contingncia toda a proposio composta, cuja ltima coluna da sua tabela verdades contenham as letras V e F cada pelo menos uma vez. As contingncias so tambm denominadas proposies contingentes ou proposies indeterminadas.

Exemplo 01: p ~ p p V F ~p F V p~p F V

Implicao Lgica (pg: 49)


Diz-se que uma proposio P (p , q , r , ....) implica logicamente ou apenas implica uma proposio Q( p , q , r , ... ) todas as vezes que nas respectivas tabelas-verdades dessas duas proposies no aparece V na ltima coluna de P (p , q , r , ....) e F na ltima coluna de Q( p , q , r , ...), com V e F em uma mesma linha, isto , no ocorre P (p , q , r , ....) e Q( p , q , r , ...) com valores lgicos simultneos respectivamente V e F.

Resumindo Ela verificada na tabela verdade as combinao de V e F. Se no possui valor V e F para duas proposies ela tem uma implicao. Quando q verdadeiro, p q tambm deve ser verdadeiro.

Equivalncia Lgica : smbolo:


Diz-se que uma proposio P (p , q , r , ... ) logicamente equivalente ou apenas equivalente a uma proposio Q( p , q , r ... ), se as tabelas verdades destas duas proposies so idnticas. Em particular, se as proposies P( p , q , r , ...) e Q ( p , q , r , ...) so ambas tautologias (ultima coluna inteira verdadeira) ou so ambas contradies (ultima coluna inteira falsa), ento so equivalentes.

1.1 Regra da dupla negao: As proposies ~~p e p so equivalentes, isto , simbolicamente: ~~p p (Regra da dupla negao). Realmente, o que demonstra a tabela verdade:

p V F

~p F V

~~p V F

Portanto, a dupla negao equivale afirmao.

1.2 Regra de CLAVIUS: As proposies ~p p e p so equivalente, isto , simbolicamente: ~p p p . Realmente, o que demonstra a tabela verdade:

p V F

~p F V

~pp V F

1.3 Regra de absoro: As condicionais p p ^ q e p q tm suas tabelasverdades idnticas: p V V F F q V F V F p^q V F F F pp^q V F V V pq V F V V

Por consequncia, estas condicionais so equivalentes, isto , subsiste a equivalncia lgica: p p ^ q p q denominada Regra de absoro

1.4 Equivalencia lgica utilizando a condicional V (ou): A condicional p q e a disjuno (ou) ~p V q tm tabelas verdades idnticas:

p V V

q V F

pq V F

~p F F

~p V q V F

F F

V F

V V

V V

V V

Por consequncia, estas duas proposies so equivalentes, isto , subsite a importante equivalncia lgica: p p ~p V q

1.5 Equivalncia lgica utilizando a bicondicional () utilizando o operador ^ (e): a bicondicional p q e a conjuno ( p q ) ^( q p ) tm tabelas verdade idnticas:

p V V F F

q V F V F

pq V F F V

pq V F V V

qp V V F V

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

Por consequncia, estas duas proposies so equivalentes, isto , subsiste a importante equivalncia lgica: p q ( p q ) ^( q p )

1.6 Equivalncia lgica utilizando a bicondicional () e os operadores ^ (e) V (ou): A biocondicional p q e a disjuno (p ^ q) V (~p ^ ~q) tm tabelas-verdade idnticas:

p V V F F

~p F F V V

q V F V F

~q F V F V

pq V F F V

(p ^ q) V F F V

V V F F V

(~p ^ ~q) F F F V

Por consequncia, estas duas proposies so equivalentes, isto , subsiste a importante equivalncia lgica: p q ( p ^ q ) V ( ~q ^ ~p )

2 Tautologias e equivalncia lgica Teorema a proposio P (p , q , r , ... ) equivalente proposio Q( p , q , r ... ), isto : P (p , q , r , ... ) Q( p , q , r ... ) Se e somente se a bicondicional: P (p , q , r , ... ) Q( p , q , r ... ) (1) tautolgica, ou seja, sua ultima coluna da tabela-verdade for toda verdadeira

Resumindo: (i): Se as proposies P( p, q, r,...) e Q ( p, q, r,...) so equivalentes, ento, tm tabelasverdade idnticas, e por conseguinte o valor lgico da bicondicional (1) sempre V(verdade), isto , (1) tautologica. (ii): Reciprocamente, se a bicondicional (1) tautologica, ento, a ltima coluna da sua tabela-verdade encerra somente a letra V(verdade), e por conseguinte os valores lgicos respectivos das proposies P( p, q, r,...) e Q( p, q, r,...) so ambos V(verdade) ou so ambas F(falsas), isto , estas duas proposies so equivalentes.
ATENO: Toda equivalncia lgica corresponde uma bicondicional tautolgica e vice-versa, ou seja, as tabelas verdades das duas devem ser identicas sendo todas verdadeiras ou falsas.

NOTA: Os smbolos e so distintos (diferentes), pois o primeiro operador lgico (aplicado, por exemplo, s proposies p e q d a nova proposio p q), enquanto que o segundo de relao (estabelece que a bicondicional P( p, q, r,...) Q( p, q, r,...) tautolgica.

Metdo de demonstrao por absurdo: A bicondicional ( p ^ ~q c) (p q), onde uma proposio cujo valor lgico F(falsidade), tautolgica, pois, a ltima coluna da sua tabela verdade encerra somente com a letra V (verdade):

p V V F F

q V F V F

c F F F F

~q F V F V

(p ^ ~q) F V F F

(p ^ ~q c) V F V V

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

Portanto, as proposies p ^ ~q c e p q so equivalentes, isto , simbolicamente: p ^ ~q c p q Regra de exportao - importao: A bicondicional (p ^ q r ) ( p ( q r )) tautolgica, pois, a ltima coluna da sua tabela verdade encerra somente com a letra V (verdade): p V V V V F F F F q V V F F V V F F r V F V F V F V F (p^q) V V F F F F F F (p ^ q r ) V F V V V V V V p V F V F V V V V (q r) V F V F V V V V (p ^ q r ) ( p ( q r )) V V V V V V V V

Portanto, as condicionais p ^ q r e p ( q r ) so equivalentes, isto , simbolicamente: p ^ q r p ( q r )

2.1

Proposies Associadas a uma condicional

Dada a condicional p q , chama-se proposies associadas a p q as trs seguintes proposies condicionais que contm p e q: a) Proposio Recproca de p q : q p b) Proposio contrria de p q : ~p ~q

c) Proposio contrapositiva de p q : ~q ~p

A tabela verdade destas quatro proposies acima: p V V F F q V F V F pq V F V V qp V V F V ~p ~q V V F V ~q ~p V F V V

E demonstram as duas importantes propriedades: (I) A condicional p q e a sua contrapositiva ~q ~p so equivalentes, ou seja, so idnticas, isto simbolicamente: p q ~q ~p

(II)

A recproca q p e a contrria ~p ~q da condicional p q so equivalentes, isto , simbolicamente: q p ~p ~q

Observao: As mesmas tabelas verdade tambm demonstram que a condicional p q e a sua recproca (invertendo as proposies de lugar) q p ou sua contrria ~p ~q no so equivalentes, ou seja, sua tabela verdade no so idnticas.

Por exemplo utilizando a Recproca: Seja a condicional relativa a um tringulo T: p q : Se T equiltero, ento T issceles. Utilizando a recproca desta proposio: q p : Se T issceles, ento T equiltero. Aqui, a condicional p q verdadeira, mas sua Recproca Falsa.

Por Exemplo utilizando a Contrapositiva:

p q : Se Carlos professor, ento pobre ~q ~p: Se Carlos no pobre, ento professor

Resumindo o teorema da contra recproca ou contra positiva: Teorema da contra recproca, aquele que diz: A ento no B, voc volta negando, ou seja, Se B ento no A. Por exemplo: (A B) ( ~B ~A) P: Se estudo ento sou aprovado A B

Q: Se no sou aprovado ento no estudo ~A ~B

2.2 Negao conjunta de duas proposies: Chama-se negao conjunta de duas proposies p e q a proposio no p e no q, isto , simbolicamente ~p ^ ~q . A negao conjunta de duas proposies p e q tambm se indica pela notao p q . Portanto, temos: p q ~p ^ ~q Com a proposio ~p ^ ~q verdadeira somente no caso em que p e q so ambas falsas, ento, a tabela verdade de p q a seguinte:

p V V F F

q V F V F

pq F F F V

2.3 Negao disjunta de duas proposies: Chama se negao disjunta de duas proposio p e q a proposio no p ou no q, isto simbolicamente ~p V ~q . A negao disjunta de duas proposies p e q tambm se indica pela notao p q . Portanto, temos: p q ~p V ~q

Com a proposio ~p V ~q falsa somente no caso em que p e q so ambas verdadeiras, ento, a tabela verdade de p q a seguinte:

p V V F F

q V F V F

pq F V V V

Observao: Os smbolos e so chamados de Conectivos de SCHEFFER

lgebra das Proposies


1.0 Propriedades da conjuno Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos respectivos so V (verdade) ou F (falsidade).

a) Leis Idempotentes: elas so potencialmente idnticas. Por exemplo: P P ^ P PPVP Quando estou conectando uma proposio a ela mesma quer dizer que elas so idnticas.

Por exemplo: p V F p^p V F p^pp V V

Assim, por exemplo temos: i. ii. X1^X1X1 X<0^X<0X<0

b) Leis Comutativas ou regra de inferncia: No caso da conjuno ( ^ ) a ordem dos fatores no alteram os valores lgicos. Por exemplo: p ^ q q ^ p , com efeito so idnticas as tabelas verdades das proposies p ^ q q ^ p tautolgica:

p V V F F

q V F V F

p^q V F F F

q^p V F F F

p^qq^p V V V V

c) Leis Associativas: Se temos trs proposies ligadas ao mesmo conectivo o resultado vai ser idntico. Por exemplo: p ^ (q ^ r) (p ^ q) ^ r d) Leis de identidade: temos as seguintes proposies p ^ t p e p ^ c c , com o efeito, so idnticas as tabelas verdades das proposies p ^ t e t , p ^ c e c, ou seja, as bicondicionais p ^ t p e p ^ c c so tautolgicas:

p V F

t F V

c F F

p^t V F

p^c F F

p^tt V V

p^cc V V

2.2 Propriedades da disjuno Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos respectivos so V(verdade) e F(falsidade).

a) Leis Idempotente: com efeito, so idnticas as tabelas verdades das proposies p V p e p, ou seja, a bicondicional p V p p p V F p^p V F p^pp V V

Assim, por exemplo temos: i. ii. X0VX1X1 X1VX1X0

b) Leis Comutativa: No caso da conjuno ( V ) a ordem dos fatores no alteram os valores lgicos. Por exemplo: p V q q V p , com efeito so idnticas as tabelas verdades das proposies p V q q V p tautolgica:

p V V F

q V F V

pVq V V V

qVp V V V

pVqqVp V V V

e) Leis Associativas: Se temos trs proposies ligadas ao mesmo conectivo o resultado vai ser idntico. Por exemplo: p V (q V r) (p V q) V r f) Identidade: temos as seguintes proposies p V t e p V c c V p , com o efeito, so idnticas as tabelas verdades das proposies p V t e t , p V c e c, ou seja, as bicondicionais p V t t e p V c c so tautolgicas:

p V F

t F V

c F F

pVt V V

pVc V F

pVtt V V

pVcc V V

2.4 Propriedades da Conjuno e da Disjuno Sejam p , q e r proposies simples quaisquer. a) Leis distributivas: i) ii) p ^ (q V r) (p ^ q) V (q ^ r) p V (q ^ r) (p V q) ^ (q V r)

De acordo com i) Com efeito, so idnticas as tabelas verdades das proposies p ^ (q V r) e (p ^ q) V (q ^ r):

p V V

q V V

r V F

qVr V V

p ^ (q V r) V V

p^q V V

p^r V F

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

V V F F F F

F F V V F F

V F V F V F

V F V F V F

V F F F F F

F F F F F F

V F F F F F

V F F F F F

Observao: Observe se que a bicondicional p ^ (q V r) (p ^ q) V (q ^ r) tautolgica.

De acordo ii) Analogamente, so idnticas as tabelas verdades das proposies p V (q ^ r) e (p V q) ^ (p V r):

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

q^r V F V F F F F F

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

pVq V V V V V V F F

pVr V V V V V F V F

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

Observao: Observe se que a bicondicional p V (q ^ r) (p V q) ^ (p V r) tautolgica. A equivalncia i) exprime que a conjuno distributiva em relao disjuno e a equivalncia ii) exprime que a disjuno distributiva em relao conjuno.

Por exemplo utilizando i) na proposio:

Carlos estuda e Jorge ouve msica ou l equivalente seguinte proposio: Carlos estuda e Jorge ouve msica ou Carlos estuda e Jorge l

Por exemplo utilizando ii) na proposio: Chove ou faz vento e frio equivalente seguinte proposio: Chove ou faz vento e Chove ou faz frio

b) Leis de absoro: I) II) p ^( p v q) p p V( p ^ q) p

De acordo com I) Com efeito, so idnticas as tabelas verdades das proposies p ^( p v q) e p, ou seja, a bicondicional p ^( p v q) p tautolgica.

p V V F F

q F V F V

pvq V V F V

p ^( p v q) V V F F

p ^( p v q) p V V V V

De acordo ii) Analogamente, so idnticas as tabelas verdades das proposies p V (p ^ q) e, ou seja, a bicondicional p V (p ^ q) p tautolgica.

p V V F

q F V F

p^q F V F

p V( p ^ q) V V F

p V( p ^ q) p V V V

c) Leis de Morgan: j) ~( p ^ q) ~p V ~q jj) ~( p v q) ~p ^ ~q

De acordo com j) Com efeito, so idnticas as tabelas verdades das proposies ~( p ^ q) e ~p V ~q:

p V V F F

q F V F V

p^q F V F F

~( p ^ q) V F V V

~p F F V V

~q V F V F

~p V ~q V F V V

Observao: Observe se que a bicondicional ~( p ^ q) ~p V ~q tautolgica.

De acordo com jj) Com efeito, so idnticas as tabelas verdades das proposies ~( p v q) e ~p ^ ~q: p V V F F q V F V F pvq V V F F ~( p V q) F F F V ~p F F V V ~q F V F V ~p ^ ~q F F F V

Observao: Observe se que a bicondicional ~( p ^ q) ~p V ~q tautolgica.

As regras de DE MORGAN ensinam que:

1) Negar que duas dadas proposies ao mesmo tempo verdadeiras equivale a afirmar que uma pelo menos falsa. 2) Negar que uma pelo menos de duas proposies verdadeira equivale afirma que ambas so falsas.

Resumo: Quando voc tem uma conjuno (e) ela vira disjuno (ou) ou vice-versa. exemplo 01: ( P ^ Q) ~ ~P V ~Q exemplo 02: ( P V Q) ~ ~P ^ ~Q

exemplo 03: q: inteligente , r: estuda q ^ r igual: inteligente e estuda ~q ^ ~r : No inteligente ou no estuda

2.5 Negao da Condicional Como p q ~p V q , temos: ~( p q) ~( ~p V q) ~ ~p ^ ~q Ou seja: ~( p q) p ^ ~q Esta equivalncia tambm demonstrada pelas tabelas verdades das proposies ~( p q) e p ^ ~q, que so idnticas:

p V V

q V F

pq F V

~( p q ) V F

~q F V

p ^ ~q F V

F F

V F

F V

V F

F V

F F

Observao: A condicional pq no utiliza nenhumas das propriedades de idempotente, comutativa e associativa, pois as tabelas-verdades das proposies pp e p, pq e q p, (p q) r e p (q r) no so idnticas.

2.6 Negao da Bicondicional Como p q ( p q) ^ ( q p), temos: p q ( ~ p V q) ^ ( ~q V p) portanto: ~(p q) ~ ( ~ p V q) V ~ ( ~q V p) ~(p q) (~~ p ^ ~q) V (~~q ^ ~p) Ou seja: ~(p q) ( p ^ ~q) V (~p ^ q)

Esta equivalncia tambm demonstrada pelas tabelas-verdade das proposies ~(p q) e ( p ^ ~q) V (~p ^ q), que so idnticas:

p V V F F

q V F V F

~p F F V V

~q F V F V

(p q) V F F V

~(p q) F V V F

( p ^ ~q) F V F F

(~p ^ q) F F V F

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

As tabelas verdade das proposies ~(p q), p ~q e ~p q so idnticas: p V q V ~p F ~q F pq V ~(p q) F p ~q F ~p q F

V F F

F V F

F V V

V F V

F F V

V V F

V V F

V V F

Portanto, subsistem as equivalncias: ~(p q) p ~q ~p q

Observao: A bicondicional p q no utiliza a propriedade idempotente, pois imediato que no so idnticas as tabelas verdades das proposies p p e p, mas utiliza das propriedades comutativa e associativa.

BIBLIOGRAFIA
FILHO, Edgard. Iniciao Lgica Matemtica. So Paulo: Nobel, 1975

Equivalncia Lgica <https://www.youtube.com/watch?v=lsORlfAh4GM&feature=BFa&list=PLmjrgMIfU4Nmp1n8fhtE5GeeofoMEm8nc>


Acessado dia: 08/11/2012