Escolar Documentos
Profissional Documentos
Cultura Documentos
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.
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
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.
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
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:
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.
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.
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.
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
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.
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.
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.
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
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
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
2.1
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
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)
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.
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
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
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.
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
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
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.
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
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
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
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
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
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
V F F
F V F
F V V
V F V
F F V
V V F
V V F
V V F
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