Tollens

que as seguintes proposições compostas, são TAUTOLOGIAS: 1) (p∧ q) → p 2) p → (p∨ q) 3) [p∧ (p→ q)] → q (esta tautologia recebe o nome particular de "modus ponens") 4) [(p→ q) ∧ ~q] → ~p (esta tautologia recebe o nome particular de "modus tollens") Você deverá construir as tabelas verdades para as proposições compostas acima e comprovar que elas realmente são tautologias, ou seja, na última coluna da tabela verdade teremos V V V V. NOTAS: a) as tautologias acima são também conhecidas

nosso quotidiano ao longo de toda a vida. Exemplo: “Se há um marciano, então há um raio de luz verde.” Modo Pollens – Há um marciano. Logo, há um raio de luz verde. Negação Antecedente – Não há um marciano. Logo, .................... Modo Tollens – Não há um raio de luz verde. Logo, não há um marciano. Afirmação Consequente – Há um raio de luz verde. Logo, .................... Teorias psicológicas da dedução. Existem três grandes grupos de teorias (saber os pressupostos básicos…

construção lógica do chamado "modus tollens" percebe-se que: dado um condicional [se p então q], a negação do conseqüente [q] leva a negar também o antecedente [p]. A regra da contrapartida se ajusta a esse esquema lógico, condição sem a qual o sistema não pode funcionar com equilíbrio. É que, se o esquema engendrado pelo § 5º, do art. 195 da Constituição, não admite a criação de nenhum beneficio sem a correspondente fonte de custeio total, por simples aplicação do modo tollens deve…

__________________________________________________________________________________________________________ Material: Tubos de ensaio, conta gotas, bico de gás, provetas de 10mL, banho-maria, pinças de madeira. Reagentes: Solução de iodo, reagente de Fehling, reagente de Tollens, solução de HCl 3M. Solução de NaOH 3M, Solução de NaOH 20%, papel indicador, reagente de Seliwanoff, reagente de Bial, solução de cloreto de metilamônio. Introdução: Carboidratos são aldeídos ou cetonas…

Filho o numerador representa as proposicoes aceitas como verdadei¸˜ ras (premissas) e o denominador representa a conclus˜o l´gica a o obtida (conseq¨ˆncia), como por exemplo: ue A ⇒ B, A B . Silogismos fortes: Modus ponens e modus tollens O primeiro silogismo forte reconhecido por Arist´teles ´ reo e ´ presentado exatamente pelo conte´do da ultima express˜o u a e corresponde ao processo de deduc˜o que ´ caracterizado ¸a e pelo modus ponens em l´gica. O famoso…

Exemplos de alguns testes: reativo detecta coloração 1 - Tese de Fehling sol. Cupro alcalina aç.redutores vermelho 2 - Teste de Benedict glicose azul 3 - Reação de Molish geral AR anel púrpura 4 - “ de Bial pentoses azul 5 - “ de Tollens pentoses rosa 6 - “ de Seliwanoff frutose vermelho LIGAÇÃO GLICOSIDICA DISSACARÍDEOS MALTOSE 2 D Gli (a 1,4 glicosídica) SACAROSE D Fru + D Glic (a 1,2 glicosídica) CELOBIOSE 2 D Gli (b 1,4 glicosídica) LACTOSE D Gal + D Gli (b…

(MP) P → Q P_____ Q Se o antecedente de um condicional for verdadeiro, o seu consequente necessariamente é verdadeiro. A validade desta regra é comprovada simplesmente observando a tabela verdade das proposições condicionais. Modus Tollens (MT) P → Q ~Q___ ~P Ao contradizer o consequente, somos obrigados a contradizermos também o antecedente. Novamente isto pode ser verificado simplesmente olhando a tabela verdade das proposições condicionais. Silogismo Hipotético (SH)

fundamentais ou b´sicos ( de uso corrente) os consa a a tantes da seguinte lista: O H N Adi¸˜o : ca P ⇒ P ∨ Q, P ⇒Q∨P (AD) Simplifica¸˜o : ca P ∧ Q ⇒ P, P ∧Q⇒Q (SIM P ) M odus ponens (P → Q) ∧ P ⇒ Q (M P ) M odus tollens (P → Q) ∧ ¬q ⇒ ¬P (M T ) ¬(¬P ) ⇔ P (DN ) Dupla nega¸ao : c˜ Silogismo hipo´tico e Silogismo disjuntivo A R U C S (P →) ∧ (Q → R ⇒ P → R (SH) (P ∨ Q) ∧ ¬P ⇒ Q, (SD) (P ∨ Q) ∧ ¬Q ⇒ P …

menos um automóvel que não é econômico 24. Considere o seguinte argumento: x ≠ 4 e x ≠ 4 ∨ x ≠ 1 Que regra de inferência foi utilizada para se afirmar que a conclusão é verdadeira? ( A ) Adição (AD). ( B ) Modus tollens (MT). ( C ) Silogismo hipotético (SH). ( D ) Dilema destrutivo (DD). ( E ) Simplificação disjuntiva (SIMPD). Justifique: A correta é: “A” PRINCÍPIOS DE SISTEMA DA INFORMAÇÃO 20. 21. 22. 23.…

testes rigorosos. Se os testes mostrarem que a teoria prediz falsas declarações observacionais, sabemos que a própria teoria é falsa. Popper advoga que se mude de uma argumentação indutiva para uma forma de argumento que os lógicos chamam modus tollens. Estes argumentos têm a seguinte estrutura: se p implica q e q é falso, então p é falso. Traduzindo para o contexto da filosofia da ciência, Popper está a sugerir que a racionalidade científica consiste no mesmo tipo de forma lógica: se a…