LISTA 9 - Regras de Inferência

1. Usar a regra "Modus Ponens" (MP) para deduzir, das premissas dadas, a conclusão indicada. Lembre-se que a última fórmula da seqüência dada é a conclusão e as anteriores, as premissas.

a) p ® q , q ® r , p , r

b) p ® ~ q , p, ~ q ® r , r

c) p ® q Ù r , q Ù r ® s, p , s

d) ~ p ® q Ú r , s Ú t ® ~ p, s Ú t, q Ú r

e) p ® ~ q, p, ~ q ® r, r ® ~ t , ~ t

f) p Ú q, p Ú q ® ~ r, ~ r ® s Ù ~ t , s Ù ~ t ® m Ú n , m Ú n

2. Usar a regra "Modus Ponens" (MP) para deduzir, das premissas dadas, a conclusão indicada. Lembre-se que a última fórmula da seqüência dada é a conclusão e as anteriores, as premissas.

a) 2>1®3>1,3>1®3>0,2>1,3>0

b) x+1=2,x+1=2®y+1=2,y+1=2®x=y,x=y

c) x+0=y®x=y,x+0=y,x=y®x+2=y+2,x+2=y+2

d) (a>b Ù b>c)®a>c,a>b Ù b>c,a>c®a>10,a>10

3. Usar as regras "Modus Ponens" (MP) ou "Modus Tollens" (MT) para deduzir, das premissas dadas, a conclusão indicada. Lembre-se que a última fórmula da seqüência dada é a conclusão e as anteriores, as premissas.

a) p ® q, ~ p ® r, ~ q , r

b) p ® q, q ® ~ ~ r , s ® ~ r , p , ~ s

c) p ® ~ q , ~ ~ q , ~ p ® r Ù s , r Ù s

d) x¹0®y=1,x=y®y=t ,y=t®y¹1 ,x=y , x=0

4. Usar as regras da "Conjunção" (C), "Simplificação" (Sim), "Modus Ponens" (MP) ou "Modus Tollens" (MT) para verificar que são válidos os seguintes argumentos :

a) p Ù q, p ® r, q Ù r

b) ~ p Ù q, r ® p , ~ p Ù ~ r

c) r® p, r® q, r, p Ù q

d) ~ p® q, ~ (rÙ s), p ® rÙ s, ~ pÙ q

5. Usar a regra do "Silogismo Disjuntivo" (SD) ou outras regras para verificar que são válidos os seguintes argumentos :

a) p Ú q, ~ r, q ® r, p

b) p Ù q, r Ú s, p® ~ s, r

c) p, p® ~ q, qÚ r, p Ù r

d) ~ p, pÚ (qÚ r), ~ r , q

e) p Ú ~ q, ~ ~ q, p® rÙ s , s

f) x=y Ú x=z, x=z®y=6, y¹ 6, x=y

6. Usar a regra da "Adição" (AD) ou outras regras para verificar que são válidos os seguintes argumentos:

a) p Ú q, p® r, ~ r, q Ú s

b) p Ù ~ ~ q, r® ~ q, ~ r® s, s Ú ~ p

c) ~ p, q® p, ~ q Ú r® s, s

d) p Ù q® s, r, r® p Ù q, s Ú q

e) p Ù ~ q, r® q, r Ú s, p Ú s® t, t

Celina Abar

PUCSP-2004