resumo tabela verdade

Prévia do material em texto

TABELA VERDADE: NEGAÇÃO, CONJUNÇÃO,
DISJUNÇÃO, IMPLICAÇÃO E EQUIVALÊNCIA
NEGAÇÃO ⠀⠀⠀⠀⠀⠀⠀
Dada uma proposição, a sua negação P, a
sua negação é a proposição denotada por
~p e dada por
~p: “negação do enunciado de p”
CONJUNÇÃO ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀
Dada duas proposições P e Q, a
conjunção de P com Q é denotada por
P^Q e dada por
P^Q: “enunciado de P” e “enunciado de
Q” de modo que P^Q é verdadeiro
quando P e Q são verdadeiros
DISJUNÇÃO ⠀ ⠀⠀⠀⠀⠀⠀⠀
A disjunção de P com Q é a proposição
denotada por P∨Q e dada por
P∨Q: ‘enunciado de p’ e ‘enunciado de
Q’, de modo que P∨Q é falsa quando P
e Q são falsas
.
IMPLICAÇÃO ⠀ ⠀⠀⠀⠀⠀⠀⠀
A implicância de p em q, denotada p⇒ q,
é a proposição (~p)∨q
p⇒ q: ‘se p, então q’ ou ‘p implica em q’
* para provar que p ⇒ q é verdadeira,
basta mostrar que a veracidade de p
garante a veracidade de q. ou seja, é
falsa quando p verdadeira implica em q
falsa
EQUIVALÊNCIA ⠀⠀⠀⠀⠀⠀⠀⠀
Sendo p e q proposições, a equivalência
de p com q é a proposição (p⇒q)^(q⇒q),
sendo denotada por p⇐>q
p⇐>q : ‘ p é equivalente a q’ ou ‘ p se,e
somente se q’