O Argumento P Q P Q R S S R R

Implicações 2.1.5 Se, e somente se 2.2 Tautologias e Contradições 2.3 Quantificadores 2.4 Validade de Argumentos 2.4.1 Tabela-Verdade 2.4.2 Regras de Inferência 2.4.3 Árvore de Refutação 2.4.4 Argumentos envolvendo quantificadores 4 4 5 6 7 7 9 9 10 12 13 14 16 18 3 Técnicas de Provas 3.1 O Método Direto Prova por Contradição (Redução ao Absurdo) Provas tipo P se, e somente se, Q Prova por Casos Provas de Existência Provas de Unicidade Uso de…

2.5. Operações ou Conectivos lógicos 3 2.6. Fórmulas Proposicionais 8 2.7. Aplicação em Linguagem de Programação 9 2.8. Tabela Verdade 9 2.9. Equivalências Lógicas 13 3. Conseqüência Lógica 19 3.1. Regras de Inferência 20 3.2. Validade de Argumentos - Cálculo de Dedução Natural 24 4. Lógica dos Predicados 33 4.1. Sentenças abertas 33 4.2. Quantificadores 34 4.3. Formalização de Enunciados 37 4.4. Validade de Formas Predicativas 43 6. Álgebra Booleana 52 6.1. Introdução a…

validade de um argumento são chamados regra de inferências. 1 Regra da Adição (AD) – Dada uma proposição p, dela se pode deduzir a sua disjunção com qualquer outra proposição. p ~p ( p  q) pvq ~p v q ( p  q) v r 2 Regra da Simplificação (SIMP) – Da conjunção p  q de duas proposições se pode deduzir uma das proposições, p ou q. ( p v q)  r p~q xA  xB xA ~q 3 Regra da conjunção (CONJ) – Permite deduzir de duas proposições pvq dadas p e q a sua conjunção p  q ou q  p …

representadas por letras minúsculas p, q, r, s... A Lógica Matemática adota como regras fundamentais os dois seguintes princípios (ou axiomas): Princípio da não contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo. Princípio do terceiro excluído: toda proposição ou é verdadeira o é falsa (isto é, só observamos um desses casos, nunca um terceiro). Exemplos: A lua é um satélite da Terra (V) Recife é a capital de Pernambuco (V) Z ( R (V) Não são…

N A R R AT I V O • A R G U M E N TAT I V O • INJUNTIVO OU INSTRUCIONAL • DESCRITIVO • EXPOSITIVO TIPOLOGIA TEXTUAL O TEXTO ARGUMENTATIVO O TEXTO ARGUMENTATIVO O TEXTO ARGUMENTATIVO É AQUELE QUE , ALÉM DE ANALISAR, EXPLICAR, INTERPRETAR E AVALIAR OS VÁRIOS ASPECTOS DE UM TEMA ESPECÍFICO, ASSOCIA ESSAS CARACTERÍSITCAS À DEFESA DE UM PONTO DE VISTA. O texto argumentativo: características • EXPÕE UMA IDEIA OU UM PONTO DE V I S TA

lógicos “verdade” ou “falsidade”. Por este motivo, chamamos a Lógica Matemática de bivalente. As proposições serão indicadas por letras p, q, r, s, t, ... e o seu valor lógico por V(p) = V (ou 1) para uma proposição verdadeira e, V(p) = F (ou 0) para uma proposição falsa. Exemplos e contra-exemplos 1) p: Salvador é a capital da Bahia 2) q: 2 + 3 < 5 3) r: O poeta Castro Alves era baiano. 4) x + 2 = 1 5) Como faz calor! 6) Que dia é hoje? Como foi convencionado na…

LISTA DE EXERCÍCIOS 1. Demonstrar a validade do argumento ¬p → q, q → ¬r, r V s, ¬s → p. 2. Considere o seguinte argumento: “Se as taxas de juros caírem, o mercado imobiliário vai melhorar. A taxa federal de descontos vai cair ou o mercado imobiliário não vai melhorar. As taxas de juros vão cair. Por tanto, a taxa federal de descontos vai cair.” Verifique, usando prova direta, se este argumento é, ou não, válido. 3. Considere o seguinte argumento: “Meu cliente é canhoto, mas se o…

referente à disjunção exclusiva. A tabela correta, como já sabíamos, é a seguinte: p V V F F q V F V F p∨q F V V F TABELA 05 No finalzinho da página 15, na Tabela 39, trocamos dois valores lógicos da terceira coluna: assim, na segunda linha, onde há um V, leia-se F; e na terceira linha, o inverso: onde há um F, leia-se V. A Tabela 39 correta é a seguinte: p V TABELA 39 V F F q V F V F (p ∧ q) V F F F p → (p ∧ q) V F V V Na página 18, ao resolver as questões 1 e 4, em dois…

vermelhas e violetas são azuis. p ^ q ~ (p ^ q) ~ p v ~ q Rosas não são vermelhas ou Violetas não são azuis. (b) É falso que não está frio ou que está chovendo. ~ p v q ~ (~ p v q) ~ ~ p ^ ~ q p ^ ~ q Está frio e não está chovendo. (c) Não é verdade que o pai de Marcos é Pernambucano ou que a mãe é Gaúcha. ~ p v q ~ (~ p v q) ~ ~ p ^ ~ q p ^ ~ q Pai de Marcos é…

A validade das 10 regras de inferência pode ser comprovada facilmente com o uso das tabelas-verdade. Com o auxílio destas formas elementares de argumentos podemos construir estruturas argumentativas muito complexas. Modus Ponens (MP) P → Q P Q Se o antecedente de um condicional for verdadeiro, o seu consequente necessariamente é verdadeiro. Por esta razão, esta regra também é chamada de afirmação do antecedente. A validade desta regra é comprovada simplesmente observando a…