Argumentos e Regras de Inferncia

Prof.: Vincius Samuel Valrio de Souza Disciplina: Lgica e Matemtica Discreta

Agenda
Argumentos; Regras de Inferncia;

Argumentos
Definio: Dado um conjunto de proposies P1, P2, ..., Pn (n 1) e uma proposio Q, diz-se que um argumento uma afirmao de que a seqncia dos Pi (1 i n) acarreta na proposio Q;

Notao: P1, P2, ..., Pn |- Q; Observaes:

P1, P2, ..., Pn so chamadas premissas; Q chamada concluso;

Argumentos
Exemplos de argumentos:

p |- p q; p |- p q; p q |- p q; p q, p |- p q; p, q |- p q; p q, p |- q;

Argumentos
Validade de um argumento:

Um argumento P1, P2, ..., Pn |- Q dito vlido se e somente se, quando Q verdadeiro, todas as premissas Pi so verdadeiras tambm;
Critrio de Validade: Se um dado argumento P1, P2, ..., Pn |- Q vlido, ento a proposio P1 P2 ... Pn Q uma tautologia;

Um argumento que no vlido dito ser um sofismo;

Argumentos
Exemplo: Determine quais dos argumentos so vlidos:

p |- p q; p |- p q; p q |- p q; p q, p |- p q; p, q |- p q; p q, p |- q;

Argumentos
Argumentos vlidos fundamentais:

Adio (AD):
P |- P Q; ou P |- Q P;

Simplificao (SIMP):
P Q |- P; ou P Q |- Q;

Conjuno (CONJ):
P, Q |- P Q ou P, Q |- Q P;

Argumentos
Argumentos vlidos fundamentais:

Absoro (ABS):
P Q |- P (P Q)

Modus Ponens (MP):

P Q, P |- Q;

Modus Tollens (MT):

P Q, ~Q |- ~P;

Argumentos
Argumentos vlidos fundamentais:

Silogismo Disjuntivo (SD):

P Q, ~P |- Q ou P Q, ~Q |- P;

Silogismo Hipottico (SH):

P Q, Q R |- P R;

Dilema Construtivo (DC):

P Q, R S, P R |- Q S;

Dilema Destrutivo (DD):

P Q, R S, ~Q ~S |- ~P ~R;

Regras de Inferncia
Os argumentos bsicos anteriores so muito usados para fazer inferncias (execuo de passos) em uma prova ou deduo;

Por esse motivo tais argumentos tambm so chamados de regras de inferncia; Notao:
<Premissas> <Concluso>

10

Regras de Inferncia
Regras de inferncia bsicas:

Regra da Adio (AD): p p q Regra da Simplificao (SIMP): p q p Regra da Conjuno (CONJ): p q p q

p q p p q q p q p q

11

Regras de Inferncia
Regras de inferncia bsicas:

Regra da Absoro (ABS): p q p (p q) Regra Modus Ponens (MP); p q p q Regra Modus Tollens (MT): p q ~q ~p

12

Regras de Inferncia
Regras de inferncia bsicas:

Regra do Silogismo Disjuntivo (SD): p q p q ~p ~q q p Regra do Silogismo Hipottico (SH): p q q r p r

13

Regras de Inferncia
Regras de inferncia bsicas:

Dilema Destrutivo (DD): p q r s ~q ~s ~p ~r

14