You are on page 1of 8

1. Proposio Proposio ou sentena um termo utilizado para exprimir idias, atravs de um conjunto de palavras ou smbolos.

. Este conjunto descreve o contedo dessa idia. 2. Princpios fundamentais da lgica Principio da no contradio: Uma proposio no pode ser verdadeira e falsa, ao mesmo tempo. Principio do terceiro excludo: Uma alternativa s pode ser verdadeira ou falsa. 4. Conectivos lgicos Conectivos lgicos so palavras usadas para conectar as proposies formando novas sentenas. Os principais conectivos lgicos so:

5. Proposies simples e compostas As proposies simples ou atmicas so assim caracterizadas por apresentarem apenas uma idia. So indicadas pelas letras minsculas: p, q, r, s, t... As proposies compostas ou moleculares so assim caracterizadas por apresentarem mais de uma proposio conectadas pelos conectivos lgicos. So indicadas pelas letras maisculas: P, Q, R, S, T... Obs: A notao Q(r, s, t), por exemplo, est indicando que a proposio composta Q formada pelas proposies simples r, s e t.

Proposies simples: p: O nmero 24 mltiplo de 3. q: Braslia a capital do Brasil. r: 8 + 1 = 3 . 3 s: O nmero 7 mpar t: O nmero 17 primo Proposies compostas P: O nmero 24 divisvel por 3 e 12 o dobro de 24. Q: A raiz quadrada de 16 4 e 24 mltiplo de 3. R(s, t): O nmero 7 mpar e o nmero 17 primo. 7. O conectivo no e a negao O conectivo no e a negao de uma proposio p outra proposio que tem como valor lgico V se p for falsa e F se p verdadeira. O smbolo ~p (no p) representa a negao de p com a seguinte tabela-verdade:

Exemplo: p = 7 mpar ~p = 7 no mpar

q = 24 mltiplo de 5

~q = 24 no mltiplo de 5

8. O conectivo e e a conjuno O conectivo e e a conjuno de duas proposies p e q outra proposio que tem como valor lgico V se p e q forem verdadeiras, e F em outros casos. O smbolo p q (p e q) representa a conjuno, com a seguinte tabela-verdade:

Exemplo p = 2 par q = o cu rosa

p q = 2 par e o cu rosa

p=9<6 p q: 9 < 6 e 3 par

q = 3 par

p = O nmero 17 primo

q = Braslia a capital do Brasil

p q = O nmero 17 primo e Braslia a capital do Brasil

9. O conectivo ou e a disjuno O conectivo ou e a disjuno de duas proposies p e q outra proposio que tem como valor lgico V se alguma das proposies for verdadeira e F se as duas forem falsas. O smbolo p q (p ou q) representa a disjuno, com a seguinte tabela-verdade:

Exemplo: p = 2 par q = o cu rosa p q = 2 par ou o cu rosa

p=9<6

q = 3 par

p q: = 9 < 6 ou 3 par

p = O nmero 17 primo q = Braslia a capital do Brasil p q = O nmero 17 primo ou Braslia a capital do Brasil

p = O nmero 9 par q = O dobro de 50 100 p q: O nmero 9 par ou o dobro de 50 100

10. O conectivo se... ento... e a condicional A condicional se p ento q outra proposio que tem como valor lgico F se p verdadeira e q falsa. O smbolo p q representa a condicional, com a seguinte tabela-verdade:

Exemplo: P: 7 + 2 = 9 Q: 9 7 = 2 p q: Se 7 + 2 = 9 ento 9 7 = 2

p=7+5<4 q = 2 um nmero primo p q: Se 7 + 5 < 4 ento 2 um nmero primo.

p = 24 mltiplo de 3 q = 3 par p q: Se 24 mltiplo de 3 ento 3 par.

p = 25 mltiplo de 2 q = 12 < 3 p q: Se 25 mltiplo de 2 ento 12 < 3.

11. O conectivo se e somente se e a bicondicional A bicondicional p se e somente se q outra proposio que tem como valor lgico V se p e q forem ambas verdadeiras ou ambas falsas, e F nos outros casos. O smbolo representa a bicondicional, com a seguinte tabela-verdade:

Exemplo p = 24 mltiplo de 3 q = 6 mpar = 24 mltiplo de 3 se, e somente se, 6 mpar.

p = 25 quadrado perfeito q=8>3 = 25 quadrado perfeito se, e somente se, 8 > 3

p = 27 par q = 6 primo = 27 par se, e somente se, 6 primo

13. Tautologia, contradio e contingncia Tautologia Tautologia uma proposio cujo valor lgico sempre verdadeiro. Exemplo: A proposio p (~p) uma tautologia, pois o seu valor lgico sempre V, conforme a tabelaverdade.

Exemplo: A proposio (p q) (p q) uma tautologia, pois a ltima coluna da tabela-verdade s possui V.

Contradio Contradio uma proposio cujo valor lgico sempre falso. Exemplo: A proposio (p q) (p q) uma contradio, pois o seu valor lgico sempre F conforme a tabela-verdade. Que significa que uma proposio no pode ser falsa e verdadeira ao mesmo tempo, isto , o principio da no contradio.

Contingncia Quando uma proposio no tautolgica nem contravlida, a chamamos de contingncia ou proposio contingente ou proposio indeterminada.

14. Implicao lgica Definio A proposio P implica a proposio Q, quando a condicional P Q for uma tautologia. O smbolo P Q (P implica Q) representa a implicao lgica. Diferenciao dos smbolos e O smbolo representa uma operao matemtica entre as proposies P e Q que tem como resultado a proposio P Q, com valor lgico V ou F. O smbolo representa a no ocorrncia de VF na tabela-verdade de P Q, ou ainda que o valor lgico da condicional P Q ser sempre V, ou ento que P Q uma tautologia. Exemplo A tabela-verdade da condicional (p q) (p q) ser:

Portanto, (p q) (p q) uma tautologia, por isso (p q) (p q)

15. Equivalncia lgica Definio H equivalncia entre as proposies P e Q somente quando a bicondicional P Q for uma tautologia ou quando P e Q tiverem a mesma tabela-verdade. P Q (P equivalente a Q) o smbolo que representa a equivalncia lgica. Diferenciao dos smbolos e O smbolo representa uma operao entre as proposies P e Q, que tem como resultado uma nova proposio P Q com valor lgico V ou F. O smbolo representa a no ocorrncia de VF e de FV na tabela-verdade P Q, ou ainda que o valor lgico de P Q sempre V, ou ento P Q uma tautologia. Exemplo: A tabela da bicondicional (p q) (~q ~p) ser:

Portanto, p q equivalente a ~q ~p, pois estas proposies possuem a mesma tabela-verdade ou a bicondicional (p q) (~q ~p) uma tautologia. Veja a representao: (p q) (~q ~p) 16. Sentenas abertas Definies Supondo que U seja um conjunto e x um elemento desse conjunto, podemos considerar que: - U um conjunto-universo e x a varivel. - a proposio p(x) ser uma sentena aberta em U quando p(a) for verdadeira ou p(a) for falsa, a U.

- se a U e p(a) for verdadeira, nesse caso a confirma p(x) ou a a soluo de p(x). - O conjunto-verdade de p(x), em U, formado por todos e somente os elementos de a U, onde p(a) uma sentena verdadeira. Veja a representao deste conjunto: {a U| p(a) V}. Exemplos:

17. Operaes lgicas com sentenas abertas possvel efetuar as sentenas abertas de forma anloga das proposies lgicas, atravs dos conectivos j apresentados: no, e, ou, se ento, se e somente se. Exemplo Observando a condicional (x > 5) (x > 2), em N, podemos notar que: