Documente Academic
Documente Profesional
Documente Cultură
EQUIVALENCIAS BSICAS
p ^ p p p
=p =p =qep O cavalo veloz e forte O cavalo forte e veloz = q ou p O carro branco ou azul O carro azul ou branco = ~q ~p
p ^ q
2. DISJUNO - Conectivo "ou" pelo menos um " eu te darei uma bola OU te darei uma bicicleta" p V V F F q V F V F p V V V F q
3. DISJUNO EXCLUSIVA - Conectivo "ou... ou..." duas situaes mutuamente excludentes "ou te darei uma bola ou te darei uma bicicleta" p V V F F q V F V F ou p ou q F V V F
3. CONDICIONAL - Conectivo "Se... Ento..." Uma condio suficiente gera um resultado necessrio" Se nasci em Recife ento sou Pernambucano p V V F F q V F V F p V F V V q Equivalentes: Se A, B. B se A. Quando A, B A implica B
4.BICONDICIONAL - Conectivo "...se e somente se..." Eduardo fica alegre se e somente se Mariana sorri. o mesmo que: Eduardo fica alegre somente se Mariana sorri e Mariana sorri somente se Eduardo fica alegre. o mesmo que: Se Eduardo fica alegre, ento Mariana sorri e se Mariana sorri, ento Eduardo fica alegre p V V F F 5. NEGAO ~(p ^ q) ~(p ~(p ~(p q) q) q) ~p ~q q V F V F p V F F V q