resumo lógica

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

V V F F V V F V V F

V F F V F V V F V V

F V V F F V V V F V

F F V V F F F V V V

10) Contigncia - cuja ltima coluna da sua tabela-verdade figuram as letras V e F, cada uma pelo menos uma vez,

ou seja,

7) Ordem de Precedncia de Conectivos - (~), (^), (v), (), ()

1) Negao (~) "No.." - A negao de (V) (F), e de (F) (V). Sempre o oposto

2) Conjuno (^) "e" - VERDADE (V) quando as proposies forem (V) e nos demais casos (F)

3) Disjuno Inclusiva (v) "ou" - verdadeiro (V) quando ao menos uma das proposies p e q verdadeira, e

falso (F) quando as proposies p e q so ambas falsas

4) Disjuno Exclusiva (v) "ou" - verdadeira quando p e q possuem valores lgicos diferentes; falsa (F) quando

p e q possuem valores lgicos idnticos.

5) Condicional () se p ento q - cujo valor lgico falso (F), no caso em que p verdadeira e q falsa e

verdadeira (V) nos demais casos

6) Bicondicional () p se e somente se q - Cujo valor lgico verdadeiro (V) quando p e q so ambas

verdadeiras ou ambas falsas, e falso (F) nos demais casos.

8) Tautologia - Cujo valor lgico sempre V (verdade), quaisquer que sejam os valores lgicos das proposies

simples

9) Contradio - cujo valor lgico sempre F (falso), quaisquer que sejam os valores lgicos das proposies

simples