Material de Apoio II REGRAS DE INFERÊNCIA (1)

•

FAEL

0

Cristina vieira nardelli

15/11/2017

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

E aí, curtiu este material?

Ajude a incentivar outros estudantes a melhorar o conteúdo

Gostou desse material? Compartilhe! 🧡

Lógica I

21.622 Materiais compartilhados

Baixe o app para aproveitar ainda mais

Leia os materiais offline, sem usar a internet. Além de vários outros recursos!

Prévia do material em texto

Curso de Matemática – FAEL Lógica Matemática 
 
 
REGRAS DE INFERÊNCIA 
 
 
 Adição (AD): Simplificação (SIMP): 
 
 
qp
p

 
pq
p

 
p
qp  
q
qp  
 
 
 
 
 Conjunção (CONJ): Absorção (ABS): 
 
 
qp
q
p

 
pq
q
p

 
)( qpp
qp

 
 
 
 
 Modus Ponens (MP): Modus Tollens (MT): 
 
 
q
p
qp
 
p
q
qp
~
~

 
 
 
 
Silogismo disjuntivo (SD): Silogismo hipotético (SH): 
 
 
q
p
qp
~

 
p
q
qp
~

 
rp
rq
qp



 
 
 
 
Dilema construtivo (DC): Dilema destrutivo (DD): 
 
sq
rp
sr
qp




 
rp
sq
sr
qp
~~
~~



