Tollens

(ii) p, q |------- 9 A P * II. Simplificação (SíMP): (i) p A q |------ p ; III. Conjunção (CONJ): (i) p, q i----- p A q ; IV. Absorção (ABS): P ^ q i -----p ~ * (p A q) V, Modus ponens (MP): p^q> VI. Modus tollens — q (MT): p -» q , ~ q |------ ~ p VIL Silogismo disjuntivo (SD): (i) p V q, ~ p |----- q; (ii) p V q, ~ q l------p VIII. Silogismo hipotético (SH): p -> q, IX. q -> 11---- p -+ r - …

a conclusão é plausível. Conclusão provisória. Argumentos Dedutivos MODUS PONENS (Afirmação do Antecedente) Premissa: Se A, então B Premissa: A Conclusão: B Se estudar TADI, então serei aprovado. Estudei, portanto fui aprovado. MODUS TOLLENS (Negação do Conseqüente) Premissa: Se A, então B Premissa: não-B Conclusão: não-A Se estudar TADI, então serei aprovado. Não fui aprovado, portanto, não estudei. Argumentos Dedutivos SILOGISMO HIPOTÉTICO Premissa: Se A, então…

Adicionar 3 a 4 gotas de lcool t-butlico a 30 gotas do reagente de LUCAS em um tubo de ensaio. Agitar a mistura vigorosamente. Deixar em repouso e observar o que acontece. Repetir o mesmo processo, usando lcool etlico. b) Teste de Tollens - Preparao do reagente de tollens Em um tubo de ensaio, colocar 2 mL de uma soluo a 5 de AgNO3. Em seguida adicionar uma gota da soluo a 10 de NaOH. Agitar o tubo e juntar soluo de NH4OH a 10, gota a gota, com agitao, at que o precipitado de hidrxido…

abaixo, utilizando as regras primitivas de prova. S11* S12* S13 S14* S15 S16* S17* S18* S19 S20 S21* S22 S23 S24 S25 S26* S27 S28* S29 S30 S31 S32* S33 S34 S35 S36 P ⊣⊢ ~~P Negação Dupla P → Q, ~Q ⊢~P Modus Tollendo Tollens P→~Q, Q ⊢~P MTT ~P → Q, ~Q ⊢ P MTT ~P → ~Q, Q ⊢ P MTT P→Q, Q →R ⊢ P→R Silogismo Hipotético P ⊢ Q→P Consequente Verdadeiro ~P ⊢ P→Q Antecedente Falso P ⊢ ~P→Q AF P → Q, P → ~ Q ⊢ ~P Antecedente Impossível ~P ∨ Q ⊣⊢P →…

1.3.1); por outro lado, na solu»~o do Exemplo 1.8, acima, estabelecemos tal equival^ncia ca e em apenas cinco passos. 1.5.1 Exerc¶ ³cios Demonstre as seguintes tautologias pelo m¶todo dedutivo. e 1. Modus Ponens: p ^ (p ! q) ) q 2. Modus Tollens: » q ^ (p ! q) ) » p 3. Reductio ad Absurdum: (p ! q) , (p ^ » q ! c) 4. Silogismo Disjuntivo: (p _ q) ^ » p ) q 5. Teorema 1.7(c): c ) p 6. (p ! q) , (p ! p ^ q) 7. (p ! q) , (p _ q ! q) 8. (p ! q) , » p _ q 9. (p ! r) ^ (q ! r) , (p _…

Sonuç olarak, tez yanlıştır. 1-40 20 Modus Ponens – Doğrulama Metodu p q D D D Y Y D Y Y p → r D Y D D Birinci satır dayanakların doğru olduğunda sonuçta doğru olduğundan tezin geçerli olduğunu göstermektedir 1-41 Moden Tollens - Reddetme p D D Y Y q D Y D Y p → q ~q D Y D D Y D Y D ~p Y Y D D Son satır dayanakların doğru olduğunda sonuçta doğru olduğundan tezin geçerli olduğunu göstermektedir 1-42 21 Yanılgılar - dikkat Geçerli değildir!

confundem facilmente com duas falácias proposicionais. 1. Modus ponens diferente da Falácia da Afirmação do Consequente Modus Ponens – M.P. P  Q P Q Falácia da Afirmação do Consequente P  Q Q P 2. Modus tollens diferente da Falácia da Negação do Antecedente Modus Tollens – M.T. P  Q ~Q ~P Falácia da Negação do Antecedente P  Q ~P ~Q • É preciso conhecer, também, as seguintes formas válidas: 3. Silogismo disjuntivo Silogismo Disjuntivo – S.D. P  Q…

= “Correr” e B = “o bicho pega”. Então a ideia “Se correr o bicho pega” é representado pela formula (α→β). Sendo verdade que Correu (ou seja, a), então pela regra Modus ponens e também o senso comum, podemos inferir que o bicho pegou (B). Modus Tollens (MT) Significa, em latim, “modo que nega” é uma inferência que, a partir, de duas premissas, sendo a primeira a uma condição “Se A então B”, e a segunda a negação da veracidade da conclusão B, conclui que A também deve ser falsa.…

[pic] [pic] [pic] Normalmente no son usadas, ya que por las otras dos es posible representarlas. SUBJETIVAS. Prescriptitas y postulativas OBJETIVAS. observación y descriptivas; La realidad se encarga de validar o falsear MODUS TOLLENS 01) p( (q ( s) 02) (p 03) ( (q ( s) MODUS PONENS 01) p( (q ( s) 02) p 03) q ( s SIMPLIFICACIÓN 01) p ( q: 1 02) p 02') q ADICIÓN 01) p 02) q 03) p ( q III. POR DEFINICIÓN II (regla de la…

Morgan) ((~q ( p) ( ~q) ( q ( (De Morgan) (~q ( ~q) ( (~q ( p) ( q ( (distributiva) ~q ( (~q ( p) ( q ( (idempotente) (~q ( q) ( ( ~q ( p ) ( (associativa) V ( (~q ( p ) ( (complementares) V (identidade) e) Regra de Modus Tollens: (p ( q) ( ~q ( ~p (p ( q) ( ~q ( ~p ( V (devemos demonstrar que a relação de implicação equivale a uma tautologia) (~p ( q) ( ~q ( ~p ( (De Morgan) (~q ( ~p) ( (~q ( q) ( ~p ( (Distributiva) (~q ( ~p) ( F ( ~p ( (Complementares)