RESUMO DE RLQ

CONECTIVOS SMBOLO ,~ TABELA VERDADE NEG p F F V V OU (p q) V V V F Pelo (-) 01 Verdade. E (p q) V F F F Devem ser todas Verd. SE...ENT (p q) V F V V S 01 falsa. * somente se SE E SOM. SE (p q) V F F V * se e somente se REPRESENTAO (e / mas) (ou) (no) (Se..., ento...) (...se e somente se ...) VALOR conjuno disjuno negao condicional bicondicional COMO APARECE (p q) (p q) (p) (CESPE) (p q) (p q)

p V V F F

q V F V F

Importante: TAUTOLOGIA uma proposio composta que sempre verdadeira, independentemente dos valores lgicos das proposies simples que a compem. Ex: (p v p) tautologia (OU) CONTRADIO uma proposio composta que sempre falsa, independentemente dos valores lgicos das proposies simples que a compem. Ex: (p ^ p) uma contradio (E) (passei e no passei) CONTINGNCIA uma proposio composta que poder ser verdadeira OU falsa dependendo das proposies simples que a compem.

Dica: Frmula para linhas: N = 2n TAUTOLOGIAS IMPORTANTES PARA DECORAR (313) a) (p v p) - Ser ou no ser b) (p p) Se passo ento passo c) (p p) P se somente se P d) (p) p Negao dupla (afirmao) e) (p q) (p v q) Importante! f) (p q) ( q p) Contra-positiva g) (p ^ q) (p v q) Tautologia de Morgan (nega o E com o OU) h) (p v q) (p ^ q) Tautologia de Morgan (nega o OU com o E) i) (p) p Negao dupla j) (p q) (p ^ q) ... (negao de ) k) (p q) (p q)... (negao de ) EQUIVALNCIA dizemos que duas proposies so equivalentes se elas possuem a mesma tabela verdade.

EQUIVALNCIAS IMPORTANTES PARA DECORAR (145) a) b) c) d) e) f) g) h) i) j) k) (p v q) equivalente a (q v p) a, b , c so comutativos podendo mudar a ordem de p e q. (p ^ q) equivalente a (q ^ p) (p q) equivalente a (q p) (p q) equivalente a (p v q) (p q) equivalente a (q p) contra-positiva (p ^ q) equivalente a (p v q) * Equivalncia de Morgan (nega o E com o OU) (p v q) equivalente a (p ^ q) * Equivalncia de Morgan (nega o OU com o E) (p) equivalente a (p) Negao dupla (afirmao) ((p) equivalente a (p) Negao tripla (negao) (p q) equivalente a (p ^ q) Cespe! (p q) equivalente a (p q) (como ler: a negao de P se som..se Q ...)

Dica: Ao trocarmos a expresso equivalente a de uma equivalncia pelo smbolo essa proposio se torna se torna uma tautologia! TAUTOLOGIAS IMPORTANTES (313) a) b) c) d) e) f) g) h) i) j) (p v p) (p p) (p p) (p q) (p v q) (p q) ( q p) Contra-positiva (p ^ q) (p v q) Morgan (p v q) (p ^ q) Morgan (p) p Negao dupla (afirmao) (p q) (p ^ q) ... (negao de ) (p q) (p q) ... (negao de ) EQUIVALNCIAS IMPORTANTES (145) a) b) c) d) e) f) g) h) i) j) k) (p v q) equivalente a (q v p) comutativo (OU) (p ^ q) equivalente a (q ^ p) comutativo (E) (p q) equivalente a (q p) (p q) equivalente a (p v q) (p q) equivalente a (q p) Ctr-positiva (p ^ q) equivalente a (p v q) Morgan (p v q) equivalente a (p ^ q) Morgan (p) equivalente a (p) Negao dupla (p q) equivalente a (p ^ q) Cespe! (p q) equivalente a (p q) ((p) equivalente a (p) Negao tripla

Dica: Negao de < Negao de >

Observao Negao de TODO A B Algum A no B. (pelo menos um, s vezes, exista um ... que no ...). Negao de NENHUM A B Algum A B. (pelo menos um, s vezes, exista um ... que no ...).