Raciocínio Lógico Matemático Cap. 2 Lógica Matemática
|
|
|
- Elisa Lemos Neto
- 8 Há anos
- Visualizações:
Transcrição
1 Raciocínio Lógico Matemático Cap. 2 Lógica Matemática Capítulo2
2 1. Lógica Matemática No primeiro capítulo, discutimos uma série de conceitos atrelados à lógica de uma forma geral, mas de forma tendenciosa buscamos também fazer uma introdução à lógica matemática. Você pode constatar isto, especialmente por intermédio dos exemplos dados, assim como da linguagem utilizada. Para continuar este estudo da lógica matemática, e de forma mais didática e pedagógica, se faz necessário relembrar alguns conceitos fundamentais, tais como: Expressão é uma composição de palavras sem formar um sentido completo (sem predicado). Frase ou sentença é uma composição de palavras que exprimem um sentido completo; isto é, formado por sujeito e predicado. Veja o quadro abaixo e note a diferença básica quanto ao sentido. Expressão Frase ou sentença 1. O imenso navio 1. O imenso navio está quebrado. 2. A bela mulher 2. A bela mulher mora longe 3. O grande sonho 3. O grande sonho acabou 4. A disciplina de raciocínio lógico matemático 4. A disciplina de raciocínio lógico matemático faz parte dos estudos formativos. De forma análoga, temos na Matemática as expressões e as sentenças. O quadro abaixo exemplifica isto. 2
3 Expressão Sentença 1) x + 4 1) x + 4 = 10 2) 2x 2) 2x = 12 3) ) =10 4) ) 30 6 = 24 É importante salientar que: As expressões matemáticas que apresentam letras e podem conter números são chamadas de expressões algébricas ou literais. As letras nas expressões são chamadas variáveis ou incógnitas, o que significa que o valor de cada letra pode ser substituído por um valor numérico. A palavra incógnita significa "desconhecida". As sentenças matemáticas podem ser classificadas como fechadas ou abertas. Sentenças fechadas são aquelas que são formadas por valores conhecidos e as abertas são aquelas que possuem valores desconhecidos. Na tabela, dada anteriormente, podemos verificar que os dois últimos exemplos se tratam de sentenças fechadas. 3) =10 4) 30 6 = 24 Da mesma tabela, temos que as duas primeiras sentenças são abertas, pois não temos, o valor de x. As sentenças abertas são usadas para representar relações entre grandezas de uma maneira genérica ou representar relações entre grandezas, onde uma ou algumas delas são desconhecidas. 3
4 Toda sentença matemática aberta que exprime uma relação de igualdade chama-se equação. A palavra equação tem o prefixo equa, que em latim quer dizer igual. 1) x + 4 = 10 2) 2x = 10 verdadeiras. É fácil determinar o valor numérico que torna cada uma destas sentenças x + 4 = 10 Substitua x = 6 e verifique a igualdade: = 10 2x = 10 Substitua x = 5 e verifique a igualdade: 2 (5) = 10 2x = duas vezes x (dobro de x) 3x = três vezes x (triplo de x) 4x = quatro vezes x ( quádruplo de x) e assim por diante... A seguir, faremos uma aplicação destas noções na resolução de determinados problemas. Perceba que não temos a preocupação, aqui, de resolvêlos e sim de representá-los matematicamente, montando as respectivas equações. 1. Qual é o número inteiro cujo triplo é 21? Neste caso, podemos representar por x o valor desconhecido e por 3x o triplo deste valor e desta forma montar a seguinte equação que representa este enunciado: 3x = 21 4
5 2. A diferença entre o triplo de um número e o quádruplo de outro é 5. Para esta afirmação, podemos utilizar para os números desconhecidos (as incógnitas) as letras x e y, e desta forma compor a seguinte equação: 3x 4y = 5 a) Proposições O raciocínio lógico trabalha com proposições, que é um conceito fundamental no estudo da lógica. Destacamos do dicionário, a seguinte definição para a palavra proposição: 6. Lóg. Expressão verbal ou simbólica suscetível de ser dita verdadeira ou falsa; sentença. [Cf. preposição e, nesta acepção, enunciado e juízo.] Fonte: Dicionário Aurélio Buarque de Holanda Podemos classificar as proposições em simples ou compostas. Proposição simples nada mais é do que uma frase ou sentença declarativa. É constituída de um conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. Não contém nenhuma outra proposição como parte integrante de si mesma. Utilizamos, por convenção, letras minúsculas do nosso alfabeto p,q r, s,..., chamadas letras ou variáveis proposicionais. Veja os exemplos abaixo: p: O Brasil, no futebol, é pentacampeão. q: O número 4 é um número quadrado perfeito. 5
6 ATENÇÃO!!! Utilizamos p e q para as proposições simples, mas poderíamos utilizar a e b, ou quaisquer outras letras minúsculas. Número quadrado perfeito é um número cuja extração da raiz quadrada é exata. Ex.: 4 = 2, pois 2² =2x2 = 4. Proposição composta é uma proposição formada por mais de uma proposição simples. Normalmente, utilizamos, por convenção, letras maiúsculas do nosso alfabeto P, Q, R, S,..., chamadas letras proposicionais. Eis alguns exemplos: P: Chove e o trânsito está complicado. Q: Lula é o atual Presidente do Brasil e Obama é o dos Estados Unidos. R: 0 < 1 e 7 4 S: Se Pedro é estudante, então lê livros. Podemos concluir, portanto, que as proposições são sentenças fechadas e que podem ser avaliadas logicamente como verdadeiras ou falsas. Elas afirmam fatos ou exprimem juízos que formamos. 6
7 b) Princípios da lógica: Como vimos no capítulo anterior, para que os argumentos sejam válidos, eles têm que atender aos seguintes princípios da lógica clássica: Princípio da identidade; Princípio da não contradição; Princípio do terceiro excluído. outros): Estes princípios serão estudados com mais detalhes neste capítulo. A lógica clássica é, portanto, governada por estes três princípios (entre Princípio da Identidade: Todo objeto é idêntico a si mesmo. Esta é uma condição do próprio pensamento. Um objeto só pode ser conhecido e pensado se for percebido e conservado com sua identidade. A é A ou de forma equivalente O QUE REALMENTE É. De acordo com este princípio, podemos dizer: A = A. Mais alguns exemplos: Sonho é sonho. Trabalho é trabalho. Energia é energia Princípio da Não-Contradição: É também conhecido como Princípio da Não-Identidade. Dadas duas proposições contraditórias (uma é negação da outra), uma delas certamente é falsa. A é A e é impossível que seja ao mesmo tempo não-a. 7
8 Existe uma dicotomia entre SER e NÃO-SER, pois quando uma possibilidade ocorre a outra é excluída. Por exemplo: Todos os comentaristas afirmaram que Dunga, técnico da seleção brasileira de futebol, errou na convocação dos jogadores para a Copa Tal premissa (afirmação) pode ser verdadeira ou falsa e sendo falsa não pode ser verdadeira. Princípio do Terceiro Excluído: Toda proposição ou é verdadeira ou é falsa, isto é, verifica-se sempre um destes casos e não um terceiro. Equivale ao ser ou não ser. Tal princípio define a decisão de um dilema ou isto ou aquilo. Eis alguns exemplos: Ou é William Young o autor do livro A Cabana ou não é ; Ou aceitamos a verdade ou aceitamos a mentira. Ou buscamos mudanças ou ficamos na mesmice. Ou A = X ou A =Y, e não há terceira possibilidade. Para você refletir (1) Frases de Albert Einstein. Na sua opinião, há lógica, nas frases destacadas a seguir, feitas pelo grande gênio Albert Einstein? (Fazem sentido? Em caso afirmativo, em quais contextos?) Pense sobre isto! 1) Se A é o sucesso, então A é igual a X mais Y mais Z. O trabalho é X; Y é o lazer; e Z é manter a boca fechada. 2) Não há nada mais insano do que fazer as coisas sempre da mesma maneira e esperar que os resultados sejam diferentes" Veja no final da apostila a resposta comentada. 8
9 c) Valores Lógicos das Proposições: Chama-se valor lógico de uma proposição a verdade se a proposição é verdadeira (V) e a falsidade se a proposição é falsa (F). Observe que se a sentença for fechada; isto é; a sentença tem todos os elementos conhecidos, podemos classificá-la como verdadeira ou falsa. As proposições abaixo são todas verdadeiras: (a) Até o último dia possível para declaração do imposto de renda, mais de 3 milhões de pessoas ainda não haviam feito sua declaração. (b) Vitória é a capital do Espírito Santo. (c) π > 3 (d) Um vulcão islandês comprometeu o tráfego aéreo em boa parte da Europa. π = 3, As proposições abaixo são todas falsas: (a) Obama é o atual presidente do Brasil. (b) Todos os livros utilizados nos cursos universitários são de baixo custo. (c) Não há vulcão na Europa. (d) 8x 9 = 81 9
10 d) Notação de Valor Lógico convenção. O valor lógico de uma proposição simples p indica-se por V(p), por Se p é verdadeira (V), escrevemos: V(p) = V. Ex.: p: O Sol é uma estrela. Logo, indicamos: V(p) = V q: A Terra é um planeta. V(q) = V Portanto, os exemplos dados de proposições simples têm valor lógico verdadeiro (V), pois as proposições são verdadeiras. Se p é falsa (F), escrevemos: V(p) = F Ex.: p: 3 é a metade de 5. Logo, indicamos: V(p) = F q: 5 é o dobro de 3. V(q) = F Nestes exemplos de proposições simples o valor lógico é F, pois as proposições são falsas. (3 não é a metade de 5, tampouco 5 é o dobro de 3.) De forma análoga, uma proposição composta P indica-se por V(P). Ex.: P: Luiz Inácio Lula da Silva é Prefeito de São Paulo e Fábio Júnior é cantor. Logo, indicamos: V(P) = F Você observou que embora uma das proposições seja verdadeira, o valor lógico da proposição composta é considerado F (falsa)? Veja mais um exemplo: Q: 8 = e 64 = 8 x 8. Neste caso, ambas as proposições são verdadeiras, logo indicamos o valor lógico da proposição composta Q por V(Q) = V. 10
11 e) As Tabelas-Verdade: Passaremos agora, para o estudo das tabelas-verdade. Elas são muito importantes para a compreensão da lógica, pois organizam, resumem e facilitam nossas análises. Nosso objetivo é construir uma tabela-verdade, na qual preencheremos com todos os possíveis valores lógicos. Para uma única proposição p, temos duas possibilidades: Ou é verdadeira (V) ou é falsa (F). Ex.: p: A Lua é o Satélite natural do planeta Terra. Veja que este é um exemplo de proposição verdadeira. Vamos ver outra proposição: p: Júpiter é uma estrela do nosso sistema solar. Neste exemplo, temos uma proposição falsa, pois Júpiter é um planeta e não uma estrela. De forma sucinta, podemos utilizar a tabela-verdade abaixo: p V F Agora, estamos prontos para analisar as proposições compostas por intermédio de tabelas-verdade. Assim sendo, para uma proposição composta cujas proposições simples são p e q, os valores lógicos possíveis são: 1. Ambas são verdadeiras 2. A primeira é verdadeira e a segunda é falsa 3. A primeira é falsa e a segunda é verdadeira 4. Ambas são falsas. 11
12 Veja um exemplo de aplicação da tabela-verdade: 1. A capital de São Paulo é São Paulo (p) e de Minas Gerais é Belo Horizonte (q). (ambas verdadeiras) 2. A capital de Santa Catarina é Florianópolis (p) e do Rio de Janeiro é Niterói (q). (a primeira proposição está correta, mas a segunda não, pois a capital do Rio de Janeiro é Rio de Janeiro) 3. A capital do Paraná é Cascavel (p) e a da Bahia é Salvador (q).(a primeira proposição é falsa, pois a capital do Paraná é Curitiba. Já a segunda proposição é verdadeira) 4. A capital do Mato Grosso é Campo Grande (p) e do Mato Grosso do Sul é Cuiabá (q), (ambas as proposições são falsas, pois há uma inversão) Preenchendo a tabela com os valores lógicos respectivos, temos: Proposições p q 1 V V 2 V F 3 F V 4 F F Veja, agora, outra aplicação de tabela-verdade 1) = e 5 x 11 = 11 x 5 2) 6 x 7 = 2 x 21 e 5x 8 = 2 x 19 3) (8-1) x 10 = 71 e (8-1) x 10 = 70 4) (3+2) x 5 = 20 e (4 +2) x 5 = 35 12
13 Preenchendo a tabela com os valores lógicos respectivos, temos: Proposições p q 1 V V 2 V F 3 F V 4 F F Caso tenha encontrado alguma dificuldade em compreender os valores lógicos preenchidos na tabela anterior, observe as etapas de desenvolvimento a seguir: 1) = e 5 x 11 = 11 x 5 5 = 5 (V) 55 = 55 (V) 2) 6 x 7 = 2 x 21 e 5x 8 = 2 x = 42 (V) 40 = 38 (F) 3) (8-1) x 10 = 71 e (8-1) x 10 = 70 7 x 10 = 71 7 x 10 = = 71 (F) 70 = 70 (V) 4) (3+2) x 5 = 20 e (4 +2) x 5 = 35 5 x 5 = 20 6 x 5 = = 20 (F) 30 = 35 (F) Atenção!!! As tabelas verdade serão muito úteis na análise de argumentos lógicos, que veremos adiante. 13
14 2. Conectivos Lógicos Conectivos são termos, símbolos ou palavras que estão frequentemente presentes nas proposições compostas, tais como: e; ou; se... então; se e somente se. Dizendo de outra forma: As proposições simples podem ser combinadas entre si para formarmos as proposições compostas e, para formar tais combinações usaremos conectivos lógicos. Dentre eles, destacamos os seguintes: Conectivos Significado ^ e v ou, se...então..., se e somente se Exemplos: P: O número 325 é ímpar e o número 326 é par. Q: 2 >1 ou 4 é um número ímpar. R: Se tiver o aumento salarial esperado, então poderei trocar de celular. S: O triângulo ABC é equilátero se e somente se é equiângulo. Triângulo equiângulo- todos os seus ângulos internos são congruentes (medem 60 ) 14
15 3. Operações Lógicas sobre Proposições A elaboração de proposições novas a partir de outras proposições é chamada de operações lógicas. Cada conectivo indica uma operação lógica diferente. Efetuamos, frequentemente, várias operações lógicas, que passaremos a detalhar a seguir. Observe a utilização dos conectivos lógicos vistos anteriormente. Conjunção e (símbolo ) : ^ Dadas duas proposições p e q, a conjunção dessas proposições será a proposição composta p e q (indica-se com a notação p ^ q); isto é, a operação lógica da conjunção funciona da mesma forma que a conjunção "e". Vamos exemplificar: 1º Exemplo: p: Está muito frio q: estou bem agasalhado p ^ q: "Está muito frio e estou bem agasalhado." Neste caso, a proposição composta p ^ q será verdadeira, somente na hipótese de ambas as proposições p e q serem verdadeiras. 2º Exemplo: p: A neve é branca (V) q: 10 > 0 (V) p ^ q: A neve é branca e 10 > 0 (V) 15
16 Observe que neste segundo exemplo, ambas as proposições p e q são verdadeiras, e portanto p ^ q também será verdadeira. 3º Exemplo: p: Brasil é um país da América do Sul.(V) q: 0 > 10 (F) p ^ q: Brasil é um país da América do Sul e 0 > 10 (F) Neste exemplo, uma das proposições é falsa, logo p q também será falsa. ^ Resumindo, podemos dizer que quando pelo menos uma das proposições dadas é falsa, a conjunção destas proposições será falsa também. O valor lógico da conjunção de duas proposições pode ser definido pela seguinte tabela-verdade: P Q p q ^ V V V V F F F V F F F F Disjunção ou (símbolo: v) Dadas duas proposições p e q, a disjunção dessas proposições será a proposição composta p ou q (indica-se com a notação p v q) 16
17 1º Exemplo: p: 9> 5 (V) q: 3= 3 (V) p v q: 9 > 5 ou 3= 3 (V) Veja mais alguns exemplos: 2º Exemplo: p: 3 > 2 (V) q: 3= 0 (F) p v q: 3 > 2 ou 3= 0 (V) 3º Exemplo: p: 3 x 4 = 2 x 8 (F) q: 3= 3 (V) p v q: 3 x 4 = 2 x 8 ou 3= 3 (V) Verifique que a disjunção p v q (p ou q) será verdadeira quando ao menos uma das proposições p e q é verdadeira. 4º Exemplo: p: 5x 9 = 90 : 3 (F) q: 3= 6 (F) p v q: 5x 9 = 90 : 3 ou 3= 6 (F) também. Se ambas as proposições são falsas, aí temos a disjunção p v q falsa O valor lógico da conjunção de duas proposições pode ser definido pela seguinte tabela-verdade: 17
18 p q p v q V V V V F V F V V F F F Condicional se p então q (símbolo: p q) Na condicional p q, p é chamado de antecedente e q é o consequente. O símbolo é chamado símbolo de implicação. A proposição condicional se p então q é uma proposição composta que só admite valor lógico falso no caso em que a proposição p é verdadeira e a proposição q é falsa, sendo verdade nas demais situações. O valor lógico da condicional de duas proposições é definido pela seguinte tabela-verdade: p q p q V V V V F F F V V F F V 18
19 Vamos dar alguns exemplos: 1º Exemplo: p: O mês de Janeiro tem 31 dias (V) q: Um dia tem 24 horas (V) p q: Se o mês de Janeiro tem 31 dias, então um dia tem 24 horas (V) 2º Exemplo: p: O mês de Janeiro tem 31 dias (V) q: Um dia tem 60 horas (F) p q: Se o mês de Janeiro tem 31 dias, então um dia tem 60 horas (F) 3º Exemplo: p: O mês de Janeiro tem 28 dias (F) q: Um dia tem 24 horas (V) p q: Se o mês de Janeiro tem 28 dias, então um dia tem 24 horas (V) Atenção!!! Uma condicional p q não afirma que o conseqüente q se deduz ou é conseqüência do antecedente p. Temos que fazer uso dos valores lógicos da condicional definidos pela tabela-verdade. 4º Exemplo: p: O mês de Janeiro tem 28 dias (F) q: Um dia tem 12 horas (F) p q: Se o mês de Janeiro tem 28 dias, então um dia tem 12 horas. (V) Proposição Bicondicional se e somente se (símbolo: ) O valor lógico da proposição bicondicional só será verdadeiro no caso em que ambas as proposições apresentarem valores lógicos iguais, ou seja, as duas verdadeiras ou as duas falsas. 19
20 O valor lógico da bicondicional de duas proposições é dado pela seguinte tabela-verdade: p q p q V V V V F F F V F F F V Exemplos: 1º Exemplo: p: O açúcar é doce (V) q: O Estado de São Paulo está localizado no Brasil. (V) p q: O açúcar é doce, se e somente se o Estado de São Paulo está localizado no Brasil. (V) Observe que neste caso, a proposição bicondicional é logicamente verdadeira, pois ambas as proposições simples são verdadeiras. O mesmo ocorre no próximo exemplo. 2º Exemplo: p: 7 x 8 = 56 (V) q: = 32 (V) p q: 7 x 8 = 56, se e somente se = 32. (V) 3º Exemplo: p: 7 x 8 = 54 (F) q: = 30 (F) p q: 7 x 8 = 54, se e somente se = 30. (V) 20
21 Observe agora, que mesmo sendo ambas as proposições simples falsas, a proposição bicondicional será verdadeira. Observação : Negação: não (símbolo ~) Não podemos dizer que seja um conectivo e sim um modificador, pois se uma proposição p for verdadeira, a sua negação (~p) será falsa, e se a proposição p for falsa, a sua negação (~p) será verdadeira. O valor lógico da negação de uma preposição é definido pela seguinte tabela-verdade: p ~p V F F V Vamos aos exemplos: 1º Exemplo: p: O Sol não está surgindo ~p: O Sol está surgindo. Ficou claro para você que se a proposição inicial for verdadeira, isto é, O Sol não está surgindo, sua negação O Sol está surgindo será falsa? 2º Exemplo: p: O dia está lindo. ~p: O dia não está lindo. Atenção!!! p e sua negação ~p sempre terão valores lógicos opostos. 21
22 TNo segundo exemplo quando dizemos que: O dia está lindo, e dizemos também que a sentença é verdadeira, logo a negação dessa sentença, O dia não está lindo, será falsa. 3º Exemplo: p: = 12 (F) ~p: (V) Veja que neste exemplo, temos uma proposição p, cujo valor lógico é V(p) = F, logo sua negação terá valor lógico V(~p) = V. REFLEXÃO: Resposta comentada (1) As frases, certamente, fazem sentido! Há lógica naquilo que é dito. Quanto aos contextos, estes podem variar, pois são pessoais. A relação (verdadeira ou falsa) que faremos das proposições; isto é daquilo que se afirma, será a base para a avaliação lógica e, portanto para fazer um juízo. 22
Fundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno [email protected] Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE
1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.
Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
Campos Sales (CE),
UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:
Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES
Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira
Lógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Matemática Computacional
Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva [email protected] site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
Gestão Empresarial Prof. Ânderson Vieira
NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas
Prof. João Giardulli. Unidade I LÓGICA
Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução
Matemática Régis Cortes. Lógica matemática
Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos
Lóg L ica M ca at M em e ática PROF.. J EAN 1
Lógica Matemática PRO. JEAN 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição alor Lógico Proposição Simples e Proposição Composta Conectivos Tabela-erdade 2 LÓGICA MATEMÁTICA INTRODUÇÃO ao
CCAE. Lógica Aplicada a Computação - Cálculo Proposicional - Parte I. UFPB - Campus IV - Litoral Norte. Centro de Ciências Aplicadas e Educação
CCAE Centro de Ciências Aplicadas e Educação UFPB - Campus IV - Litoral Norte Lógica Aplicada a Computação - Cálculo Proposicional - Parte I Estes slides foram criados pelo Professor Alexandre Duarte Para
Iniciação a Lógica Matemática
Iniciação a Lógica Matemática Faculdade Pitágoras Prof. Edwar Saliba Júnior Julho de 2012 1 O Nascimento da Lógica É lógico que eu vou!, Lógico que ela disse isso! são expressões que indicam alguma coisa
Ao utilizarmos os dados do problema para chegarmos a uma conclusão, estamos usando o raciocínio lógico.
CENTRO UNVERSITÁRIO UNA NOÇÕES DE RACIOCÍNIO LÓGICO Professor: Rodrigo Eustáquio Borges A disciplina Lógica Matemática tem como objetivo capacitar o aluno a reconhecer e aplicar os conceitos fundamentais
Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01
Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01 PROPOSIÇÕES Denomina-se proposição a toda frase declarativa, expressa em palavras ou
Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.
NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo
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/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Aula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições
Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: [email protected] 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto
Álgebra das Proposições Prof. Guilherme Tomaschewski Netto [email protected] Roteiro! Lógica Matemática clássica! Proposições! alores lógicos! Conectivos! Fórmulas Lógicas! Exemplos de aplicações
RECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
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
Lógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE I Professora: M.Sc. Juciara do Nascimento César 1 A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento
Raciocínio Lógico Matemático Cap. 3 Tautologias, Contradições e Contingências
Raciocínio Lógico Matemático Cap. 3 Tautologias, Contradições e Contingências Capítulo3 Tautologias, Contradições e Contingências No capítulo anterior discutimos alguns aspectos da lógica matemática, destacando
Aula demonstrativa Apresentação... 2 Negação de proposições quantificadas Relação das questões comentadas Gabaritos...
Aula demonstrativa Apresentação... 2 Negação de proposições quantificadas... 10 Relação das questões comentadas... 14 Gabaritos... 15 1 Apresentação Olá, pessoal! Tudo bem com vocês? Esta é a aula demonstrativa
Unidade 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,
Proposições e Conectivos
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Proposições e Conectivos Lógica Computacional 1 Site: http://jeiks.net E-mail: [email protected]
CAPÍTULO I. Lógica Proposicional
Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação
ALESE. Assembleia Legislativa do Estado de Sergipe. Volume I. Técnico Legislativo / Área Apoio Técnico Administrativo
Assembleia Legislativa do Estado de Sergipe ALESE Técnico Legislativo / Área Apoio Técnico Administrativo Volume I Edital Nº 01/2018 de Abertura de Inscrições JN071-A-2018 DADOS DA OBRA Título da obra:
CASA TRIBUNAIS RACIOCÍNIO LÓGICO
CASA TRIBUNAIS RACIOCÍNIO LÓGICO Proposição Prof. Bruno Villar www.acasadoconcurseiro.com.br Raciocínio Lógico PROPOSIÇÃO TEMA: PROPOSIÇÃO A proposição lógica é o alicerce na construção do conhecimento
Lógica. Professor Mauro Cesar Scheer
Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração
Ló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
Proposições simples e compostas
Revisão Lógica Proposições simples e compostas Uma proposição é simples quando declara algo sem o uso de conectivos. Exemplos de proposições simples: p : O número 2 é primo. (V) q : 15 : 3 = 6 (F) r :
Ló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
Ló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
Raciocínio Lógico. Matemático. Lógica Proposicional
Raciocínio Lógico Matemático Lógica Proposicional Proposições Lógicas Denomina-se proposição toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro
LÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
Afirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
Algoritmos e Programação I
Algoritmos e Programação I Operadores Relacionais, Lógicos e Aritméticos Prof. Fernando Maia da Mota [email protected] CPCX/UFMS Fernando Maia da Mota 1 Expressões Uma expressão relacional, ou
Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Introdução à Lógica Proposicional Sintaxe
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe PASSOS PARA O ESTUDO DE LÓGICA Prof a Maria das Graças Marietto [email protected] 2 ESTUDO DE LÓGICA O estudo
Lógica formal. A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação IV) Simbolização 1. Simples 2.
Lógica formal A) Sentenças I) Expressão II) Subdivisão 1. Aberta 2. Fechada III) Representação I) Simbolização 1. Simples 2. Composta B)Leis do pensamento I) Princípio da Identidade II) Principio do não-contraditório
LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:
LÓGICA COMPUTACIONAL Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica 1 CODIFICAÇÃO DA CONJECURA DE COLLATZ QUE FALEI NA AULA PASSADA. 2 3 4 A lógica é usada para guiar
Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar. Noções de Lógica
Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar Noções de Lógica Proposição: É uma sentença declarativa, seja ela expressa de forma afirmativa
Fundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Unidade I LÓGICA. Profa. Adriane Paulieli Colossetti
Unidade I LÓGICA Profa. Adriane Paulieli Colossetti O que é lógica A lógica ensina a colocar ordem no pensamento. Sistemas Dicotônicos Proposições: São sentenças declarativas, que satisfazem três princípios
Fundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
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
Introdução a computação
Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...
Noções de lógica matemática Conceitos Básicos
Conceitos Básicos CH f Noções de lógica matemática Conceitos Básicos CH 1 Conceitos Básicos - E CH CH f ^ Noções de lógica matemática Conceitos Básicos - E CH CH ^ 2 Conceitos Básicos - OU CH CH f Noções
BIZU PARA POLÍCIA FEDERAL PROFESSOR: GUILHERME NEVES
Olá, pessoal! Meu nome é Guilherme Neves e estou ministrando o curso de Raciocínio Lógico para o concurso da Polícia Federal que será realizado pelo CESPE-UnB. Vamos, de uma maneira sucinta, fazer uma
Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico
Racionalidade argumentativa da Filosofia e dimensão discursiva do trabalho filosófico Aplicar tabelas de verdade na validação de formas argumentativas Ficha técnica Autores: Professores de Filosofia do
Raciocínio Lógico Matemático
Raciocínio Lógico Matemático Cap. 4 - Implicação Lógica Implicação Lógica Antes de iniciar a leitura deste capítulo, verifique se de fato os capítulos anteriores ficaram claros e retome os tópicos abordados
Lógica Proposicional (cont.)
Lógica Proposicional (cont.) Conectivos lógicos Conjunção (e: ^) Disjunção (ou: v) Negação (não : ~) Condicional (se...então: ) Bicondicional (se somente se: ) 1 Negação de um proposição composta Negar
AULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8
Índice AULA 1 Frases, proposições e sentenças 3 AULA 2 Conectivos lógicos e tabelas-verdade 5 AULA 3 Negação de proposições 8 AULA 4 Tautologia, contradição, contingência e equivalência 11 AULA 5 Argumentação
MD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro [email protected] http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional
Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.
Aprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Raciocínio Lógico Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos
Inteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação)
Universidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação http://www.inf.unioeste.br/~claudia/ia2018.html Inteligência Artificial Sistemas Baseados em Conhecimento Representação
MATEMÁTICA E RACIOCÍNIO LÓGICO
SENTENÇAS OU PROPOSIÇÕES MODIICADORES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (),
Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Inclusão Operações com conjuntos
Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Є (pertence) ou Є (não pertence) Sempre verificando de elemento para conjunto { } ou Ø = vazio {Ø} = conjunto com elemento vazio
Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues
Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues As respostas encontram-se em itálico. 1. Quais das frases a seguir são sentenças? a. A lua é feita de queijo verde. erdadeira, pois é uma
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...
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
MATEMÁTICA Questões comentadas Daniela Arboite
MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível
Lógica proposicional
Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),
Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009
Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2
22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo
Conteúdo 1. Conceitos Iniciais... 6 2. Proposições [1]... 7 3. Proposições [2] Tautologia - Contradição - Contigência... 8 4. Não são Proposições... 9 5. Lógica argumentativa Negação... 10 6. Lógica argumentativa
Professor conteudista: Ricardo Holderegger
Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4
Lógica Matemática Aula 2. Prof. Gerson Pastre de Oliveira
Lógica Matemática Aula 2 Prof. Gerson Pastre de Oliveira Conjunção (^) A conjunção de duas proposições quaisquer p,q é a proposição representada por p e q, ocorrendo o valor lógico V quando ambas proposições
3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
Anotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO
RACIOCÍNIO LÓGICO AULA 01 LÓGICA PROPOSICIONAL DEFINIÇÃO A Lógica estuda o pensamento como ele deveria ser, sem a influência de erros ou falácias. As falácias em torno do raciocínio humano se devem a atalhos
Simulado Aula 03 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Simulado Aula 03 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Argumento é a afirmação de que uma sequência de proposições, denominadas premissas, acarreta outra proposição, denominada
2016 / Nome do aluno: N.º: Turma:
Teste de Matemática A 2016 / 2017 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em
Lógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas
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
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,
1 TEORIA DOS CONJUNTOS
1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,
Alfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Considere as afirmações: I. A camisa é azul ou a gravata é branca. II. Ou o sapato é marrom ou a camisa
Fundamentos da Computação 1. Aula 03
Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise
Raciocínio Lógico Matemático do ZERO Professor: Daniel Almeida. Aula 01 Estruturas Lógicas: Proposições
Raciocínio Lógico Matemático do ZERO Professor: Daniel Almeida Aula 01 Estruturas Lógicas: Proposições ESTRUTURAS LÓGICAS Proposição é toda frase declarativa, expressa em palavras ou símbolos, que exprima
TABELA VERDADE. por: André Aparecido da Silva. Disponível em:
TABELA VERDADE por: André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica Normalmente, as proposições são representadas por letras minúsculas (p, q, r, s, etc). São outros exemplos
Raciocínio Lógico e Matemático - Unidade 2: Introdução à Lógica
Raciocínio lógico e matemático Unidade 2: Introdução à lógica Prof. Me. Diego Fernandes Emiliano Silva [email protected] http://diegofernandes.weebly.com Seção 2.1 O QUE É LÓGICA? 1 2 http://diego.fernandes.weebly.com
Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.
CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases
Prof.ª Dr.ª Donizete Ritter. MÓDULO I PARTE 2: Lógica Proposicional
Bacharelado em Sistemas de Informação Disciplina: Lógica Prof.ª Dr.ª Donizete Ritter MÓDULO I PARTE 2: Lógica Proposicional 1 OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES Os conectivos lógicos são responsáveis
Introdução à Programação I
Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem
Lógica Matemática Para Concursos
A matemática geralmente é vista como complicada para a maioria dos concursandos, mas isso já é passado, atualmente o que assusta os candidatos é a lógica matemática ou também conhecida como lógica proposicional
Lógica Formal. Matemática Discreta. Prof. Vilson Heck Junior
Lógica Formal Matemática Discreta Prof. Vilson Heck Junior [email protected] Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;
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
Cálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José [email protected] 18 de maio de 2013
Matemática para controle:
Matemática para controle: Introdução à Lógica Amit Bhaya, Programa de Engenharia Elétrica COPPE/UFRJ Universidade Federal do Rio de Janeiro [email protected] http://www.nacad.ufrj.br/ amit Introdução
