XXI Semana de Filosofia da UFRN
|
|
|
- Moisés Quintão Taveira
- 8 Há anos
- Visualizações:
Transcrição
1 XXI Semana de Filosofia da UFRN Filosofia e Alegria Mesa Redonda A Alegria de Fazer Lógica métodos lúdicos para o ensino de lógica
2
3 A DAMA OU O TIGRE? Aposento 1 xx xxx xxx xx xxx xxx xxx x Aposento 2 yy yyy yyy yy yyy yyy yyyy y y??? Raymond Smullyan
4 Aposento 1 Pelo menos em um destes aposentos há uma dama. Aposento 2 Há um tigre no outro aposento. Ou ambas afirmações são verdadeiras ou ambas são falsas!? EM QUE APOSENTO ESTÁ A DAMA??
5 SENTENÇA (1): Pelo menos em um destes aposentos há uma dama. SENTENÇA (2): Há um tigre no outro aposento. REGRAS (ou CONDIÇÕES) DO REI (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou apenas uma dama ou apenas um tigre.
6 (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre.
7 SUPONHA que (1) seja FALSA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre.
8 SUPONHA que (1) seja FALSA. Então não há damas em nenhum aposento. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre.
9 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Então, pela regra (b), há tigres nos dois aposentos. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre.
10 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Em particular, há um tigre no aposento 1. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre.
11 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. Então a sentença (2) é VERDADEIRA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre.
12 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Mas, como (1) é FALSA, a regra (a) exige que (2) também seja FALSA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre.
13 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Como (1) é FALSA, então, por (a), (2) é FALSA. Então, (2) é VERDADEIRA e FALSA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre.
14 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Como (1) é FALSA, então, por (a), (2) é FALSA. (2) é VERDADEIRA e FALSA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre. Isto é um absurdo. Não pode ocorrer, pois contradiz nossa intuição sobre verdade e falsidade. Algo está errado e precisa ser corrigido.
15 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Como (1) é FALSA, então, por (a), (2) é FALSA. (2) é VERDADEIRA e FALSA. Isto é um absurdo. Algo precisa ser corrigido. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre. A única afirmação que pode estar errada, pois foi assumida apenas hipoteticamente, sem qualquer justificativa, é a suposição inicial de que (1) é FALSA.
16 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Como (1) é FALSA, então, por (a), (2) é FALSA. (2) é VERDADEIRA e FALSA. Isto é um absurdo. Algo precisa ser corrigido. A suposição de que (1) é FALSA está errada e precisa ser corrigida. Concluímos, portanto, que (1) não pode ser FALSA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre.
17 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Como (1) é FALSA, então, por (a), (2) é FALSA. (2) é VERDADEIRA e FALSA. Isto é um absurdo. Algo precisa ser corrigido. A suposição de que (1) é FALSA está errada e precisa ser corrigida. (1) não pode ser FALSA. Logo, (1) é VERDADEIRA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre.
18 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Como (1) é FALSA, então, por (a), (2) é FALSA. (2) é VERDADEIRA e FALSA. Isto é um absurdo. Algo precisa ser corrigido. A suposição de que (1) é FALSA está errada e precisa ser corrigida. (1) não pode ser FALSA. (1) é VERDADEIRA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre. Além disso, pela regra (a), se (1) é VERDADEIRA, (2) também é.
19 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Como (1) é FALSA, então, por (a), (2) é FALSA. (2) é VERDADEIRA e FALSA. Isto é um absurdo. Algo precisa ser corrigido. A suposição de que (1) é FALSA está errada e precisa ser corrigida. (1) não pode ser FALSA. (1) é VERDADEIRA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre. Pela regra (a), (2) também é VERDADEIRA. Como (2) é VERDADEIRA, então há um tigre no aposento 1..
20 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Como (1) é FALSA, então, por (a), (2) é FALSA. (2) é VERDADEIRA e FALSA. Isto é um absurdo. Algo precisa ser corrigido. A suposição de que (1) é FALSA está errada e precisa ser corrigida. (1) não pode ser FALSA. (1) é VERDADEIRA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre. Pela regra (a), (2) também é VERDADEIRA. Como (2) é verdadeira, então há um tigre no aposento 1. Como há um tigre no aposento 1 e (1) é verdadeira e afirma que há uma dama em algum aposento, então, pela regra (b), a dama só pode estar no aposento (2).
21 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Como (1) é FALSA, então, por (a), (2) é FALSA. (2) é VERDADEIRA e FALSA. Isto é um absurdo. Algo precisa ser corrigido. A suposição de que (1) é FALSA está errada e precisa ser corrigida. (1) não pode ser FALSA. (1) é VERDADEIRA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre. Pela regra (a), (2) também é VERDADEIRA. Como (2) é verdadeira, então há um tigre no aposento 1. Como há um tigre no aposento 1 e (1) é verdadeira, então, pela regra (b), há uma dama no aposento (2). Portanto, o prisioneiro deve escolher a porta 2!!!!
22 SUPONHA que (1) seja FALSA. Não há damas em nenhum aposento. Há tigres nos dois aposentos. Há um tigre no aposento 1. (2) é VERDADEIRA. Como (1) é FALSA, então, por (a), (2) é FALSA. (2) é VERDADEIRA e FALSA. Isto é um absurdo. Algo precisa ser corrigido. A suposição de que (1) é FALSA está errada e precisa ser corrigida. (1) não pode ser FALSA. (1) é VERDADEIRA. (1): Pelo menos em um destes aposentos há uma dama. (2): Há um tigre no outro aposento. REGRAS: (a) As sentenças são ou ambas verdadeiras ou ambas falsas. (b) Em cada aposento há ou uma dama ou um tigre. Pela regra (a), (2) também é VERDADEIRA. Como (2) é verdadeira, então há um tigre no aposento 1. Como há um tigre no aposento 1 e (1) é verdadeira, então, pela regra (b), há uma dama no aposento (2). Portanto, o prisioneiro deve escolher a porta 2!!!! E torcer para não dar de cara com a Lucrécia!!!
23 O que é Lógica? O prisioneiro tem confiança absoluta de que a Dama está no aposento 2. Ele arrisca sua vida nesta certeza! Por que?
24 O que é Lógica? Porque ele confia em sua argumentação! Se a argumentação acima for boa, ela PROVA que a conclusão ( A dama está no aposento 2 ) nunca será falsa quando as informações dadas (enunciado da charada - premissas) são verdadeiras.
25 O que é Lógica? Quando isso ocorre, dizemos que a resposta da charada é uma conseqüência lógica do enunciado da charada. Cada passo (linha) da argumentação é conseqüência lógica dos anteriores.
26 Qual o Objetivo da Lógica? O objetivo da lógica é estudar TODAS as formas de conseqüência lógica. Ou seja, estudar todos os tipos de argumentos que justificam uma declaração (conclusão) com base em outras declarações (premissas). A Lógica não só nos ajuda a resolver charadas, como também ajuda a verificar se uma suposta solução está correta.
27 Formalizando a Dama e o Tigre Sentenças Envolvidas D 1 Há uma dama no aposento 1 D 2 Há uma dama no aposento 2 T 1 Há um tigre no aposento 1 T 2 Há um tigre no aposento 2
28 Formalizando a Dama e o Tigre Letreiros das Portas (1): Pelo menos em um destes aposentos há uma Dama.
29 Formalizando a Dama e o Tigre Letreiros das Portas (1): Pelo menos em um destes aposentos há uma Dama. (D 1 D 2 )
30 Formalizando a Dama e o Tigre Letreiros das Portas (1): Pelo menos em um destes aposentos há uma Dama. (D 1 D 2 ) (2): Há um tigre no outro aposento.
31 d Formalizando a Dama e o Tigre Letreiros das Portas (1): Pelo menos em um destes aposentos há uma Dama. (D 1 D 2 ) (2): Há um tigre no outro aposento. T 1
32 Formalizando a Dama e o Tigre Regra ou Condição (b) Cada aposento tem uma Dama ou um Tigre, mas não ambos:
33 Formalizando a Dama e o Tigre Regra ou Condição (b) Cada aposento tem uma Dama ou um Tigre, mas não ambos: (D 1 T 1 ) ~(D 1 T 1 ) (D 2 T 2 ) ~(D 2 T 2 )
34 Formalizando a Dama e o Tigre Regra ou Condição (b) Cada aposento tem uma Dama ou um Tigre, mas não ambos: D 1 ~T 1 D 2 ~T 2
35 Formalizando a Dama e o Tigre Regra ou Condição (a) As sentenças das portas são ou ambas verdadeiras ou ambas falsas.
36 Formalizando a Dama e o Tigre Regra ou Condição (a) As sentenças das portas são ou ambas verdadeiras ou ambas falsas. (1) Pelo menos em um destes aposentos há uma Dama. (2) Há um tigre no outro aposento. (D 1 D 2 ) T 1
37 Formalizando a Dama e o Tigre Regra ou Condição (a) As sentenças das portas são ou ambas verdadeiras ou ambas falsas. (1) Pelo menos em um destes aposentos há uma Dama. (2) Há um tigre no outro aposento. (D 1 D 2 ) T 1 (D 1 D 2 ) T 1
38 Formalizando a Dama e o Tigre As Premissas (enunciado completo) 1. D 1 ~T 1 2. D 2 ~T 2 3. (D 1 D 2 ) T 1
39 Formalizando a Dama e o Tigre Qual Conclusão se Segue das Premissas? D 1 ~T 1 D 2 ~T 2 (D 1 D 2 ) T 1 D 1?? D 2??
40 O Teste da Tabela de Verdade D 1 D 2 T 1 T 2 D 1 ~T 1 D 2 ~T 2 (D 1 D 2 ) T 1 D 1 D
41 Prova Formal
42 Ferramentas Computacionais
43 Aposento 1 Neste aposento há uma dama e no outro um tigre. Aposento 2 Em um destes aposentos há uma dama e em um destes aposentos há um tigre. Uma afirmação é verdadeira, mas a outra é falsa!? EM QUE APOSENTO ESTÁ A DAMA??
Pré-Cálculo. Humberto José Bortolossi. Aula 2 13 de agosto de Departamento de Matemática Aplicada Universidade Federal Fluminense
Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 2 13 de agosto de 2010 Aula 2 Pré-Cálculo 1 Problemas de organização e erros frequentes Problemas
Elementos de Lógica Matemática. Uma Breve Iniciação
Elementos de Lógica Matemática Uma Breve Iniciação Proposições Uma proposição é uma afirmação passível de assumir valor lógico verdadeiro ou falso. Exemplos de Proposições 2 > 1 (V); 5 = 1 (F). Termos
n. 18 ALGUNS TERMOS...
n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.
Para provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
INTRODUÇÃO À LÓGICA. Julian Dutra Professor de Filosofia Colégio João Paulo I Unidade Sul Março de 2018
INTRODUÇÃO À LÓGICA Julian Dutra Professor de Filosofia Colégio João Paulo I Unidade Sul Março de 2018 Um argumento é um conjunto de sentenças onde algumas dessas sentenças são as premissas e uma dessas
Resumo de Filosofia. Preposição frase declarativa com um certo valor de verdade
Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,
Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano
A Pirâmide de aprendizagem de William Glasser Unidade 1 - Elementos de Lógica e Linguagem Matemáticas Matemática Básica Departamento de Matemática Aplicada Universidade Federal Fluminense 2018.1 Segundo
Alex Lira. Olá, pessoal!!!
Olá, pessoal!!! Seguem abaixo os meus comentários das questões de Lógica que foram cobradas na prova para o cargo de Agente da Polícia Federal, elaborada pelo Cespe, realizada no último final de semana.
Lógica Matemática. Luan Arjuna
Lógica Matemática Luan Arjuna 1 Introdução Neste material estudaremos lógica matemática, um assunto de extrema importância para quem deseja estudar matemática olímpica. Para esse estudo, não serão necessários
Introdução ao pensamento matemático
Introdução ao pensamento matemático Lisandra Sauer Geometria Euclidiana UFPel Uma das principais características da Matemática é o uso de demonstrações (provas) para justificar a veracidade das afirmações.
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Matemática Discreta - 04
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 04 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
PENSAMENTO CRÍTICO. Aula 2. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC
PENSAMENTO CRÍTICO Aula 2 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 A fim de trabalhar o conceito de inferência, são propostos alguns enigmas lógicos extraídos da obra abaixo
Lógica dos Conectivos: demonstrações indiretas
Lógica dos Conectivos: demonstrações indiretas Renata de Freitas e Petrucio Viana IME, UFF 5 de novembro de 2014 Sumário Acrescentando premissas. Estratégias indiretas. Principais exemplos. Um problema
Modus ponens, modus tollens, e respectivas falácias formais
Modus ponens, modus tollens, e respectivas falácias formais Jerzy A. Brzozowski 28 de abril de 2011 O objetivo deste texto é apresentar duas formas válidas de argumentos o modus ponens e o modus tollens
Unidade II LÓGICA. Profa. Adriane Paulieli Colossetti
Unidade II LÓGICA Profa. Adriane Paulieli Colossetti Relações de implicação e equivalência Implicação lógica Dadas as proposições compostas p e q, diz-se que ocorre uma implicação lógica entre p e q quando
Lógica Texto 11. Texto 11. Tautologias. 1 Comportamento de um enunciado 2. 2 Classificação dos enunciados Exercícios...
Lógica para Ciência da Computação I Lógica Matemática Texto 11 Tautologias Sumário 1 Comportamento de um enunciado 2 1.1 Observações................................ 4 2 Classificação dos enunciados 4 2.1
Tema, Problematização e Justificativa
Departamento de Geografia Faculdade de Filosofia, Letras e Ciências Humanas Universidade de São Paulo Iniciação à Pesquisa em Geografia I Tema, Problematização e Justificativa Prof. Dr. Fernando Nadal
Aula 1 Aula 2 Aula 3. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: [email protected] Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE
Indução Matemática George Darmiton da Cunha Cavalcanti CIn - UFPE Introdução Qual é a fórmula para a soma dos primeiros n inteiros ímpares positivos? Observando os resultados para um n pequeno, encontra-se
Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos;
Aula 02 - Lógica Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: [email protected] Site: http://www.allbert.com.br /allbert.almeida Resumo aula Conceituação; Origem;
Lógica dos Conectivos: demonstrações indiretas
Lógica dos Conectivos: demonstrações indiretas Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário Olhe para as premissas Olhe para a conclusão Estratégias indiretas Principais exemplos
Introdução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
Aula 1 Aula 2. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: [email protected] Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Lógica Proposicional e Dedução Natural 1/48. Douglas O. Cardoso docardoso.github.io
Lógica Proposicional e Dedução Natural [email protected] docardoso.github.io Lógica Proposicional e Dedução Natural 1/48 Roteiro 1 Uma Introdução Intuitiva 2 Proposições 3 DN: regras básicas
PROBABILIDADES E INTRODUÇÃO A PROCESSOS ESTOCÁSTICOS. Aula 2 07 e 08 março MOQ-12 Probabilidades e Int. a Processos Estocásticos
PROBABILIDADES E INTRODUÇÃO A PROCESSOS ESTOCÁSTICOS Aula 2 07 e 08 março 2007 1 1. Probabilidade Condicional 2. Propriedades 3. Partições 4. Teorema de Probabilidade Total 5. Teorema de Bayes 6. Independencia
Dedução Natural para Lógica Proposicional
Dedução Natural para Lógica Proposicional Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 11 de dezembro de 2012 Motivação (I) Considere
Autor: Francisco Cubal Disponibilizado apenas para Resumos.tk
Conceito e Finalidade da Lógica Existem variados conceitos do que é a Lógica. Conceitos: A lógica é o estudo das inferências ou argumentos válidos. A lógica é o estudo do que conta como uma boa razão para
Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização
Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização 1 Provas, lemas, teoremas e corolários Uma prova é um argumento lógico de que uma afirmação é verdadeira Um teorema
Análise de Algoritmos
Análise de Algoritmos Técnicas de Prova Profa. Sheila Morais de Almeida DAINF-UTFPR-PG julho - 2015 Técnicas de Prova Definição Uma prova é um argumento válido que mostra a veracidade de um enunciado matemático.
A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 45/360
1 DEMAIS SIMULADOS NO LINK ABAIXO CLIQUE AQUI REDE SOCIAL SIMULADO 45/360 RLM INSTRUÇÕES TEMPO: 30 MINUTOS MODALIDADE: CERTO OU ERRADO 30 QUESTÕES CURTA NOSSA PÁGINA MATERIAL LIVRE Este material é GRATUITO
Matemática Computacional. Introdução
Matemática Computacional Introdução 1 Definição 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. 2 Origem Aristóteles
Matéria: Raciocínio Lógico Concurso: Agente da Polícia Federal 2018 Professor: Alex Lira
Concurso: Professor: Alex Lira Prova comentada: Agente Polícia Federal 2018 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES... 10 Página
No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980)
Cálculo Infinitesimal I V01.2016 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitor: Lucas Porto de Almeida Lista A - Introdução à matemática No. Try not. Do... or do not. There is no try.
RACIOCÍNIO LÓGICO. Implicação Lógica. Parte 2. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO Implicação Lógica. Parte 2. Prof. Renato Oliveira RACIOCÍNIO LÓGICO FCC - 2014 TRT 16ªREGIÃO(MA) Técnico Judiciário - Administrativa Q409180 - (questão nº 1) Prof. Renato Oliveira Ou
PENSAMENTO CRÍTICO. Aula 4. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC
PENSAMENTO CRÍTICO Aula 4 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 Conceitos trabalhados até aqui: Inferência; Premissa; Conclusão; Argumento; Premissa Básica; Premissa
Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi Argumentos e Exercícios de Revisão
GMA DEPARTAMENTO DE MATEMÁTICA APLICADA Fundamentos de Matemática Lista de Exercícios Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 04 Argumentos e Exercícios de Revisão [01] (Exercício
Elementos de Lógica Matemática p. 1/2
Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra [email protected] Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ
Lógica Matemática. Definição. Origem. Introdução
Lógica Matemática Introdução 1 Definição 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. 2 Origem Aristóteles
Humberto José Bortolossi [01] (a) (1.0) Escreva infinitos números racionais que pertençam ao intervalo
![Humberto José Bortolossi [01] (a) (1.0) Escreva infinitos números racionais que pertençam ao intervalo](/thumbs/95/124039018.jpg "Humberto José Bortolossi [01] (a) (1.0) Escreva infinitos números racionais que pertençam ao intervalo")
PRIMEIRA VERIFICAÇÃO DE APRENDIZAGEM Pré-Cálculo Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ Nome legível: Assinatura: [0] (a) (.0) Escreva infinitos números racionais que pertençam
Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
ATIVIDADES EM SALA DE AULA Cálculo I -A- Humberto José Bortolossi
ATIVIDADES EM SALA DE AULA Cálculo I -A- Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 06 Limites, Assíntotas Horizontais e Assíntotas Verticais [0] (2006.2) Considere a função f() =
RACIOCÍNIO LÓGICO. Quantificadores. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO. Prof. Renato Oliveira Os quantificadores são proposições categóricas que transformam sentenças abertas em proposições lógicas, pela quantificação das variáveis. Exemplo: x + 2 > 4 não
VERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO
ENADE 2005 e 2008 1 O que B. Russell afirma da matemática, em Misticismo e Lógica: "uma disciplina na qual não sabemos do que falamos, nem se o que dizemos é verdade", seria particularmente aplicável à
Lógica Proposicional
Lógica Proposicional DIAGRAMAS LÓGICOS ü Todo Sinônimos: qualquer um ou outra similar. Representação: Conclusão: Todo A é B. Alguns elementos de B são A ou existem B que são A. Negação: Trocar TODO por
Expressões e enunciados
Lógica para Ciência da Computação I Lógica Matemática Texto 2 Expressões e enunciados Sumário 1 Expressões e enunciados 2 1.1 Observações................................ 2 1.2 Exercício resolvido............................
Matéria: Raciocínio Lógico Concurso: Auditor Fiscal da SEFAZ-SC Professor: Alex Lira
Concurso: Auditor Fiscal da SEFAZ-SC Professor: Alex Lira Prova comentada: Auditor Fiscal SEFAZ-SC 2018 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3
PESSOA PORTADORA DE DEFICIÊNCIA AUDITIVA
1 PESSOA PORTADORA DE DEFICIÊNCIA AUDITIVA Autor: Dr. Airton Kwitko e-mail: [email protected] A finalidade desse documento é apresentar o ponto de vista do autor a respeito do Parecer CFFa CS nº 31,
Raciocínio Lógico I. Solução. Primeiramente vamos listar todos os números de dois algarismos que são múltiplos de 7 ou 13.
Polos Olímpicos de Treinamento Curso de Combinatória - Nível 1 Prof. Bruno Holanda Aula 3 Raciocínio Lógico I O estudo da Lógica é essencial para os alunos que desejam participar de olimpíadas de matemática.
Matéria: Raciocínio Lógico Concurso: Auditor Tributário ISS Gramado 2019 Professor: Alex Lira
Concurso: Professor: Alex Lira Prova comentada: Auditor Tributário ISS GRAMADO 2019 Raciocínio Lógico SUMÁRIO CONTEÚDO PROGRAMÁTICO PREVISTO NO EDITAL... 3 QUESTÕES COMENTADAS... 3 LISTA DE QUESTÕES...
MARATONA INSS. Prof. Josimar Padilha
MARATONA INSS Prof. Josimar Padilha Mariana é uma estudante que tem grande apreço pela matemática, apesar de achar essa uma área muito difícil. Sempre que tem tempo suficiente para estudar, Mariana é aprovada
Introdução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional - Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Prof.ª Dr.ª Donizete Ritter. MÓDULO II_PARTE 1: Lógica de Argumentação
Bacharelado em Sistemas de Informação Disciplina: Lógica Prof.ª Dr.ª Donizete Ritter MÓDULO II_PARTE 1: Lógica de Argumentação 1 Origem Aristóteles - filósofo grego - 342 a.c, sistematizou os conhecimentos
Prova Escrita de Filosofia
EXAME FINAL NACIONAL DO ENSINO SECUNDÁRIO Prova Escrita de Filosofia 11.º Ano de Escolaridade Decreto-Lei n.º 139/2012, de 5 de julho Prova 714/Época Especial 8 Páginas Duração da Prova: 120 minutos. Tolerância:
Questões de Concursos Aula 04 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 04 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Julgue os itens a seguir: A seguinte argumentação é inválida. Premissa 1: Todo funcionário que sabe lidar
Prova de Agente de Polícia Federal 2012 (CESPE) Solução e Comentários de Raciocínio Lógico Professor Valdenilson. Caderno de Questões Tipo I
Prova de Agente de Polícia Federal 01 (CESPE) Solução e Comentários de Raciocínio Lógico Professor Valdenilson Caderno de Questões Tipo I Texto 1. Um jovem, ao ser flagrado no aeroporto portando certa
A CASA DO SIMULADO DESAFIO QUESTÕES MINISSIMULADO 51/360
1 DEMAIS SIMULADOS NO LINK ABAIXO CLIQUE AQUI REDE SOCIAL SIMULADO 51/360 RLM INSTRUÇÕES TEMPO: 30 MINUTOS MODALIDADE: CERTO OU ERRADO 30 QUESTÕES CURTA NOSSA PÁGINA MATERIAL LIVRE Este material é GRATUITO
Aula 1: Introdução ao curso
Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer [email protected] Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos
PENSAMENTO CRÍTICO. Aulas 7 e 8. Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC
PENSAMENTO CRÍTICO Aulas 7 e 8 Profa. Dra. Patrícia Del Nero Velasco Universidade Federal do ABC 2016-2 Avaliação lógica de argumentos: há, entre as premissas e a conclusão, uma conexão apropriada? As
Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.
1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um
COLÉGIO NOSSA SENHORA DA PIEDADE. Programa de Recuperação Paralela. 2ª Etapa 2014
COLÉGIO NOSSA SENHORA DA PIEDADE Programa de Recuperação Paralela 2ª Etapa 2014 Disciplina: FILOSOFIA Professora: ALESSANDRA PRADA Série: 2ª Turma: FG Caro aluno, você está recebendo o conteúdo de recuperação.
Exercícios de lógica -sensibilização
Exercícios de lógica -sensibilização 1. Lógica matemática: Qual a lógica da seqüência dos números e quem é x? 2,4,4,6,5,4,4,4,4,x? 2. Charadas: lógica filosófica. Um homem olhava uma foto, e alguém lhe
Probabilidade Condicional (grupo 2)
page 39 Capítulo 5 Probabilidade Condicional (grupo 2) Veremos a seguir exemplos de situações onde a probabilidade de um evento émodificadapelainformação de que um outro evento ocorreu, levando-nos a definir
Cá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
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Lógica dos Conectivos: validade de argumentos
Lógica dos Conectivos: validade de argumentos Renata de Freitas e Petrucio Viana IME, UFF 16 de setembro de 2014 Sumário Razões e opiniões. Argumentos. Argumentos bons e ruins. Validade. Opiniões A maior
Fundamentos da Computação 1. Introdução a Argumentos
Fundamentos da Computação 1 Introdução a s Se você tem um senha atualizada, então você pode entrar na rede Você tem uma senha atualizada Se você tem um senha atualizada, então você pode entrar na rede
Portal da OBMEP. Material Teórico - Módulo de FRAÇÃO COMO PORCENTAGEM E COMO PROBABILIDADE. Fração como Probabilidade. Sexto Ano do Ensino Fundamental
Material Teórico - Módulo de FRAÇÃO COMO PORCENTAGEM E COMO PROBABILIDADE Fração como Probabilidade Sexto Ano do Ensino Fundamental Prof. Francisco Bruno Holanda Prof. Antonio Caminha Muniz Neto 1 Introdução
Lógica Proposicional. 1- O que é o Modus Ponens?
1- O que é o Modus Ponens? Lógica Proposicional R: é uma forma de inferência válida a partir de duas premissas, na qual se se afirma o antecedente do condicional da 1ª premissa, pode-se concluir o seu
MATRIZES - PARTE Mais exemplos Multiplicação de duas matrizes AULA 26
AULA 26 MATRIZES - PARTE 2 26. Mais exemplos Nesta aula, veremos mais dois algoritmos envolvendo matrizes. O primeiro deles calcula a matriz resultante da multiplicação de duas matrizes e utiliza três
Indução e filosofia da ciência 1
O equilíbrio dos indícios Indução e filosofia da ciência 1 Stephen Law Algumas das questões mais centrais e importantes colocadas por filósofos da ciência dizem respeito ao problema da confirmação. Os
MAT Laboratório de Matemática Primeira Lista de Exercícios Professora Barbara Valério
MAT1513 - Laboratório de Matemática Primeira Lista de Exercícios - 2019 Professora Barbara Valério 1. Dado o seguinte esquema: D o estudante comete erros, C há motivação para o estudo, F o estudante aprende
Funções. Pré-Cálculo. O que é uma função? O que é uma função? Humberto José Bortolossi. Parte 2. Definição
Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Funções Parte 2 Parte 2 Pré-Cálculo 1 Parte 2 Pré-Cálculo 2 O que é uma função? O que é uma função?
Técnico Agropecuário/TO AOCP 2012
Técnico Agropecuário/TO AOCP 2012 01. Entre um grupo de amigos existe o seguinte arranjo: Se João vai ao cinema, Maria vai para a lanchonete. Se Maria vai para a lanchonete, José vai ao cinema. Se José
a * Lema do Bombeamento Linguagens regulares e não-regulares
a * Lema do Bombeamento Linguagens regulares e não-regulares 1 Lema do Bombeamento para LR Como decidir que uma linguagem não é regular? Toda linguagem regular satisfaz o Lema do bombeamento (LB). Lemas
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Uma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem.
Tautologia Uma proposição composta é uma tautologia, se for sempre verdadeira, independentemente do valor lógico das proposições simples que a compõem. Exemplos: Contradição Uma proposição composta é uma
Lógica Proposicional
Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado
Neste artigo, a título de sugestão de abordagem do tema, apresentamos exemplos de explicitação e utilização de algumas dessas regras.
Somo Gilda de La Roque Palis e Iaci Malta PUC - RJ Em sua autobiografia, Carl Gustav Jung 1, um dos grandes pensadores da Psicanálise, lembrando de seus tempos de colégio, diz:... o que mais me irritava
INF1009.3WB: Lógica para computação
INF1009.3WB: Lógica para computação Aula 0: Aula inaugural Cecília Englander Guilherme F. Lima Edward Hermann Lab. TecMF, Dep. Informática, PUC-Rio 2017.2 Sumário 1. Apresentação da disciplina 2. Lógica,
Lógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução
Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três
Definindo a introdução de um projeto / relatório / artigo
Universidade de São Paulo Escola Superior de Agricultura Luiz de Queiroz Departamento de Economia, Administração e Sociologia LES 669 - LES0669 Iniciação Científica em Economia Aplicada Definindo a introdução
18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi [email protected] http://fabianotaguchi.wordpress.com Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA A lógica está
1ª AVALIAÇÃO DE LÓGICA BACHARELADO E LICENCIATURA EM FILOSOFIA (Prof. Rodolfo Petrônio) SOLUÇÃO DAS QUESTÕES DA PROVA
1ª AVALIAÇÃO DE LÓGICA BACHARELADO E LICENCIATURA EM FILOSOFIA 2016.2 (Prof. Rodolfo Petrônio) SOLUÇÃO DAS QUESTÕES DA PROVA 1. (1.0) Responda à seguinte pergunta, recorrendo às regras do silogismo. Você
RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha
RACIOCÍNIO ANALÍTICO COMUNICAÇÃO EFICIENTE DE ARGUMENTOS - LINGUAGEM- Professor Josimar Padilha I SENTENÇAS Expressão de um pensamento completo. São compostas por um sujeito (algo que se declara) e por
Cá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
LEI DA TRICOTOMIA EM N. Amanda Vitória de Jesus Mendes, Vinício Brás Oliveira Dias, João Carlos Moreira Universidade Federal de Uberlândia FACIP
1. INTRODUÇÃO Apesar do conhecimento da existência dos números naturais e a sua utilização para contar, apenas no século XIX uma construção axiomática dos números naturais foi efetivamente apresentada.
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.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
Teorias de Avaliação - CE095 Fundamentos da Elaboração de Ite
Teorias de Avaliação - CE095 Fundamentos da Elaboração de Itens Adilson dos Anjos 1 1 Departamento de Estatística Universidade Federal do Paraná [email protected] Curitiba, PR 13 de agosto de 2014 Material
Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo
Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Parte 3 Parte 3 Matemática Básica 1 Parte 3 Matemática Básica 2 Qual é a negação do predicado