Академический Документы
Профессиональный Документы
Культура Документы
Proposies Compostas:
So proposies simples ligadas, ou melhor, conectadas atravs
dos operadores lgicos que so: e; ou; se ... ento; se; somente se.
Carregam duas ou mais ideias, que so ligadas atravs de conectivos
lgicos.
Ideia 1
Ideia 2
Representao: p ^ q
P e q (P mais q)
Representao: p q
P ou q (p e q)
Representao: p q
P OU exclusivo q
(expresso de exclusividade).
O primeiro passo cria uma proposio exclusiva? No. Duas
pessoas diferentes, fazendo coisas diferentes, no proibido que faam
ao mesmo
tempo. Porem, voc encontra uma expresso de
exclusividade, mas no ambos. O no ambos nos garante que no
podem acontecer duas coisas ao mesmo tempo. Posso encontrar
tambm como: nunca os dois, mas no ambos, nunca ambos, no
simultaneamente. Isso transforma qualquer Disjuno Inclusiva em
Exclusiva
EXPRESSO DE EXCLUSIVIDADE
nunca os dois, mas no ambos, nunca ambos, no simultaneamente.
A condio implica na
concluso.
Seta sempre apontando
para a concluso
Representao: p
P se e comente se q.
V
Toda a proposio FALSA.
O que era falso vira verdadeiro e o que for verdadeiro vira falso.
Representa a mudana do valor lgico, aquilo que se apresenta
verdadeiro passa a ser falso e o que se apresenta falso, passa a ser
verdadeiro.
Ex: p: A galinha pe ovo.- V
p: A galinha no pe ovo.
TABELA VERDADE
Nome
Modus Ponens
Modus Tollens
Sequncia
((p q) p)
q
((p q) q)
p
((p q)
Silogismo Hipottico
(q r))
(p r)
Silogismo Disjuntivo
((p q) p)
q
((p q)
Dilema Construtivo
(r s) (p r))
(q s)
((p q)
Dilema Destrutivo
(r s) (q
s)) (p r)
Simplificao
(p q) p
Descrio
Se p ento q; p; consequentemente q
Se p ento q; no q; consequentemente no p
Se p ento q; se q ento r;
consequentemente, se p ento r
p ou q; no p; consequentemente, q
p e q so verdadeiros; consequentemente p
verdadeiro.
p e q so verdadeiros separadamente;
Conjuno
p, q (p q)
Adio
p (p q)
p verdadeiro; consequentemente a
disjuno (p or q) verdadeira
((p q)
Se p ento q; e se p ento r;
(p r)) (p
consequentemente se p verdadeiro
(q r))
ento q e r so verdadeiros
Teorema de De
(p q)
Morgan (1)
(p q)
(no p ou no q)
Teorema de De
(p q)
Morgan (2)
(p q)
consequncia (no p e no q)
Composio
Commutao (1)
Commutao (2)
Associatividade (1)
Associatividade (2)
(p q)
(q p)
(p q)
(q p)
((p q) r)
ou r
(p (q r))
((p q) r)
((p q)
(p r))
(p (q r))
Distributividade (2)
(p (q r))
(p (q r))
Distributividade (1)
((p q)
(p r))
Dupla Negao
Transposio
Implicao Material
Equivalncia
Material (1)
Equivalncia
Material (2)
p p
no q ento no p
(p q)
(p q)
no p ou q
(p q)
((p q)
(q p))
(p q)
((p q) (q
p))
Equivalncia
(p q) ((p
Material (3)
q) (q p))
((p q) r)
(p (q r))
Importao
Tautologia (1)
(p (q r))
((p q) r)
p (p p)
Tautologia (2)
p (p p)
(p p)
p ou no p verdadeiro