(Equivalência e Implicação lógica aula 10
|
|
- Laís Brás Fartaria
- 7 Há anos
- Visualizações:
Transcrição
1 Aula 2 (Equivalência e Implicação lógica aula 10 Professor: Renê Furtado Felix - Faculdade: UNIP rffelix70@yahoo.com.br - Site: renecomputer.net
2 Equivalência em Lógica Logica - Professor Renê F Felix 2
3 Definição Há equivalência entre as proposições p e q somente quando a bicondicional p q for uma tautologia ou quando p e q tiverem a mesma tabela-verdade. p q (p é equivalente a q) é o símbolo que representa a equivalência lógica. Do ponto de vista da teoria da demonstração, p e q são equivalentes se cada uma delas pode ser derivada a partir da outra. Semanticamente, p e q são equivalentes se elas têm os mesmos valores para qualquer interpretação. Logica - Professor Renê F Felix 3
4 Símbolo Diferenciação dos símbolos e O símbolo representa uma operação entre as proposições p e q, que tem como resultado uma nova proposição p q com valor lógico V ou F. O símbolo representa a não ocorrência de VF e de FV na tabela-verdade P Q, ou ainda que o valor lógico de P Q é sempre V, ou então P Q é uma tautologia. Logica - Professor Renê F Felix 4
5 Símbolo Os símbolos e são distintos! indica uma operação lógica. o Aplicado às proposições P e Q, resulta em uma nova proposição. indica uma relação. o Estabelece que a bi-condicional é tautológica. Logica - Professor Renê F Felix 5
6 Equivalência Lógica Propriedades Reflexiva P P Simétrica Se P Q então Q P Transitiva Se P Q e Q R, então P R Logica - Professor Renê F Felix 6
7 Equivalência Lógica - Revisando Algumas das equivalências mais importantes da Lógica: Leis da Comutatividade P Q Q P P Q Q P Obs.: Cada uma das equivalências pode ser provada, simplesmente mostrando que a bi-condicional correspondente é uma tautologia, bastando, para isso, construir sua Tabela Verdade. Logica - Professor Renê F Felix 7
8 Exemplos As seguintes sentenças são logicamente equivalentes: P(d, f): Se hoje é sábado, então hoje é fim de semana. P(d, f): Se hoje não é fim de semana, então hoje não é sábado. Em símbolos: d : "Hoje é sábado f : "Hoje é fim de semana" Sintaticamente, (d) e (f) são equivalentes pela Lei da Contraposição. Semanticamente, (d) e (f) têm os mesmos valores nas mesmas interpretações. Logica - Professor Renê F Felix 8
9 Exemplos P(p, q): se eu nasci, então papai nasceu p q é equivalente a: p q ~q ~p papai não nasceu, então eu não nasci Logica - Professor Renê F Felix 9
10 Proposições associadas a uma condicional Definição: Dada a condicional p q, chamam- se PROPOSIÇÕES ASSOCIADAS a p q, as 3 seguintes proposições condicionais que contêm p e q: Proposição RECÍPROCA de p q: q p Proposição CONTRÁRIA de p q: ~p ~q Proposição CONTRAPOSITIVA de p q: ~q ~p Logica - Professor Renê F Felix 10
11 Proposições associadas a uma condicional As tabelas-verdade dessas 4 proposições: p q p q q p ~p ~q ~q ~p Logica - Professor Renê F Felix 11
12 Equivalência Lógica Leis da Associatividade (P Q) R P (Q R) (P Q) R P (Q R) Leis da Distributividade P (Q R) (P Q) (P R) P (Q R) (P Q) (P R) Logica - Professor Renê F Felix 12
13 Equivalência Lógica Leis de De Morgan (P Q) P Q (P Q) P Q Leis da Idempotência P P P P P P Logica - Professor Renê F Felix 13
14 Equivalência Lógica Lei da Dupla Negação ( P) P Lei da Condicional P Q P Q Lei da Bi-condicional P Q (P Q) (Q P) P Q (P Q) ( P Q) P ~P ~~P Logica - Professor Renê F Felix 14
15 Equivalência Lógica Lei da Contraposição P Q Q P Lei de Clavius Lei de Clavius P ~P ~P P P P P Lei da Refutação por Absurdo (p q) (p q) p Logica - Professor Renê F Felix 15
16 Equivalência Lógica Lei da Absorção p p q p q p q p q p p q p p Logica - Professor Renê F Felix 16
17 Equivalência Lógica Lei do Dilema (P Q) ( P Q) Q Lei da Demonstração por Absurdo (onde F é uma contradição) P Q F P Q Lei de Exportação - Importação P (Q R) P Q R Logica - Professor Renê F Felix 17
18 Equivalência Lógica O conceito de equivalência nos permite mostrar que são suficientes as operações de negação e uma das duas, conjunção ou disjunção, para representar qualquer expressão proposicional: Eliminando o bi-condicional: P Q (P Q) ( P Q) Logica - Professor Renê F Felix 18
19 Equivalência Lógica Eliminando o condicional: P Q P Q Escrevendo a disjunção em termos de conjunção: P Q ( P Q) Escrevendo a conjunção em termos de disjunção: P Q ( P Q) Logica - Professor Renê F Felix 19
20 Equivalência Lógica Ex.: Escrever a proposição (P Q) P em termos da negação e disjunção Logica - Professor Renê F Felix 20
21 Equivalência Lógica Passos: (P Q) ~ P Eliminando o condicional ~(P Q) ~ P ~( (P Q) ( ~ P ~ Q) ) ~ P ~ ( ~ (~ P ~ Q) ~ (P Q) ) ~ P Eliminando o bi-condicional Conjunção em termos de disjunção Logica - Professor Renê F Felix 21
22 Exemplos A tabela da bicondicional (p q) (~q ~p) será: p q ~q ~p p q ~q ~p (p q) (~q ~p) V V F F V F V F Portanto, p q é equivalente a ~q ~p, pois estas proposições possuem a mesma tabela-verdade ou a bicondicional (p q) (~q ~p) é uma tautologia. Logica - Professor Renê F Felix 22
23 Exemplos A tabela da bicondicional (p q) (~q ~p) será: Portanto, p q é equivalente a ~q ~p, pois estas proposições possuem a mesma tabela-verdade ou a bicondicional (p q) (~q ~p) é uma tautologia. Logica - Professor Renê F Felix 23
24 Exemplos A B A B A A B A B V V F F V F V F Logica - Professor Renê F Felix 24
25 Equivalência Lógica Teoremas A proposição P é logicamente equivalente à proposição Q, ou seja, (P Q), sempre que o bicondicional (P Q) é uma tautologia. Logica - Professor Renê F Felix 25
26 Exemplos Mostrar que (p q) ^ (q p) e (p q) são equivalentes. p q p q q p (p q) ^ (q p) (p q) V V F F V F V F Logo, (p q) ^ (q p) (p q) Tabelas-verdade idênticas Logica - Professor Renê F Felix 26
27 Exemplos Mostrar que (p ^ q) ~(~p v ~q). p q p ^ q ~ p ~ q ~p v ~q ~(~p v ~q) p q V V V F F V F F Como (p ^ q) ~(~p v ~q) é uma tautologia, então (p ^ q) ~(~p v ~q), isto é, ocorre a equivalência lógica. Logica - Professor Renê F Felix 27
28 Implicação Lógica Logica - Professor Renê F Felix 28
29 Definição Implicação Lógica Diz-se que uma proposição P implica logicamente uma proposição Q, se Q é verdadeira todas as vezes que P é verdadeira: Dizemos que P implica Q e escrevemos P => Q Logica - Professor Renê F Felix 29
30 Implicação Lógica modus ponens: (significa modo de afirmar) p (p q) => q (forma clássica) (p q) p => q (pode ser apresentada nesta outra forma). (p q) p.. q p implica em q, ou seja acontecendo p, q necessariamente ocorrerá. p aconteceu, então q ocorreu também. Nós tivemos p, então houve q. Logica - Professor Renê F Felix 30
31 Implicação Lógica modus tollens: (significa modo de negar) ~q (p q) => ~p (forma clássica) (p q) ~q => ~p (pode ser apresentada nesta outra forma). (p q) ~q.. ~p p implica em q, q não ocorreu, então também não ocorreu p. q não aconteceu, então p também não ocorreu. Logica - Professor Renê F Felix 31
32 Implicação Lógica Exemplo: A B A B A V B A B V V V F F V F F A proposição A B é verdadeira somente na linha 1 e, nesta linha, as proposições A V B e A B também são verdadeiras. Logo, a primeira posição implica cada uma das outras posições, isto é: p ^ q p v q e p ^ q p q A B => A B A B => A B Logica - Professor Renê F Felix 32
33 Implicação Lógica As mesmas tabelas-verdade também demonstram as importantes Regras de Inferência: p q p ^ q p v q p q (Adição) p p v q e q p v q (Simplificação) p ^ q p e p ^ q q Logica - Professor Renê F Felix 33
34 Implicação Lógica 2. As tabelas-verdade das proposições p q, p q, q p são: p q p q p q q p A proposição p q é verdadeiras nas linhas 1 e 4 e, nestas linhas, as proposições p q e q p também são verdadeiras. Logo, a primeira posição implica cada uma das outras duas posições, isto é: p q p q e p q q p Logica - Professor Renê F Felix 34
35 Implicação Lógica 3. As tabelas-verdade das proposições (p v q) ^ ~p são: p q p v q ~ p (p v q) ^ ~p Esta proposição é verdadeira somente na linha 3 e, nesta linha, a proposição q também é verdadeira. Logo, subsiste a implicação lógica: (p v q) ^ ~p q Logica - Professor Renê F Felix 35
36 Implicação Lógica 4. A tabelas-verdade da proposições (p q) ^ p são: p q p q (p q) ^ p Esta proposição é verdadeira somente na linha 1 e, nesta linha, a proposição q também é verdadeira. Logo, subsiste a implicação lógica: (p q) ^ p q denominada Regra Modus ponens. Logica - Professor Renê F Felix 36
37 Implicação Lógica 5. A tabelas-verdade da proposições (p q) ^ ~q e ~p são: p q p q ~q (p q) ^ ~q ~p Esta proposição é verdadeira somente na linha 4 e, nesta linha, a proposição ~p também é verdadeira. Logo, subsiste a implicação lógica: denominada Regra do Modus tollens. (p q) ^ ~q ~p, As mesmas tabelas-verdade também mostram que ~p implica p q, isto é: ~p p q Logica - Professor Renê F Felix 37
38 Implicação Lógica Exemplo: p q p q p V q p q Regras Formulas atômicas V V F F V F V F Modus Ponens p (p q) => q Modus Tollens ~q (p q) => ~p Silogismo Hipotético (p q) (q r) =>(p r) Silogismo Disjuntivo Simplificação Adição (p V q) ~p => q p q => p p => p V q Logica - Professor Renê F Felix 38
39 Implicação Lógica Teorema A proposição P implica a proposição Q, isto é: P => Q se e somente se a condicional: P Q (1) é tautológica. Logica - Professor Renê F Felix 39
40 Implicação Lógica Se P implica Q, então, não ocorre que os valores lógicos simultâneos destas duas proposições sejam respectivamente V e F, e por conseguinte a última coluna da tabela-verdade da condicional (1) apresenta somente a letra V, isto é, esta condicional é tautológica. Reciprocamente, se a condicional (1) é tautológica, então, não ocorre que os valores lógicos simultâneos das proposições P e Q sejam respectivamente V e F, e por conseguinte a primeira proposição implica a segunda. Logica - Professor Renê F Felix 40
41 Exemplo A B A B A B (A B) (A B) V V F F V F V F A B => A B (A B) (A B) Logica - Professor Renê F Felix 41
42 Implicação Lógica Propriedades Reflexa - P => P Transitiva - Se P => Q e Q => R, então P => R Logica - Professor Renê F Felix 42
43 Implicação Lógica Algumas das implicações mais importantes da Lógica: Regra da Adição P => P Q Obs.: Cada uma das implicações pode ser provada, bastando para isso construir a Tabela Verdade da condicional correspondente; se a condicional for tautológica, será uma inferência. Logica - Professor Renê F Felix 43
44 Implicação Lógica Regra da Simplificação P Q => P Regra da Simplificação Disjuntiva (P Q) (P ~Q) => P Regra da Absorção P Q => P (P Q) Logica - Professor Renê F Felix 44
45 Implicação Lógica Regra do Silogismo Hipotético (ou Condicional) (P Q) (Q R) => P R Regra do Silogismo Disjuntivo (ou Alternativo) (P Q) ~P => Q Regra do Silogismo Conjuntivo (ou Incompatibilidade) ~(P Q) Q => ~P Logica - Professor Renê F Felix 45
46 Implicação Lógica Dilema Construtivo (P Q) (R S) (P R) => Q S Dilema Destrutivo (P Q) (R S) (~Q ~S) => ~P ~R Regra da Inconsistência (de uma contradição se conclui qualquer proposição) (P ~P) => Q Logica - Professor Renê F Felix 46
47 Modus Ponens (P Q) P => Q Modus Tollens (P Q) ~Q => ~P Regra da Atenuação P Q => P Q R Implicação Lógica Regra da Retorsão ~P P => P Logica - Professor Renê F Felix 47
48 Implicação Lógica e equivalência Uma diferença importantíssima entre a implicação e equivalência reside no fato de que, na implicação, só há o caminho de ida, não existe o de volta. Ou melhor, toda equivalência é uma implicação lógica por natureza. Diferentemente, a implicação não se trata necessariamente de uma equivalência lógica. Podemos então dizer que toda equivalência é uma implicação lógica, mas nem toda implicação é uma equivalência lógica. Logica - Professor Renê F Felix 48
49 Implicação Lógica e equivalência Assim: p ^ q p (certo) O caminho de volta pode estar errado se desejado: p p ^ q (errado) Na equivalência, pode-se ir e vir entre duas proposições. Temos: (~p v q) (p q) O caminho de volta seria perfeitamente válido: (p q) (~p v q) Logica - Professor Renê F Felix 49
50 Implicação Lógica e equivalência Em outras palavras: Dizer que p ^ q p é a mesma coisa que afirmar que p ^ q p Porém, p ^ q p não é a mesma coisa de dizer que p p ^ q Logica - Professor Renê F Felix 50
51 Equivalência Lógica As proposições P e Q são equivalentes quando apresentam tabelas verdades idênticas. Indicamos que p é equivalente a q do seguinte modo: p q. Exemplos: (p q) ^ ( q p) p q p q ~( p ^ ~ q ) ~p v q Logica - Professor Renê F Felix 51
52 Equivalência Lógica Exercício: Dizer que André é artista ou Bernardo não é engenheiro é logicamente equivalente a dizer que: a) André é artista se e somente Bernardo não é engenheiro. b) Se André é artista, então Bernardo não é engenheiro. c) Se André não é artista, então Bernardo é engenheiro. d) Se Bernardo é engenheiro, então André é artista. e) André não é artista e Bernardo é engenheiro. Resolução: Na expressão temos ~p v q p q ~q ~p Temos duas possibilidades de equivalência p q: Se André não é artista, então Bernardo não é engenheiro. Porém não temos essa opção. ~q ~p: Se Bernardo é engenheiro, então André é artista. Logo reposta letra d). Logica - Professor Renê F Felix 52
53 Equivalência Lógica Exercício: Dizer que Pedro não é pedreiro ou Paulo é paulista, é do ponto de vista lógico, o mesmo que dizer que:: a) Se Pedro é pedreiro, então Paulo é paulista. b) Se Paulo é paulista, então Pedro é pedreiro. c) Se Pedro não é pedreiro, então Paulo é paulista. d) Se Pedro é pedreiro, então Paulo não é paulista. e) Se Pedro não é pedreiro, então Paulo não é paulista. Resolução: Na expressão temos ~p v q p q p q: Se Pedro é pedreiro, então Paulo é paulista. Letra a). Logica - Professor Renê F Felix 53
54 Equivalência Lógica Exercício: Dizer que não é verdade que Pedro é pobre e Alberto é alto, é logicamente equivalente a dizer que é verdade que: a) Pedro não é pobre ou Alberto não é alto. b) Pedro não é pobre e Alberto não é alto. c) Pedro é pobre ou Alberto não é alto. d) se Pedro não é pobre, então Alberto é alto. e) se Pedro não é pobre, então Alberto não é alto. p: Pedro é pobre q: Alberto é alto A proposição é Pedro é pobre e Alberto é alto. (p ^ q) Logica - Professor Renê F Felix 54
55 Equivalência Lógica Logo, dizer que não é verdade que Pedro é pobre e Alberto é alto é negar toda a proposição Pedro é pobre e Alberto é alto. Aí, escrevendo a nossa proposição composta em linguagem simbólica: ~(p ^ q) Agora, vamos demonstrar na tabela-verdade... Logica - Professor Renê F Felix 55
56 Equivalência Lógica Resposta correta: a) ~(p ^ q) ~p v ~q Ou, no bom português, podemos dizer que: Não é verdade que Pedro é pobre e Alberto é alto é logicamente equivalente a dizer que Pedro não é pobre ou Alberto não é alto Logica - Professor Renê F Felix 56
57 Exercícios - Equivalência Lógica 1. A negação da afirmação condicional "se estiver chovendo, eu levo o guarda-chuva" é: a) se não estiver chovendo, eu levo o guarda-chuva b) não está chovendo e eu levo o guarda-chuva c) não está chovendo e eu não levo o guarda-chuva d) se estiver chovendo, eu não levo o guarda-chuva e) está chovendo e eu não levo o guarda-chuva Logica - Professor Renê F Felix 57
58 Exercícios - Equivalência Lógica 2.Chama-se tautologia a toda proposição que é sempre verdadeira, independentemente da verdade dos termos que a compõem. Um exemplo de tautologia é: a) se João é alto, então João é alto ou Guilherme é gordo b) se João é alto, então João é alto e Guilherme é gordo c) se João é alto ou Guilherme é gordo, então Guilherme é gordo d) se João é alto ou Guilherme é gordo, então João é alto e Guilherme é gordo e) se João é alto ou não é alto, então Guilherme é gordo Logica - Professor Renê F Felix 58
59 Exercícios - Equivalência Lógica 3. Considere as afirmações: A) se Patrícia é uma boa amiga, Vítor diz a verdade; B) se Vítor diz a verdade, Helena não é uma boa amiga; C) se Helena não é uma boa amiga, Patrícia é uma boa amiga. A análise do encadeamento lógico dessas três afirmações permite concluir que elas: a) implicam necessariamente que Patrícia é uma boa amiga b) são consistentes entre si, quer Patrícia seja uma boa amiga, quer Patrícia não seja uma boa amiga c) implicam necessariamente que Vítor diz a verdade e que Helena não é uma boa amiga d) são equivalentes a dizer que Patrícia é uma boa amiga e) são inconsistentes entre si Logica - Professor Renê F Felix 59
60 Exercícios - Equivalência Lógica 4. Se Rodrigo mentiu, então ele é culpado. Logo: a) Rodrigo é culpado. b) se Rodrigo não mentiu, então ele não é culpado. c) Rodrigo mentiu. d) se Rodrigo não é culpado, então ele não mentiu. e) se Rodrigo é culpado, então ele mentiu. Logica - Professor Renê F Felix 60
61 Exercícios - Equivalência Lógica 4. Se Rodrigo mentiu, então ele é culpado. Logo: a) Rodrigo é culpado. b) se Rodrigo não mentiu, então ele não é culpado. c) Rodrigo mentiu. d) se Rodrigo não é culpado, então ele não mentiu. e) se Rodrigo é culpado, então ele mentiu. Logica - Professor Renê F Felix 61
62 Exercícios - Equivalência Lógica 5. Se você se esforçar, então irá vencer. Logo: a) mesmo que se esforce, você não vencerá. b) seu esforço é condição necessária para vencer. c) se você não se esforçar, então não irá vencer. d) você vencerá só se se esforçar. e) seu esforço é condição suficiente para vencer. Logica - Professor Renê F Felix 62
63 Exercícios - Equivalência Lógica 5. Se você se esforçar, então irá vencer. Logo: a) mesmo que se esforce, você não vencerá. b) seu esforço é condição necessária para vencer. c) se você não se esforçar, então não irá vencer. d) você vencerá só se se esforçar. e) seu esforço é condição suficiente para vencer. Logica - Professor Renê F Felix 63
64 Conectivos lógicos Implicação Lógica Logica - Professor Renê F Felix 64
65 Dúvidas? Uma pessoa será tão feliz quanto a sua mente decidir. Abraham Lincoln Logica - Professor Renê F Felix 65
Lógica Matemática e Computacional. 2.3 Equivalência Lógica
Lógica Matemática e Computacional 2.3 Equivalência Lógica Equivalência Lógica Definição: Dadas as proposições compostas P e Q, diz-se que ocorre uma equivalência lógica entre P e Q quando suas tabelas-verdade
Leia maisFundamentos de Lógica Matemática
Webconferência 4-08/03/2012 Técnicas dedutivas Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Maneiras
Leia maisRaciocínio Lógico Matemático
Raciocínio Lógico Matemático Cap. 5 - Equivalência Lógica Equivalência Lógica Caro aluno, no último capítulo estudamos as implicações lógicas e foi enfatizado que o ponto fundamental da implicação lógica
Leia maisLógica. Na Grécia Antiga, 342 a.c, o filósofo Aristóteles sistematizou o conhecimento existente em Lógica, elevando-o à categoria de ciência.
Notas de aula Prof. Licinius (ICIBE/UFRA) Lógica A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. Na Grécia Antiga,
Leia maisCálculo proposicional
Cálculo proposicional Proposição Proposições são sentenças afirmativas declarativas que não sejam ambígüas e que possuem a propriedade de serem ou verdadeiras ou falsas, mas não ambas. Exemplos:. Gatos
Leia maisPROPOSIÇÕES. Proposições Simples e Proposições Compostas. Conceito de Proposição
PROPOSIÇÕES Conceito de Proposição Definição: chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. As proposições transmitem pensamentos, isto é,
Leia maisRACIOCÍNIO LÓGICO Simplif icado
Sérgio Carvalho Weber Campos RACIOCÍNIO LÓGICO Simplif icado Volume 1 2ª edição Revista, atualizada e ampliada Inclui Gráficos, tabelas e outros elementos visuais para melhor aprendizado Exercícios resolvidos
Leia maisRACIOCÍNIO LÓGICO QUANTITATIVO
RACIOCÍNIO LÓGICO QUANTITATIVO AULA 1 ESTUDO DA LÓGICA O estudo da lógica é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto. A lógica tem sido freqüentemente
Leia mais1. À primeira coluna (P), atribui-se uma quantidade de valores V igual à metade do total de linhas
LÓGICA MATEMÁTICA Walter Sousa Resumo teórico 1) PROPOSIÇÕES LÓGICAS SIMPLES Uma proposição é uma sentença declarativa que pode ser classificada em verdadeira (V) ou falsa (F), mas não ambas as interpretações.
Leia maisRACIOCÍNIO LÓGICO Simplificado
Sérgio Carvalho Weber Campos RCIOCÍNIO LÓGICO Simplificado Volume 1 2ª edição Revista, atualizada e ampliada Material Complementar PRINCIPIS CONCEITOS, REGRS E FÓRMULS DO LIVRO RCIOCÍNIO LÓGICO SIMPLIFICDO
Leia maisBases Matemáticas. Daniel Miranda 1. 23 de maio de 2011. sala 819 - Bloco B página: daniel.miranda
Daniel 1 1 email: daniel.miranda@ufabc.edu.br sala 819 - Bloco B página: http://hostel.ufabc.edu.br/ daniel.miranda 23 de maio de 2011 Elementos de Lógica e Linguagem Matemática Definição Uma proposição
Leia maisNoções básicas de Lógica
Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. uma expressão com significado Uma expressão pode ser expressão sem significado
Leia mais* Lógica Proposicional Formas de Argumento
* Lógica Proposicional Formas de Argumento Hoje é segunda-feira ou sexta-feira. Hoje não é segunda-feira. Hoje é sexta-feira. Lógica, Informática e Comunicação Elthon Allex da Silva Oliveira e-mail: el7hon@gmail.com
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 26 de Abril de 2017 Curso de Ciência da Computação Inferência Lógica Uma inferência lógica, ou, simplesmente uma inferência, é uma tautologia da forma
Leia maisFUNDAMENTOS DE LÓGICA PARA ADMINISTRAÇÃO. André Luiz Galdino
FUNDAMENTOS DE LÓGICA PARA ADMINISTRAÇÃO André Luiz Galdino SUMÁRIO 1. Noções de Lógica Matemática 3 1.1 Cálculo Proposicional 4 1.2 Tabelas Verdade 16 1.3 Contingência, Tautologia e Contra-Tautologia
Leia maisLógica para computação
Lógica para computação PROPRIEDADES SEMÂNTICAS DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Introdução Esta seção considera a análise de algumas propriedades semânticas da LP que relacionam os resultados
Leia maisÁlge g bra b B ooleana n Bernardo Gonçalves
Álgebra Booleana Bernardo Gonçalves Sumário Histórico Álgebra de Boole Axiomas da Álgebra de Boole Álgebra de Boole de dois valores literais Teoremas da Álgebra de Boole Simplificação de expressões booleanas
Leia maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisProposições Compostas TABELA VERDADE
TABELA ERDADE Iremos abordar nesta apostila uma diferente forma de argumentação que se associa diretamente com a língua portuguesa. Apesar de analisarmos frases muitas vezes de forma subjetiva a matéria
Leia maisPROPOSIÇÃO: sentenças declarativas afirmativas (expressão de uma linguagem)
CÁLCULO PROPOSICIONAL I NOÇÕES DE LÓGICA MATEMÁTICA CÁLCULO PROPOSICIONAL Como primeira e indispensável parte da Lógica Matemática temos o CÁLCULO PROPOSICIONAL ou CÁLCULO SENTENCIAL ou ainda CÁLCULO DAS
Leia maisRACIOCÍNIO LÓGICO MATEMÁTICO ATIVIDADE DO BLOCO 1 20 QUESTÕES
RACIOCÍNIO LÓGICO MATEMÁTICO ATIVIDADE DO BLOCO 1 20 QUESTÕES As questões foram elaboradas pelo prof. Sérgio Faro e valerão apenas como exercício para o seu conhecimento. São 20 questões de múltipla escolha.
Leia maisLÓGICA FORMAL Tabelas Verdade
LÓGICA FORMAL Tabelas Verdade Prof. Evanivaldo C. Silva Jr. Seção 1 Expressões: exclamações, interrogações, afirmações... Aquele aluno deve ser inteligente. Você já almoçou hoje? Um elefante é maior do
Leia maisResolução da Prova de Raciocínio Lógico do MPOG/ENAP de 2015, aplicada em 30/08/2015.
de Raciocínio Lógico do MPOG/ENAP de 2015, aplicada em 30/08/2015. Considerando a proposição P: Se João se esforçar o bastante, então João conseguirá o que desejar, julgue os itens a seguir. 43 A proposição
Leia maisNotas de aula de Lógica para Ciência da Computação. Aula 11, 2012/2
Notas de aula de Lógica para Ciência da Computação Aula 11, 2012/2 Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 21 de fevereiro de 2013 Sumário 1 Ineficiência das tabelas de verdade
Leia maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 4 - ABRIL DE 2018 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisRaciocínio Lógico para o INSS Resolução de questões Prof. Adeilson de Melo Revisão 3 Lógica das Proposições
Professor Adeilson de Melo www.profranciscojunior.com.br p. 1 de 7 Olá galera! Estou de volta! Agora iniciaremos o estudo de lógica das proposições. Esse assunto é muito importante para seu concurso. Pois,
Leia mais1 Teoria de conjuntos e lógica
1 Teoria de conjuntos e lógica Estes breves apontamentos dizem respeito à parte do programa dedicada à teoria de conjuntos e à lógica matemática. Embora concebidos sem grandes formalismos e com poucas
Leia maisRACIOCÍNIO LÓGICO MATEMÁTICO. Ana Paula Gargano
RACIOCÍNIO LÓGICO MATEMÁTICO Ana Paula Gargano ESTRUTURAS LÓGICAS Sentenças São frases que apresentam significado. As sentenças podem ser abertas ou fechadas. 1. Sentença aberta: apresentam variáveis.
Leia maisLógica e Raciocínio. Raciocínio Dedutivo. Universidade da Madeira. http://dme.uma.pt/edu/ler/
Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Raciocínio Dedutivo 1 O presente powerpoint foi inspirado na aula do Professor Fernando Martínez Manrique da Universidade de Granada,
Leia maisAfirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 1 I- Lógica Informal Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido. Afirmação
Leia maisNÚCLEO PREPARATÓRIO PARA CONCURSOS CURSO DELEGADO FEDERAL
RACIOCÍNIO LÓGICO II Professor Ademir Bispo AULAS 3 e 4 PROPOSIÇÕES CONDICIONAIS As proposições condicionais relacionam causa com efeito ou hipótese com tese. p: O mês de maio tem 31 dias. q: O sol é uma
Leia maisUnidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
Leia maisCorreção de exercícios do manual. Página 53
Correção de exercícios do manual Página 53 Seja P: a pena de morte foi abolida. a) O enunciado diz-nos que É falso que a pena de morte tenha sido abolida é falsa. Como É falso que a pena de morte tenha
Leia maisNotas de Aula 1: Lógica, Predicados, Quantificadores e Inferência
IFMG Campus Formiga Matemática Discreta Notas de Aula 1: Lógica, Predicados, Quantificadores e Inferência Prof. Diego Mello 2o. Semestre 2012 Sumário 1 Introdução 3 2 Lógica Proposicional 3 3 Proposições
Leia maisAula 5: determinação e simplificação de expressões lógicas
Aula 5: determinação e simplificação de expressões lógicas Circuitos Digitais Rodrigo Hausen CMCC UFABC 4 e 6 de Fev. de 2013 http://compscinet.org/circuitos Rodrigo Hausen (CMCC UFABC) Aula 5: determinação
Leia maisVEJA O CONTEÚDO DO ÚLTIMO EDITAL (2011/2012, ORGANIZADO PELA FCC)
AULA 01 CONCEITOS BÁSICOS DE LÓGICA E PRINCÍPIOS Olá amigos, meu nome é Adeilson de Melo. Fui convidado para ministrar aulas dessa apaixonante matéria que é o Raciocínio Lógico Matemático. ESPERO QUE TODOS
Leia maisAula 00. Raciocínio Lógico Quantitativo para IBGE. Raciocínio Lógico Quantitativo Professor: Guilherme Neves
Aula 00 Raciocínio Lógico Quantitativo Professor: Guilherme Neves www.pontodosconcursos.com.br 1 Aula 00 Aula Demonstrativa Raciocínio Lógico Quantitativo Apresentação... 3 Modelos de questões resolvidas
Leia maisIntrodução ao Cálculo
MATEMÁTICA Graduação Introdução ao Cálculo Jorge Andrés Julca Avila Maria Teresa Menezes Freitas Jorge Andrés Julca Avila Maria Teresa Menezes Freitas Introdução ao Cálculo 2011 A958i Avila, Jorge Andrés
Leia maisSumário. OS ENIGMAS DE SHERAZADE... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14
Sumário OS ENIGMAS DE SHERAZADE... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 CAPÍTULO 1 LÓGICA DE PRIMEIRA ORDEM-PROPOSICIONAL... 15 Estruturas Lógicas... 15 I Sentenças...
Leia maisLista de Exercícios 5: Soluções Teoria dos Conjuntos
UFMG/ICEx/DCC DCC Matemática Discreta Lista de Exercícios 5: Soluções Teoria dos Conjuntos Ciências Exatas & Engenharias 2 o Semestre de 206. Escreva uma negação para a seguinte afirmação: conjuntos A,
Leia maisLÓGICA CLÁSSICA: UM PROBLEMA DE IDENTIDADE
15 LÓGICA CLÁSSICA: UM PROBLEMA DE IDENTIDADE Robinson Moreira Tenório Prof. Assistente do Dep. de Ciências Humanas e Filosofia Doutorando em Educação - USP RESUMO - O princípio da identidade afirma que
Leia maisQuestões de Concursos Tudo para você conquistar o seu cargo público
Comentadas pelo professor: Gabriel Rampini Raciocínio Lógico-Quantitativo 1) Q264165 Raciocínio Lógico Raciocínio Lógico-Psicotécnico Ano: 2012 Banca: ESAF Órgão: Receita Federal Prova: Auditor Fiscal
Leia maisLógica para computação Professor Marlon Marcon
Lógica para computação Professor Marlon Marcon INTRODUÇÃO O objetivo geral da logica formal é a mecanização do raciocnio, ou seja, A obtenção de informação a partir de informações prévias por meio de recursos
Leia maisAula 03 Proposições e Conectivos. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 03 Proposições e Conectivos Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Proposições: Valores Lógicos; Tipos (simples e compostas). Conectivos. Revisando O que é
Leia maisPLANO DE ENSINO DA DISCIPLINA
PLANO DE ENSINO DA DISCIPLINA Docente: FABIO LUIS BACCARIN Telefones: (43) 3422-0725 / 9116-4048 E-mail: fbaccarin@fecea.br Nome da Disciplina: Álgebra Elementar Curso: Licenciatura em Matemática Carga
Leia maisuma variável proposicinal P 1 é uma fórmula (proposicional), chamada de fórmula atômica, e sua complexidade é c(p ) = 0;
Capítulo 5 Cálculo Proposicional 51 Conceitos Iniciais Vamos introduzir a primeira linguagem formal (artificial) em nosso estudo, que é a Linguagem Proposicional Os símbolos com os quais será definida
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
Leia maisMatemática - Módulo 1
1. Considerações iniciais Matemática - Módulo 1 TEORIA DOS CONJUNTOS O capítulo que se inicia trata de um assunto que, via-de-regra, é abordado em um plano secundário dentro dos temas que norteiam o ensino
Leia maisINTRODUÇÃO LÓGICA MATEMÁTICA
INTRODUÇÃO À LÓGICA MATEMÁTICA Prof. Antonio A. Pinho Rio de Janeiro Julho de 1999 INTRODUÇÃO À LÓGICA MATEMÁTICA 1 ÍNDICE I. INTRODUÇÃO 1. Lógica Formal. 2 2. Dedução e Indução. 3 3. Lógica Clássica e
Leia maisA modelo Gisele Bündchen é uma mulher bonita.
Argumentos Considere a proposição: A modelo Gisele Bündchen é uma mulher bonita. Essa proposição é verdadeira ou falsa? Para avaliá-la, deveríamos definir o que vem a ser uma mulher bonita. Mas, como avaliar
Leia maisResolução de Questões!!!
1) Considere a seguinte proposição: Raciocínio Lógico Se João está na praia, então João não usa camiseta. Resolução de Questões!!! A negação da proposição acima é logicamente equivalente à proposição:
Leia maisSumário 1. PROBLEMAS DE RACIOCÍNIO INTUITIVO ESPACIAL, NUMÉRICO E VERBAL...1 2. PROBLEMAS DE ARGUMENTAÇÃO LÓGICA INTUITIVA...55
IX Sumário 1. PROBLEMAS DE RACIOCÍNIO INTUITIVO ESPACIAL, NUMÉRICO E VERBAL...1 Solução dos exercícios... 29 2. PROBLEMAS DE ARGUMENTAÇÃO LÓGICA INTUITIVA...55 Solução dos exercícios... 64 3. conjuntos...77
Leia maisMatrizes e Sistemas Lineares. Professor: Juliano de Bem Francisco. Departamento de Matemática Universidade Federal de Santa Catarina.
e Aula Zero - Álgebra Linear Professor: Juliano de Bem Francisco Departamento de Matemática Universidade Federal de Santa Catarina agosto de 2011 Outline e e Part I - Definição: e Consideremos o conjunto
Leia maisUsando as regras de Morgan, de a negação das proposições:
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com EXERCÍCIOS Usando as regras de Morgan, de a negação das proposições: a) É falso que não está frio
Leia maisUM JOGO DE DOMINÓ PARA A LÓGICA PROPOSICIONAL
UM JOGO DE DOMINÓ PARA A LÓGICA PROPOSICIONAL Fernanda Pires da Silva 1 e José Ricardo R. Zeni 2, 3 1 Curso de licenciatura em matemática 2 o ano e-mail: nandamiss@ig.com.br 2 DMEC (Departamento de Matemática,
Leia maisPROPOSIÇÕES (SIMPLES E COMPOSTAS)/ CONECTIVOS/TAUTOLOGIA/TABELA VERDADE
PROPOSIÇÕES (SIMPLES E COMPOSTAS)/ CONECTIVOS/TAUTOLOGIA/TABELA VERDADE Ser síndico não é fácil. Além das cobranças de uns e da inadimplência de outros, ele está sujeito a passar por desonesto. A esse
Leia maisentre Sentenças Abertas; Propriedade das Equivalências Lógicas; Operação com Conjuntos. Lógica de Argumentação e Diagramas Lógicos.
Aula 5 - Questões Comentadas e Resolvidas Estruturas Lógicas: Proposições; Valores Lógicos das Proposições; Sentenças Abertas; Número de Linhas da Tabela Verdade; Conectivos; Proposições Simples; Proposições
Leia maisApostila de Raciocínio Lógico CESPE E - UNB Prof. Lucas Alvino
Apostila de Raciocínio Lógico CESPE - UNB Prof. Lucas Alvino ÍNDICE 1. LÓGICA PROPOSICIONAL 3 Proposição 3 Conectivos Lógicos 3 Conjunção: A e B 3 Disjunção: A ou B 3 Disjunção Exclusiva: ou A ou B, mas
Leia maisCURSO COMPLETO DE RACIOCÍNIO LÓGICO MATEMÁTICO. Bom dia, boa tarde, boa noite concurseiro. Hoje nosso estudo será sobre Álgebra das Proposições.
CURSO COMPLETO DE RACIOCÍNIO LÓGICO MATEMÁTICO Encontro 3 Álgebra das Proposições Bom dia, boa tarde, boa noite concurseiro. Hoje nosso estudo será sobre Álgebra das Proposições. Álgebra das Proposições
Leia maisResolução da Prova de Raciocínio Lógico do STJ de 2015, aplicada em 27/09/2015.
de Raciocínio Lógico do STJ de 20, aplicada em 27/09/20. Raciocínio Lógico p/ STJ Mariana é uma estudante que tem grande apreço pela matemática, apesar de achar essa uma área muito difícil. Sempre que
Leia maisCURSO DE MATEMÁTICA BÁSICA PROGRAMA DE EDUCAÇÃO TUTORIAL CENTRO DE ENGENHARIA DA MOBILIDADE
CURSO DE MATEMÁTICA BÁSICA Fatoração Equação do 1º Grau Equação do 2º Grau Aula 02: Fatoração Fatorar é transformar uma soma em um produto. Fator comum: Agrupamentos: Fatoração Quadrado Perfeito Fatoração
Leia maisProposições simples e compostas
Proposições simples Observe as seguintes sentenças: Os gatos não voam. Como é o seu nome? Saia já daqui! Não se esqueça de estudar. Que dia lindo! Embora todas as sentenças anteriores façam parte da nossa
Leia maisTabela de um Enunciado Simbolizado
Lógica para Ciência da Computação I Lógica Matemática Texto 5 Tabela de um Enunciado Simbolizado Sumário 1 Tabelas dos conectivos 2 1.1 Observações................................ 5 1.2 Exercício resolvido............................
Leia maisApostila de Cálculo Sentencial e Cálculo de Predicados
Apostila de Cálculo Sentencial e Cálculo de Predicados Versão 1.0 31 de Março de 2008 Críticas e sugestões para: Tyrannosaurus Rex Blog: http://tyrannosaurus.wordpress.com email: tyrannosaurus.rexxx@gmail.com
Leia mais6 - PROVAS CESGRANRIO(CONCURSOS BANCO CENTRAL E OUROS)
1 6 - PROVAS CESGRANRIO(CONCURSOS BANCO CENTRAL E OUROS) 01 - Em uma rua há 10 casas do lado direito e outras 10 do lado esquerdo. Todas as casas são numeradas de tal forma que, de um lado da rua, ficam
Leia maisResolução da Prova de Raciocínio Lógico do TRE/MT, aplicada em 13/12/2015.
de Raciocínio Lógico do TRE/MT, aplicada em 13/12/2015. Raciocínio Lógico p/ TRE-MT Analista Judiciário QUESTÃO 19 Um grupo de 300 soldados deve ser vacinado contra febre amarela e malária. Sabendo-se
Leia maispode ser considerado como derivativo de um sentido mais técnico do termo lógico para caracterizar os argumentos racionais.
1 Introdução à Lógica Matemática O que é lógica? As palavras lógica e lógico nos são familiares. É freqüente falarmos de comportamento lógico, de explicação lógica em contraste com comportamento ilógico,
Leia maisFUNDAMENTOS DA LÓGICA
UNDAMENTOS DA LÓGICA Professor Rodrigo Melo Rodrigo Melo Rodrigo Melo PRIMEIROS CONCEITOS O primeiro conceito que iremos estudar será a proposição. Toda proposição deve: - ser uma oração, que tenha sujeito
Leia maisOBJETIVOS CONTEÚDOS ESTRATÉGIAS Nº AULAS / AVAL. 1. Argumentação e Lógica Formal Desafios lógicos
Filosofia - 11.ºAno UNID- RACIONALIDADE ARGUMENTATIVA E FILOSOFIA Nº Aulas:52 aulas de 45 minutos OBJETIVOS CONTEÚDOS ESTRATÉGIAS Nº AULAS / AVAL. 1. Argumentação e Lógica Formal Desafios lógicos Aplicação
Leia maisANDRÉ REIS RACIOCÍNIO LÓGICO. 1ª Edição ABR 2014
ANDRÉ REIS RACIOCÍNIO LÓGICO TEORIA 246 QUESTÕES DE PROVAS DE CONCURSOS GABARITADAS 90 EXERCÍCIOS RESOLVIDOS Teoria e Seleção das Questões: Prof. André Reis Organização e Diagramação: Mariane dos Reis
Leia maisTeorema da Completude para a Lógica Proposicional Baseado no Capítulo 17 do LPL
Teorema da Completude para a Lógica Proposicional Baseado no Capítulo 17 do LPL Algumas Notações e Definições A notação F T designa a parte do sistema F que utiliza apenas as regras de introdução e eliminação
Leia mais1.1.A Lógica como Estudo das Condições de Coerência do Pensamento e do Discurso.
1.A Distinção Validade Verdade Conceitos nucleares específicos: lógica, juízo/proposição vs raciocínio/argumento, validade vs verdade, forma vs conteúdo, inferência válida, dedução, indução. 1.1.A Lógica
Leia maisn. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V
n. 5 Implicações Lógicas A implicação lógica trata de um conjunto de afirmações, proposições simples ou compostas, cujo encadeamento lógico resultará em uma conclusão, a ser descoberta. Tal conclusão deverá
Leia maisTodos os exercícios sugeridos nesta apostila se referem ao volume 1.
INTRODUÇÃO... 2 DEFINIÇÃO... 2 DESCRIÇÃO... 2 APRESENTAÇÃO... 2 RELAÇÃO DE PERTINÊNCIA... 3 CONJUNTOS IGUAIS... 4 SUBCONJUNTOS E RELAÇÃO DE INCLUSÃO... 7 QUANTIFICADORES... 10 IMPLICAÇAO E EQUIVALÊNCIA...
Leia maisNúmeros Inteiros AULA. 3.1 Introdução
AULA 3 META: Apresentar os números inteiros axiomaticamente através dos Números Naturais. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Definir números inteiros axiomaticamente. Realizar
Leia maisLógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
Leia maisn. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.
n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição
Leia maisFundamentos de Lógica Matemática
Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise
Leia maisRACIOCÍNIO LÓGICO PROFESSOR: LUCIANO PACHECO
RACIOCÍNIO LÓGICO PROFESSOR: LUCIANO PACHECO EXERCÍCIOS DE FIXAÇÃO 1 - (Engenheiro do Trabalho-1998) Dizer que Pedro não é pedreiro ou Paulo é paulista é do ponto de vista lógico, o mesmo que dizer : A)
Leia maisA Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA A Linguagem dos Teoremas - Parte II Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de maio
Leia maisINF 1771 Inteligência Artificial
Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.
Leia maisLógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições
Leia maisNoções de Lógica e de Topologia
Análise Matemática 1 Ano Lectivo 2012/2013 Fernanda Sousa Isabel Silva Magalhães Faculdade de Engenharia da Universidade do Porto Mestrado Integrado em Engenharia Civil Prefácio A lógica e a topologia
Leia maisSistemas de equações do 1 grau com duas variáveis LISTA 1
Sistemas de equações do 1 grau com duas variáveis LISTA 1 INTRODUÇÃO Alguns problemas de matemática são resolvidos a partir de soluções comuns a duas equações do 1º a duas variáveis. Nesse caso, diz-se
Leia maisPorém, não se aprende o Raciocínio Lógico sem se resolver o máximo de exercícios! Neste curso estaremos apresentando vários exercícios resolvidos.
MÓDULO 0: ORIENTAÇÕES INICIAIS Olá, amigos! Apresenta0 lhes o Curso on line de RACIOCÍNIO LÓGICO! Antes de tratarmos acerca do conteúdo, uma breve palavra sobre a matéria. Do que se trata? Trata se de
Leia maisFRAÇÃO Definição e Operações
FRAÇÃO Definição e Operações DEFINIÇÃO: Fração é uma forma de se representar uma quantidade a partir de um valor, que é dividido por um determinado número de partes iguais. Como é que você representaria
Leia maisSOLUÇÃO DA PROVA DE MATEMÁTICA E RACIOCÍNIO LÓGICO DO INSS - 2008 TÉCNICO DO SEGURO SOCIAL PROVA BRANCA.
SOLUÇÃO DA PROVA DE MATEMÁTICA E RACIOCÍNIO LÓGICO DO INSS - 2008 TÉCNICO DO SEGURO SOCIAL PROVA BRANCA. Professor Joselias www.concurseiros.org Março de 2008. Um dos indicadores de saúde comumente utilizados
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisLógica Proposicional (Consequência lógica / Dedução formal)
Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /
Leia maisCircuitos Aritméticos
Circuitos Aritméticos Semi-Somador Quando queremos proceder à realização de uma soma em binário, utilizamos várias somas de dois bits para poderemos chegar ao resultado final da operação. Podemos, então,
Leia maisLógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
Leia maisalocação de custo têm que ser feita de maneira estimada e muitas vezes arbitrária (como o aluguel, a supervisão, as chefias, etc.
Professor José Alves Aula pocii Aula 3,4 Custeio por Absorção Custeio significa apropriação de custos. Métodos de Custeio é a forma como são apropriados os custos aos produtos. Assim, existe Custeio por
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja
Leia maisAula demonstrativa Apresentação... 2 Prova Resolvida Matemática Financeira TRF 3ª Região... 4
Aula demonstrativa Apresentação... 2 Prova Resolvida Matemática Financeira TRF 3ª Região... 4 1 Apresentação Olá, pessoal! Tudo bem com vocês? Saiu o edital para Auditor Fiscal de Teresina. Esta é a aula
Leia maisPREPARATÓRIO PROFMAT/ AULA 3
PREPARATÓRIO PROFMAT/ AULA 3 Números, Progressões e Lógica Prof. Ronaldo Busse Números Uma questão presente nos exames de seleção até aqui foi a comparação entre grandezas numéricas. O procedimento indicado
Leia maisLinguagem de Programação I
Linguagem de Programação I Programação Lógica Equipe: Yuri Joyce Carlos Éderson Paulo Maurício 26/05/2011 1 Súmario Introdução Origem Características Conceitos básicos Vantagens e desvantagens Aplicações
Leia mais3.3 Cálculo proposicional clássico
81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos
Leia maisnúmeros decimais Inicialmente, as frações são apresentadas como partes de um todo. Por exemplo, teremos 2 de um bolo se dividirmos esse bolo
A UA UL LA Frações e números decimais Introdução Inicialmente, as frações são apresentadas como partes de um todo. Por exemplo, teremos de um bolo se dividirmos esse bolo em cinco partes iguais e tomarmos
Leia maisSimplificação de Expressões Booleanas e Circuitos Lógicos
Simplificação de Expressões Booleanas e Circuitos Lógicos Margrit Reni Krug Julho/22 Tópicos Revisão Álgebra Booleana Revisão portas lógicas Circuitos lógicos soma de produtos produto de somas Simplificação
Leia mais