O documento descreve diferentes conectivos lógicos:
1) "e" e "ou" representam conjunção e disjunção respectivamente;
2) "ou...ou..." representa disjunção exclusiva;
3) "se...então..." representa uma proposição condicional;
4) "...se e somente se..." representa uma proposição bicondicional.
O documento descreve diferentes conectivos lógicos:
1) "e" e "ou" representam conjunção e disjunção respectivamente;
2) "ou...ou..." representa disjunção exclusiva;
3) "se...então..." representa uma proposição condicional;
4) "...se e somente se..." representa uma proposição bicondicional.
O documento descreve diferentes conectivos lógicos:
1) "e" e "ou" representam conjunção e disjunção respectivamente;
2) "ou...ou..." representa disjunção exclusiva;
3) "se...então..." representa uma proposição condicional;
4) "...se e somente se..." representa uma proposição bicondicional.
O documento descreve diferentes conectivos lógicos:
1) "e" e "ou" representam conjunção e disjunção respectivamente;
2) "ou...ou..." representa disjunção exclusiva;
3) "se...então..." representa uma proposição condicional;
4) "...se e somente se..." representa uma proposição bicondicional.
Baixe no formato DOC, PDF, TXT ou leia online no Scribd
Fazer download em doc, pdf ou txt
Você está na página 1/ 2
Conectivo “e”: (conjunção)
Quero uma empregada que lave e passe.
Conectivo “ou”: (disjunção)
Entrega-me o documento carimbado ou assinado.
- só não recebo o documento se não tiver carimbado ou
assinado.
Conectivo “ou ... ou...”: (disjunção exclusiva)
Ou vou a praia ou vou ao cinema.
Conectivo “se ... então...”: (condicional)
Se nasci em Fortaleza, então sou cearense.
- Nasci em Fortaleza e sou cearense.
- Nasci em Fortaleza, mas não sou cearense. - Não nasci em Fortaleza e sou cearense. - Não nasci em Fortaleza e não sou cearense.
Conectivo “... se e somente se ...”: (bicondicional)
O peso deve ser igual em ambos os lados.
- se coloco peso diferente a balança não fica igual.
(balança) NEGAÇÃO DILEMA: p∧q ~p v ~q pvq ~p ∧ ~q p⊻q p↔q p→q p ∧ ~q p↔q (p ∧ ~q) ou (~q ∧ p)
EQUIVALÊNCIA p∧q (q ∧ p) ou (~q → ~p) pvq ~p → q p→q (~p v q) ou (~q → ~p) p↔q (p → q) e (q → p)
CONSTRUTIVO: --------------------------------------------------------------------- p1 → q1 NEGAÇÃO p2 → q2 p ~p q1 v q2 Nenhum homem é feio Algum homem é feio --------------- = p1 v p2 Todo homem é feio Algum homem não é feio DESTRUTIVO: EQUIVALÊNCIA p ~p p1 → q1 Nenhum homem é feio Todo homem não é feio p2 → q2 ~q1 v ~q2 Todo homem é feio Nenhum homem não é feio -------------- = ~p1 v ~p2
