O Argumento P Q P Q R S S R R

apresentamos uma introdu»~o µ l¶gica, que nos ser¶ su¯ciente como ca a o a ferramenta de trabalho nos cap¶ ³tulos posteriores. 1.1 Proposi»~es e seus conectivos co O estudo da l¶gica ¶ o estudo dos princ¶ o e ³pios e m¶todos usados para distinguir argumentos e v¶lidos dos n~o v¶lidos. O prop¶sito deste cap¶ a a a o ³tulo preliminar em l¶gica ¶ ajudar o leitor o e a entender os princ¶ ³pios e m¶todos usados em cada passo de uma demonstra»~o. e ca O ponto de partida em l¶gica ¶ o…

. . . 1.4 Tautologias, Contingˆencias e Contradi¸c˜oes . . . 1.5 Equivalˆencia Tautol´ ogica . . . . . . . . . . . . . 1.6 Validade . . . . . . . . . . . . . . . . . . . . . . 1.6.1 Passos L´ ogicos . . . . . . . . . . . . . . 1.6.2 Validade de Argumentos . . . . . . . . . 1.6.3 O M´etodo das Tabelas de Verdade . . . 2 L´ ogica Mon´ adica 2.1 O C´ alculo Sentencial . . . . . . . . . . . . . . 2.1.1 O CS . . . . . . . . . . . . . . . . . . 2.1.2 Insuficiˆencia do CS . . . . . . . . . . .…

Aplicações do Cálculo Proposicional 3.1 3.2 Circuitos de chaveamento . . . . . . . . . . . . . . . . . . . . . . . Circuitos lógicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 33 39 4 Dedução no Cálculo Proposicional 4.1 Argumentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 46 1 SUMÁRIO 2 4.2 4.3 4.4 Dedução . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Simplicação da Conclusão . . . . . . . . . . .…

MATEMÁTICA DISCRETA I TEORIA DA INFERÊNCIA ARGUMENTO: é uma sequência finita de sentenças : A1 A2 A3 . . . An-1 An , onde A1 A2 A3 . . . An-1 são chamadas premissas e An é a conclusão. REGRAS DE INFERÊNCIA: - Regra P : uma premissa pode ser introduzida em qualquer lugar da derivação. - Regra T : uma sentença S' pode ser introduzida na derivação se, na derivação existem ... Sn tais que S' é consequência da junção de algumas delas. S 1 , S2 , - Regra PC : (regra da Prova…

Capítulo 1 A linguagem da Lógica Proposicional Origem da Lógica Na Grécia Antiga, 342 a.C, em meio a embates filosóficos, Aristóteles sistematizou a Lógica com o intuito de verificar que argumentos eram válidos, elevando-a assim à categoria de ciência. Em sua obra chamada Organum (“ferramenta para o correto pensar”), estabeleceu princípios tão gerais e sólidos que até hoje são considerados válidos. Origem da Lógica Aristóteles se preocupava com as formas de raciocínio que, a

III. Se p e q são proposições, então a proposição “(p → q) ∨ (~q)” é uma tautologia. É verdade o que se afirma APENAS em: a) I. b) II. c) III. d) I e II. e) I e III. 06. Se p e q são proposições, então a proposição p ∧ (~q) é equivalente a a) ~(p → ~q) b) ~(p → q) c) ~q → ~p d) ~(q → ~p) e) ~(p ∨ q) 07. No argumento: “Se estudo, passo no concurso. Se não estudo, trabalho. Logo, se não passo no concurso, trabalho”, considere as proposições: p : " estudo",   q : " passo no concurso", e…

A eutansia deve ser permitida se, e s se, for aplicada a doentes terminais. Se Picasso espanhol e est vivo, ento no pintor. Picasso espanhol e, se est vivo, ento no pintor. Picasso espanhol, mas no est vivo. Picasso no est vivo, embora seja espanhol e pintor. No acontece depressa e bem. Vou praia e tomo banho ou leio um livro. () Se o professor no se despachar, chega tarde escola e os alunos tm folga. Pedro e Ins amam-se. Formaliza os seguintes argumentos Se for praia e tomar…

Considerando que P seja a proposição “Se o bem é público, então não é de ninguém”, julgue os itens subsequentes. 61. (CESPE-UnB) A proposição P é equivalente à proposição “Se o bem é de alguém, então não é público”. Solução I. Escrita organizada da proposição P Se O bem é público, então Não é de ninguém. Uma forma de escrever a proposição acima O bem é público,  Não é de ninguém. II. Simbolizar É igual à proposição acima, agora com simbologia. O bem é público, p   Não é de…

Ana P Silva Alexander Lista 2 – Parte 1 Os exercícios desta lista têm como fundamento os tópicos 7,8 e 9. Você deverá postá-los na atividade correspondente somente os itens solicitados. 1. Determinar, por meio de tabela verdade, a validade dos argumentos: OBS: Entregar os itens: a, g,i, j e m. a) p  q, q p 1 2 3 ((p q) ^ q) -> p V V V V V V V V F F F F V V F F V F V V F F V F F F V F g) p -> ¬q, ¬r…

Determinar a ligação do seguinte circuito: 2) Desenhar os circuitos cujas ligações são: a) p . ( p’ + q . p ) b) ( x + y’ ) . ( x’ + y ) Exercícios: 2) Determinar as expressões algébricas dos seguintes circuitos: a) b) 3) Desenhar os circuitos cujas ligações são dadas pelas expressões: a) ( p + q ) . ( p’ + q’ ) b) p . ( q + r ) c) p . [ q’ . ( s + r ) + r . s ] + ( p + p’ ) . ( r . s’ + s ) CONJUNTOS Sejam a, b, c ... conjuntos de pontos tomados num…