Resumo Lógica
description
Transcript of 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