Scribd
Carregar
457 visualizações2 páginas

Tabela RLM

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.

Enviado por

Concurseiro Federa
Direitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato DOC, PDF, TXT ou leia on-line no Scribd
457 visualizações2 páginas

Tabela RLM

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.

Enviado por

Concurseiro Federa
Direitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato DOC, PDF, TXT ou leia on-line no Scribd

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

Negação

Você também pode gostar