Correção de exercícios do manual. Página 53

Tamanho: px
Começar a partir da página:

Download "Correção de exercícios do manual. Página 53"

Transcrição

1 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 sido abolida = P se P é falsa, P tem de ser verdadeira (ver tabela da negação) b) O enunciado diz-nos que É falso que a pena de morte tenha sido abolida é verdadeira. Logo P. Pela tabela da negação P tem de ser falsa É falso que seja verdade que chove Página 54 a) Gosto de filosofia e não aprecio lógica b) É falsa, porque pela tabela de verdade da conjunção, basta um dos conjuntos ser falso para a conjunção ser falsa c) Não. Uma vez que se desconhece o valor de verdade da proposição Gosto de filosofia. Se a proposição for verdadeira a conjunção é verdadeira, se a proposição for falsa a conjunção é falsa. P: O livro tem muitas páginas. Q: O livro é muito bom a) (P^Q) = O livro tem muitas páginas, mas é muito bom b) (Q^P) = O livro é muito bom apesar de ter muitas páginas c) (Q^ P) = O livro é muito bom e é falso que o livro tenha muitas páginas d) ( P ^Q) = É falso que o livro tenha muitas páginas, mas é certo que é muito bom Página 55 a) (PvQ) = Procuram-se gatos ou cães para adoção b) Podemos concluir que é verdadeira. Porque segundo a tabela de verdade da disjunção, basta um dos disjuntos ser verdadeiro para a disjunção ser verdadeira c) Não. Porque temos de saber o valor de verdade da outra proposição. Pela tabela de verdade da disjunção inclusiva, se ela for falsa a disjunção é falsa, mas se ela for verdadeira a disjunção é verdadeira.

2 Página 56. a) (PvQ) = A presidência será ocupada nas próximas eleições ou por um homem ou por uma mulher ( não pode ser pelos dois simultaneamente ou por nenhum) b) Nada podemos concluir, porque temos de saber o valor de verdade da outra proposição. Pela tabela de verdade da disjunção exclusiva, se ela for falsa a disjunção é verdadeira, mas se ela for verdadeira a disjunção é falsa. c) É falsa porque, de acordo com a tabela de verdade da disjunção exclusiva, quando as duas disjuntas são falsas, a disjunção é falsa. Página 57 a) P: Os brincos são muito caros. Q: Os brincos são de ouro b) (Q P) 0 Os brincos serão muitos caros se forem de ouro c) Pela tabela podemos verificar que quando P é falsa e Q é falsa (Q tem de ser verdadeira), a condicional tem o antecedente verdadeiro e o consequente falso. Logo, pela tabela de verdade da condicional, a expressão é falsa. P Q P Q (Q P) V F F V F F F a) ( P Q) = Sofreremos as consequências se negligenciarmos os trabalhos de casa b) ( P Q) = Se não negligenciarmos os trabalhos de casa, então não sofreremos as consequências Página 58 a) (P Q) = Recebemos o salário se tivermos emprego e vice-versa b) Pode assumir dois valores de verdade, dependendo do valor de verdade da outra proposição. Assim, de acordo com a tabela de verdade do bicondicional, se a

3 outra proposição for verdadeira, o bicondiconal é verdadeiro. Mas se a outra proposição for falsa, o bicondicional é falso. c) A proposição é verdadeira porque, de acordo com a tabela de verdade do bicondicional, quando as duas proposições falsas, o bicondicional é verdadeira. Página 60 a) P: Somos músicos completos. Q: Aprendemos a ler pautas. R: Aprendemos a tocar um instrumento. b) [(Q^R) P] = Seremos músicos completos se aprendermos a ler pautas e a tocar um instrumento c) Não, porque a conjunção está entre parênteses curvos e portanto o sinal tem menor âmbito. É a condicional que está dentro do parênteses reto que abrange toda a fórmula. Logo é o condicional que define o caráter da fórmula. É uma condicional. Página 63 a) Dicionário :P: Romeu ama Julieta. Q: Julieta ama Romeu. Simbolização: (P^ Q) P Q (P^ Q) V V F V F V F V F F F F Proposição contingente b) ( P^ Q) ou (PvQ) P Q ( P^ Q) V V F V F F F V F F F V Proposição contingente

4 c) Dicionário: P: A pena aplicada é justa. Q: O condenado é culpado. R: O advogado do condenado pode recorrer. Simbolização: [P (QvR)] d) Dicionário: P: Os gatos dormem. Q: Os ratos dançam. Simbolização: [(Q P)^ P] ( P vem depois de Q porque é a condição necessária para que Q ocorra) Página 74 a) Se realizo argumentos válidos e uso premissas verdadeiras, então realizo bons argumentos. Mas é falso que. realize argumentos válidos e use premissas verdadeiras. Logo, Não realizo bons argumentos b) Se uso premissas verdadeiras,então realizo argumentos válidos. Contudo não uso premissas verdadeiras nem realizo argumentos válidos.logo, realizo bons argumentos c) Se realizo argumentos válido,então uso premissas verdadeiras.se uso premissas verdadeiras, então realizo bons argumentos. Mas não uso premissas verdadeiras nem realizo bons argumentos.logo, não relaizo argumentos válidos a) Dicionáro. P: Pitágoras esteve no Egito. Q: Pitágoras contatou com os construtores das pirâmides. R: Pitágoras formalizou o seu teorema no Egito. Formalização: (P Q), (Q R), P ( Q ^ R) b), P Q R (P Q) (Q R), P ( Q ^ R) V V V V V F F V V F V V F F V F V F V F F V F F F V F V F V V V V V F F V F V F V F F F V V V V F F F F V V V V Nas linhas 5 e 7 as premissas são todas verdadeiras e a conclusão é falsa, pelo que o argumento é inválido

5 3. a) A conectiva em falta é a disjunção exclusiva. Verifica-se isso pelo facto de a conectiva só ser verdadeira quando os disjuntos têm valores opostos (primeira e última linhas) b) O argumento é válido já que na única linha (a primeira) onde as premissas são todas verdadeiras, a conclusão também o é. 4. a) A conectiva em falta é a condicional. Verifica-se isso pelo facto de a conectiva só ser falsa quando o antecedente é verdadeiro e o consequente falso (última linha) b) O argumento é inválido já que na primeira linha, onde as premissas são todas verdadeiras, a conclusão é falsa. Os restantes exercícios têm que ver com conteúdos que ainda não foram lecionados

* Lógica Proposicional Formas de Argumento

* 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 mais

1. À primeira coluna (P), atribui-se uma quantidade de valores V igual à metade do total de linhas

1. À 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 mais

Fundamentos de Lógica Matemática

Fundamentos 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 mais

Lógica para computação Professor Marlon Marcon

Ló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 mais

RACIOCÍNIO LÓGICO Simplificado

RACIOCÍ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 mais

Notas 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 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 mais

PROPOSIÇÕES. Proposições Simples e Proposições Compostas. Conceito de Proposição

PROPOSIÇÕ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 mais

Raciocínio Lógico Matemático

Raciocí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 mais

RACIOCÍ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 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 mais

Aula 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 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 mais

RACIOCÍNIO LÓGICO QUANTITATIVO

RACIOCÍ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 mais

Resolução da Prova de Raciocínio Lógico do MPOG/ENAP de 2015, aplicada em 30/08/2015.

Resoluçã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 mais

(Equivalência e Implicação lógica aula 10

(Equivalência e Implicação lógica aula 10 Aula 2 (Equivalência e Implicação lógica aula 10 Professor: Renê Furtado Felix - Faculdade: UNIP E-mail: rffelix70@yahoo.com.br - Site: renecomputer.net Equivalência em Lógica Logica - Professor Renê F

Leia mais

Resolução da Prova de Raciocínio Lógico do STJ de 2015, aplicada em 27/09/2015.

Resoluçã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 mais

Noções básicas de Lógica

Noçõ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

RACIOCÍNIO LÓGICO MATEMÁTICO. Ana Paula Gargano

RACIOCÍ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 mais

LÓGICA FORMAL Tabelas Verdade

LÓ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 mais

RACIOCÍNIO LÓGICO Simplif icado

RACIOCÍ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 mais

Cálculo proposicional

Cá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 mais

Raciocínio Lógico para o INSS Resolução de questões Prof. Adeilson de Melo Revisão 3 Lógica das Proposições

Raciocí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 mais

NÚCLEO PREPARATÓRIO PARA CONCURSOS CURSO DELEGADO FEDERAL

NÚ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 mais

Resolução de Questões!!!

Resoluçã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 mais

Num caso como no outro, o filosofar apresenta-se como uma actividade que consiste

Num caso como no outro, o filosofar apresenta-se como uma actividade que consiste 1.3.A Dimensão Discursiva do Trabalho Filosófico 1.3.1.Os Instrumentos do Trabalho Discursivo a) O trabalho filosófico Disse-se atrás que mais importante do que a filosofia é o filosofar, o trabalho que

Leia mais

Bases Matemáticas. Daniel Miranda 1. 23 de maio de 2011. sala 819 - Bloco B página: daniel.miranda

Bases 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 mais

6 - PROVAS CESGRANRIO(CONCURSOS BANCO CENTRAL E OUROS)

6 - 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 mais

2º. Semestre de 2006 Marcelo Nogueira São José dos Campos - SP

2º. Semestre de 2006 Marcelo Nogueira São José dos Campos - SP (Exercício 01) Simbolize, no nível proposicional, os seguintes argumentos: (a) Os vencimentos aumentam somente se há inflação. Se há inflação, então o custo de vida aumenta. Os vencimentos não aumentaram.

Leia mais

Comandos de Desvio 1

Comandos de Desvio 1 Programação de Computadores I UFOP DECOM 2014 1 Aula prática 3 Comandos de Desvio 1 Sumário Resumo Nesta aula você irá resolver problemas que requerem uma decisão com base em um teste, ou condição. Para

Leia mais

Resolução da Prova de Raciocínio Lógico do TRE/MT, aplicada em 13/12/2015.

Resoluçã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 mais

PROPOSIÇÕES (SIMPLES E COMPOSTAS)/ CONECTIVOS/TAUTOLOGIA/TABELA VERDADE

PROPOSIÇÕ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 mais

UM JOGO DE DOMINÓ PARA A LÓGICA PROPOSICIONAL

UM 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 mais

Versão 2. Utilize apenas caneta ou esferográfica de tinta indelével, azul ou preta.

Versão 2. Utilize apenas caneta ou esferográfica de tinta indelével, azul ou preta. Teste Intermédio de Filosofia Versão 2 Teste Intermédio Filosofia Versão 2 Duração do Teste: 90 minutos 20.04.2012 11.º Ano de Escolaridade Decreto-Lei n.º 74/2004, de 26 de março Na folha de respostas,

Leia mais

FUNDAMENTOS DE LÓGICA PARA ADMINISTRAÇÃO. André Luiz Galdino

FUNDAMENTOS 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 mais

Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido.

Afirmaçã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 mais

Aula 5: determinação e simplificação de expressões lógicas

Aula 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 mais

A Teoria do Conhecimento

A Teoria do Conhecimento A Teoria do Conhecimento Objeto Conhecimento Objetivo Estudar a origem, natureza, valor e limites do conhecimento e da nossa capacidade de conhecer Problemas As formas do conhecimento A definição de conhecimento

Leia mais

Questões de Concursos Tudo para você conquistar o seu cargo público

Questõ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 mais

Lógica - Insper. 3. (Insper 2012) Uma pessoa dispõe dos seis adesivos numerados reproduzidos a seguir, devendo colar um em cada face de um cubo.

Lógica - Insper. 3. (Insper 2012) Uma pessoa dispõe dos seis adesivos numerados reproduzidos a seguir, devendo colar um em cada face de um cubo. Lógica - Insper 1. (Insper 2012) As duas afirmações a seguir foram retiradas de um livro cuja finalidade era revelar o segredo das pessoas bem sucedidas. I. Se uma pessoa possui muita força de vontade,

Leia mais

uma variável proposicinal P 1 é uma fórmula (proposicional), chamada de fórmula atômica, e sua complexidade é c(p ) = 0;

uma 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 mais

Como se desenvolve o trabalho filosófico? Como constrói o filósofo esses argumentos?

Como se desenvolve o trabalho filosófico? Como constrói o filósofo esses argumentos? O que é filosofia? A filosofia é uma atividade interrogativa (dimensão teórica) que tenta responder a problemas e questões que nos são comuns, discutindo-os e analisando-os. Questões como O que é o conhecimento?,

Leia mais

Duração da Prova: 120 minutos. Tolerância: 30 minutos.

Duração da Prova: 120 minutos. Tolerância: 30 minutos. EXAME NACIONAL DO ENSINO SECUNDÁRIO Decreto-Lei n.º 139/2012, de 5 de julho Prova Escrita de Filosofia 11.º Ano de Escolaridade Prova 714/2.ª Fase 8 Páginas Duração da Prova: 120 minutos. Tolerância: 30

Leia mais

Álge g bra b B ooleana n Bernardo Gonçalves

Á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 mais

Lista de Exercícios 5: Soluções Teoria dos Conjuntos

Lista 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 mais

VEJA O CONTEÚDO DO ÚLTIMO EDITAL (2011/2012, ORGANIZADO PELA FCC)

VEJA 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 mais

www.anpadcurso.com profauri@yahoo.com.br Página 1

www.anpadcurso.com profauri@yahoo.com.br Página 1 1º DOMINGO 27/7/14 01. Considere a seguinte sentença: Não é verdade que, se Aline viaja, então haverá mais diversão. Pode-se concluir que: a) Haverá mais diversão se Aline viajar b) Se Aline viajar, não

Leia mais

Todos os exercícios sugeridos nesta apostila se referem ao volume 1.

Todos 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 mais

Sumá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 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 mais

1 SOMA DOS ÂNGULOS 2 QUADRILÀTEROS NOTÀVEIS. 2.2 Paralelogramo. 2.1 Trapézio. Matemática 2 Pedro Paulo

1 SOMA DOS ÂNGULOS 2 QUADRILÀTEROS NOTÀVEIS. 2.2 Paralelogramo. 2.1 Trapézio. Matemática 2 Pedro Paulo Matemática 2 Pedro Paulo GEOMETRIA PLANA IX 1 SOMA DOS ÂNGULOS A primeira (e talvez mais importante) relação válida para todo quadrilátero é a seguinte: A soma dos ângulos internos de qualquer quadrilátero

Leia mais

Proposições Compostas TABELA VERDADE

Proposiçõ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 mais

Ló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.

Ló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 mais

INTRODUÇÃO LÓGICA MATEMÁTICA

INTRODUÇÃ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 mais

Apostila de Raciocínio Lógico CESPE E - UNB Prof. Lucas Alvino

Apostila 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 mais

Notas de Aula 1: Lógica, Predicados, Quantificadores e Inferência

Notas 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 mais

Teorema 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 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 mais

A modelo Gisele Bündchen é uma mulher bonita.

A 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 mais

Nome: N.º: Endereço: Data: Telefone: PARA QUEM CURSA O 9 Ọ ANO DO ENSINO FUNDAMENTAL EM 2016 Disciplina: MATEMÁTICA

Nome: N.º: Endereço: Data: Telefone:   PARA QUEM CURSA O 9 Ọ ANO DO ENSINO FUNDAMENTAL EM 2016 Disciplina: MATEMÁTICA Nome: N.º: Endereço: Data: Telefone: E-mail: Colégio PARA QUEM CURSA O 9 Ọ ANO DO ENSINO FUNDAMENTAL EM 06 Disciplina: MATEMÁTICA Prova: DESAFIO NOTA: QUESTÃO 6 Analise cada item com atenção: I. O antecedente

Leia mais

Lógica e Raciocínio. Raciocínio Dedutivo. Universidade da Madeira. http://dme.uma.pt/edu/ler/

Ló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 mais

Ficha de Exercícios nº 2

Ficha de Exercícios nº 2 Nova School of Business and Economics Álgebra Linear Ficha de Exercícios nº 2 Matrizes, Determinantes e Sistemas de Equações Lineares 1 O produto de duas matrizes, A e B, é a matriz nula (mxn). O que pode

Leia mais

Tabela de um Enunciado Simbolizado

Tabela 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 mais

FABIANO KLEIN CRITÉRIOS NÃO CLÁSSICOS DE DIVISIBILIDADE

FABIANO KLEIN CRITÉRIOS NÃO CLÁSSICOS DE DIVISIBILIDADE FABIANO KLEIN CRITÉRIOS NÃO CLÁSSICOS DE DIVISIBILIDADE FLORIANÓPOLIS 2007 FABIANO KLEIN CRITÉRIOS NÃO CLÁSSICOS DE DIVISIBILIDADE Trabalho de conclusão de Curso apresentado ao curso de Matemática Habilitação

Leia mais

MATEMÁTICA ENSINO FUNDAMENTAL

MATEMÁTICA ENSINO FUNDAMENTAL CEEJA MAX DADÁ GALLIZZI PRAIA GRANDE - SP PARABÉNS!!! VOCÊ JÁ É UM VENCEDOR! Voltar a estudar é uma vitória que poucos podem dizer que conseguiram. É para você, caro aluno, que desenvolvemos esse material.

Leia mais

XXXII Olimpíada Brasileira de Matemática GABARITO Segunda Fase

XXXII Olimpíada Brasileira de Matemática GABARITO Segunda Fase XXXII Olimpíada Brasileira de Matemática GABARITO Segunda Fase Soluções Nível Segunda Fase Parte A PARTE A Na parte A serão atribuídos 4 pontos para cada resposta correta e a pontuação máxima para essa

Leia mais

LÓGICA CLÁSSICA: UM PROBLEMA DE IDENTIDADE

LÓ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 mais

A mercadoria. Seção 3 do Capítulo 1 A forma de valor ou valor de troca. c) Forma geral do valor D) Forma dinheiro

A mercadoria. Seção 3 do Capítulo 1 A forma de valor ou valor de troca. c) Forma geral do valor D) Forma dinheiro A mercadoria Seção 3 do Capítulo 1 A forma de valor ou valor de troca c) Forma geral do valor D) Forma dinheiro 1 Estrutura Capítulo I Nome: A mercadoria Seção 1: Os dois fatores da mercadoria Seção 2:

Leia mais

Duração da Prova: 120 minutos. Tolerância: 30 minutos.

Duração da Prova: 120 minutos. Tolerância: 30 minutos. EXAME NACIONAL DO ENSINO SECUNDÁRIO Decreto-Lei n.º 139/2012, de 5 de julho Prova Escrita de Filosofia 11.º Ano de Escolaridade Prova 714/1.ª Fase 8 Páginas Duração da Prova: 120 minutos. Tolerância: 30

Leia mais

SOLUÇÃ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. 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 mais

Introdução à lógica. Lógica. Material produzido por: Bruno Portela Rafael Soares Ramon Matzenbacher Vinícius Schreiner

Introdução à lógica. Lógica. Material produzido por: Bruno Portela Rafael Soares Ramon Matzenbacher Vinícius Schreiner Introdução à lógica Lógica Material produzido por: Bruno Portela Rafael Soares Ramon Matzenbacher Vinícius Schreiner ARGUMENTO O que é um argumento? Aurelhão: Raciocínio, indício ou prova pelo qual se

Leia mais

Poré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.

Poré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 mais

Lista de Exercícios - Subtração

Lista de Exercícios - Subtração Nota: Os exercícios desta aula são referentes ao seguinte vídeo Matemática Zero 2.0 - Aula 5 - Subtração - (parte 1 de 2) Endereço: https://www.youtube.com/watch?v=eedxautqdaa Gabaritos nas últimas páginas!

Leia mais

1.1.A Lógica como Estudo das Condições de Coerência do Pensamento e do Discurso.

1.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 mais

Luiz Flávio Gomes Valerio de Oliveira Mazzuoli. O método dialógico e a magistratura na pós-modernidade

Luiz Flávio Gomes Valerio de Oliveira Mazzuoli. O método dialógico e a magistratura na pós-modernidade Luiz Flávio Gomes Valerio de Oliveira Mazzuoli O JUIZ e o DIREITO O método dialógico e a magistratura na pós-modernidade 01_Mazzuoli - O Juiz e o Direito.indd 3 19/04/2016 16:14:11 Capítulo 7 Controle

Leia mais

1 Teoria de conjuntos e lógica

1 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 mais

Lógica de Predicados. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo

Lógica de Predicados. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo Lógica de Predicados Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo Motivação Há vários argumentos que não podem ser adequadamente formalizados

Leia mais

AGRUPAMENTO DE ESCOLAS DE RIO DE MOURO EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS

AGRUPAMENTO DE ESCOLAS DE RIO DE MOURO EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS Caro aluno, Vai encontrar aqui um conjunto de exercícios de lógica cujo objetivo é facilitar-lhe o estudo autónomo. Estes exercícios irão estar disponíveis num

Leia mais

Apontamentos de matemática 5.º ano - Múltiplos e divisores

Apontamentos de matemática 5.º ano - Múltiplos e divisores Múltiplos e divisores (revisão do 1.º ciclo) Os múltiplos de um número inteiro obtêm-se multiplicando esse número pela sequência dos números inteiros. Exemplos: Alguns múltiplos de 6 são: 0, 6, 12, 18,

Leia mais

Lista de Exercícios Critérios de Divisibilidade

Lista de Exercícios Critérios de Divisibilidade Nota: Os exercícios desta aula são referentes ao seguinte vídeo Matemática Zero 2.0 - Aula 10 - Critérios de - (parte 1 de 2) Endereço: https://www.youtube.com/watch?v=1f1qlke27me Gabaritos nas últimas

Leia mais

Proposta de resolução da Prova de Matemática A (código 635) 2ª fase. 19 de Julho de 2010

Proposta de resolução da Prova de Matemática A (código 635) 2ª fase. 19 de Julho de 2010 Proposta de resolução da Prova de Matemática A (código 65) ª fase 9 de Julho de 00 Grupo I. Como só existem bolas de dois tipos na caixa e a probabilidade de sair bola azul é, existem tantas bolas roxas

Leia mais

Séries Numéricas. S Chama-se série numérica a uma expressão do tipo. S Designam-se por somas parciais da série. S Chama-se a soma parcial de ordem n a

Séries Numéricas. S Chama-se série numérica a uma expressão do tipo. S Designam-se por somas parciais da série. S Chama-se a soma parcial de ordem n a Séries Numéricas Definições básicas S Chama-se série numérica a uma expressão do tipo representada em geral por u 1 u 2 C u n C u n, nu1 onde Ÿu n é uma sucessão de reais u 1, u 2, C v termos da série

Leia mais

Aula 00. Raciocínio Lógico Quantitativo para IBGE. Raciocínio Lógico Quantitativo Professor: Guilherme Neves

Aula 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 mais

Para que saber? Conhecer o papel desempenhados pelos relativos é importante porque:

Para que saber? Conhecer o papel desempenhados pelos relativos é importante porque: Pronomes relativos São aqueles que retomam um substantivo (ou um pronome) anterior a eles, substituindo-o no início da oração seguinte. Exemplos: O jogo será no domingo. O jogo decidirá o campeonato. Reunindo

Leia mais

- o cachorro de Davi e o gato de Charles têm o nome do dono do gato chamado Charles.

- o cachorro de Davi e o gato de Charles têm o nome do dono do gato chamado Charles. Alberto,, Charles e Davi são amigos, e cada um deles é dono de um gato e de um cachorro. O gato e o cachorro de cada um dos quatro amigos têm nomes distintos e escolhidos dentre os nomes dos três amigos

Leia mais

MANUAL DE CONCEITOS, REGRAS GERAIS E HIPÓTESES EXEMPLIFICATIVAS:

MANUAL DE CONCEITOS, REGRAS GERAIS E HIPÓTESES EXEMPLIFICATIVAS: Anexo Único à Portaria nº 055/11- SMT.GAB que refere-se à Conceitos, regras gerais e hipóteses exemplificativas contidas no Inciso XI do Artigo 4º da Portaria nº 055/11 SMT.GAB. MANUAL DE CONCEITOS, REGRAS

Leia mais

As equações 1 e 2 são equações literais, enquanto que, a equação 3 não é uma equação literal.

As equações 1 e 2 são equações literais, enquanto que, a equação 3 não é uma equação literal. Equações literais Observa as equações seguintes: 7 1 7z 7 0 As equações 1 e são equações literais, enquanto que, a equação não é uma equação literal. Então, qual será a definição de equação literal? Equações

Leia mais

PLANO DE ENSINO DA DISCIPLINA

PLANO 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 mais

FUNDAMENTOS DA LÓGICA

FUNDAMENTOS 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 mais

Menino ou menina? Exercício 1 Vamos lembrar então o que são genes e cromossomos. Volte à Aula 20 e dê as definições: a) Gene... b) Cromossomo...

Menino ou menina? Exercício 1 Vamos lembrar então o que são genes e cromossomos. Volte à Aula 20 e dê as definições: a) Gene... b) Cromossomo... A UU L AL A Menino ou menina? Quando um casal descobre que vai ter um filho, a primeira curiosidade é saber se nascerá um menino ou uma menina. Mas será que os futuros pais, ou mesmo as pessoas que não

Leia mais

1 PONTOS NOTÁVEIS. 1.1 Baricentro. 1.3 Circuncentro. 1.2 Incentro. Matemática 2 Pedro Paulo

1 PONTOS NOTÁVEIS. 1.1 Baricentro. 1.3 Circuncentro. 1.2 Incentro. Matemática 2 Pedro Paulo Matemática 2 Pedro Paulo GEOMETRIA PLANA VIII 1 PONTOS NOTÁVEIS 1.1 Baricentro O baricentro é o encontro das medianas de um triângulo. Na figura abaixo, é o ponto médio do lado, é o ponto médio do lado

Leia mais

SEQUÊNCIA DIDÁTICA PODCAST ÁREA CIÊNCIAS DA NATUREZA I MATEMÁTICA - ENSINO FUNDAMENTAL E ENSINO MÉDIO

SEQUÊNCIA DIDÁTICA PODCAST ÁREA CIÊNCIAS DA NATUREZA I MATEMÁTICA - ENSINO FUNDAMENTAL E ENSINO MÉDIO SEQUÊNCIA DIDÁTICA PODCAST ÁREA CIÊNCIAS DA NATUREZA I MATEMÁTICA - ENSINO FUNDAMENTAL E ENSINO MÉDIO Título do Podcast Área Segmento Duração Geometria do Cotidiano Ciências da Natureza I Matemática Ensino

Leia mais

Atividades: Distância entre dois pontos e ponto médio

Atividades: Distância entre dois pontos e ponto médio Atividades: Distância entre dois pontos e ponto médio Você já deve ter se perguntado: Por que estudar Matemática? Para que serve isso? Outros de vocês, talvez, nunca se perguntaram isso, apenas estudam

Leia mais

INTRODUÇÃO À LÓGICA DE ARGUMENTAÇÃO

INTRODUÇÃO À LÓGICA DE ARGUMENTAÇÃO RACIOCÍNIO LÓGICO LÓGICA DE ARGUMENTAÇÃO DIAGRAMAS LÓGICOS Prof. Gleisson Rubin INTRODUÇÃO À LÓGICA DE ARGUMENTAÇÃO I CONCEITOS BÁSICOS Proposição Conceituamos proposição como toda sentença de caráter

Leia mais

Solução Comentada Prova de Matemática

Solução Comentada Prova de Matemática 18. Se x e y são números inteiros maiores do que 1, tais que x é um divisor de 0 e y é um divisor de 35, então o menor valor possível para y x é: A) B) C) D) E) 4 35 4 7 5 5 7 35 Questão 18, alternativa

Leia mais

ANEXO EXCEL 2007 AVAÇADO

ANEXO EXCEL 2007 AVAÇADO ANEXO EXCEL 2007 AVAÇADO Funções Lógicas: Fórmula SE 1 Agora vamos conhecer uma das funções mais utilizadas todas as funções para um iniciante em Excel. É a função SE, que Retorna um valor se uma condição

Leia mais

Sobre a Indistinguibilidade entre a Negação e o Condicional

Sobre a Indistinguibilidade entre a Negação e o Condicional XVI EBL - Encontro Brasileiro de Lógica Sobre a Indistinguibilidade entre a Negação e o Condicional Prof. Dr. Daniel Durante Pereira Alves Departamento de Filosofia - DFIL Centro de Ciências Humanas, Letras

Leia mais

Silogística Aristotélica

Silogística Aristotélica Silogística Aristotélica Prof. Paulo Margutti Com base na possibilidade de padronizar todas as sentenças de conformidade com os tipos A, E, I e O, Aristóteles considerava que todos os argumentos poderiam

Leia mais

Descobrindo medidas desconhecidas (I)

Descobrindo medidas desconhecidas (I) Descobrindo medidas desconhecidas (I) V ocê é torneiro em uma empresa mecânica. Na rotina de seu trabalho, você recebe ordens de serviço acompanhadas dos desenhos das peças que você tem de tornear. Vamos

Leia mais

A recuperação foi planejada com o objetivo de lhe oportunizar mais um momento de aprendizagem.

A recuperação foi planejada com o objetivo de lhe oportunizar mais um momento de aprendizagem. DISCIPLINA: MATEMÁTICA PROFESSORES: MÁRIO, ADRIANA E GRAYSON DATA: / 1 / 014 VALOR: 0,0 NOTA: TRABALHO DE RECUPERAÇÃO FINAL SÉRIE: 9º ANO TURMA: NOME COMPLETO: Nº: Prezado(a) aluno(a), A recuperação foi

Leia mais

Sumário 1. PROBLEMAS DE RACIOCÍNIO INTUITIVO ESPACIAL, NUMÉRICO E VERBAL...1 2. PROBLEMAS DE ARGUMENTAÇÃO LÓGICA INTUITIVA...55

Sumá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 mais

pode ser considerado como derivativo de um sentido mais técnico do termo lógico para caracterizar os argumentos racionais.

pode 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 mais

REPRESENTAÇÃO ALGORÍTMICA DA LÓGICA DE DIÁLOGOS

REPRESENTAÇÃO ALGORÍTMICA DA LÓGICA DE DIÁLOGOS EDUARDO DE MORAES URTADO REPRESENTAÇÃO ALGORÍTMICA DA LÓGICA DE DIÁLOGOS Trabalho de conclusão de curso apresentado ao Curso de Ciência da Computação. UNIERSIDADE PRESIDENTE ANTÔNIO CARLOS Orientadora:

Leia mais

PROPOSIÇÃO: sentenças declarativas afirmativas (expressão de uma linguagem)

PROPOSIÇÃ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 mais

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira. Lógica e Raciocínio Uniersidade da Madeira htt://dme.uma.t/edu/ler/ Lógica Proosicional 1 Proosição Uma rase é uma roosição aenas quando admite um dos dois alores lógicos: Falso (F) ou Verdadeiro (V).

Leia mais