LÓGICA PROPOSICIONAL
|
|
- Maria Vitória de Escobar Madeira
- 7 Há anos
- Visualizações:
Transcrição
1 FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca <ulisses.cotta@gmail.com> LÓGICA PROPOSICIONAL Belo Horizonte/MG 2014
2 1. ELEMENTO DA LINGUAGEM INFORMAL E OUTROS TÓPICOS FRASE é o elemento de comunicação que relaciona palavras entre si de modo a estabelecer uma mensagem com sentido completo: Declarativa: O sol é uma estrela Imperativa: Não faça isto! Interrogativa: Onde você mora? Exclamativa: Parabéns!!! PROPOSIÇÃO é uma frase declarativa a qual pode ser atribuído, sem ambiguidade, um dos valores lógicos: Verdadeiro (V) ou Falso (F). Exemplos: O Japão fica na África O Brasil não é uma ilha 3+4=7 Não são preposições: 3+4 (não tem predicado) onde você vai? (interrogativa) Proposições serão representadas por letras minúsculas do nosso alfabeto: p: O México fica na América do Norte q: O número 16 é primo. CONECTIVOS LÓGICOS, ou operadores lógicos, são palavras ou expressões que se usam para formar novas proposições a partir de outras preposições: não (negação) e (conjunção) ou (disjunção) se então (condicional) se, e somente se (bicondicional)
3 VALOR LÓGICO de uma preposição é a verdade (V) se a preposição for verdadeira e é a falsidade (F) se a proposição for falsa: p: O sol é verde V(p)=F q: Um hexágono tem seis lados V(q)=V r: 2 é raiz da equação x² + 3x 4 = 0 V(p)=F PRINCÍPIOS FUNDAMENTAIS DA LÓGICA Princípio da não contradição: Uma proposição não pode ser simultaneamente verdadeira (V) e falsa (F). Princípio do terceiro excluído: Toda preposição ou só é verdadeira (V) ou só é falsa (F). Logo, toda preposição admite um e um só dos valores V e F. REPRESENTAÇÃO DE PROPOSIÇÕES LÓGICAS Proposições lógicas podem ser representadas através de diagramas de árvores ou de tabelas verdade. Seja a proposição P composta por p: P(p) Diagrama em árvore V p F Tabela verdade p V F Seja a proposição P composta por p e q: P(p,q) p Diagrama em árvore V V q F F V q F Tabela verdade p q V V V F F V F F
4 2. OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES 2.1 NEGAÇÃO Apresenta valor lógico oposto ao da proposição dada. Seja a proposição p, a negação da proposição dada será ~p, as vezes também denotada por p (lê-se não p). Tabela verdade p ~p V F F V p: O sol é uma planeta ~p: O sol não é um planeta q: 2+3 = 5 ~q: Negar uma preposição p não é apenas afirmar algo diferente do que p afirma, ou algo com o valor lógico diferente: A proposição O sol é uma estrela (que é verdadeira) não é negação da O sol é um planeta (que é falsa). 2.2 CONJUNÇÃO Apresenta valor lógico se, e somente se, cada componente for verdadeira. Duas proposições p e q podem ser combinadas pelo conectivo e para firmas uma proposição composta denominada conjunção das proposições originais. Denota-se p^q (lê-se p e q). Tabela verdade p q p^q V V V V F F F V F F F F p: Carlos estuda matemática; q: Calor joga xadrez p^q: Carlos estuda matemática e joga xadrez p: 2>0; q: 2 5 p^q: 2>0 e DISJUNÇÃO Pode traduzir tanto a ideia de hipótese mutuamente exclusiva (ou ocorre isto ou aquilo) quanto a de que pelo menos uma das hipóteses ocorre: Sejam p e q duas proposições combinadas pelo conectivo ou, para formar uma proposição composta denominada disjunção. Denota-se p V q (lê-se p ou q). A disjunção inclusa de duas proposições (p V q) é false se, e somente se, todas as componentes forem falsas.
5 Tabela verdade p q p v q V V V V F V F V V F F F seguir: Determinar o valor lógico da proposição composta P dada a p: 3<π (pi) (verdadeiro: V) q: 2 não é primo (falso: F) P(p,q) = p V q V(P)=F Disjunção exclusiva Seja o exemplo: P(p,q): Pedro passará nos exames ou repetirá de ano. p: Pedro passará nos exames. q: Pedro repetirá de ano. A proposição P será verdadeira somente nos casos em que p e q forem verdadeiros. No caso o exemplo é falso, se Pedro passará nos exames e repetirá de ano. 2.4 CONDICIONAL Dadas duas proposições p e q, o conectivo lógico se, então estabelece uma relação condicional, traduzindo uma ideia de antecedência e consequência. Notação: p q (Lê-se p então q) Tabela verdade p q p v q V V V V F F F V V F F V A proposição condicional Se chove, então a rua fica molhada, também pode ser lida das seguintes formas: Chover é uma condição suficiente para a rua ficar molhada. A rua ficar molhada é uma condição necessária quando chove. De um modo geral, p q só é falso quando p é verdadeiro e q é falso. Outros exemplos: 1) Dadas as proposições p: 1litro = 1 dm³ q: 1mL = 1cm³ p q: Se 1L = dm³ então 1mL = 1cm³
6 2) Dada as proposições: p: Chove q: Faz Frio p q: Se chove, então faz frio. 2.5 BICONDICIONAL Dadas duas proposições p e q, o conectivo lógico se, e somente se estabelece uma relação bi condicional, traduzindo uma ideia de antecedência e consequência se satisfazem mutuamente. Ou outras palavaras: p é condição necessária e suficiente para q. q é condição necessária e suficiente para p. Notação: p q (Lê-se: p se, e somente se q) Tabela verdade p q p v q V V V V F F F V F F F V Dadas as proposições: p: 2 Q q: 2 1 p q: 2 Q se, e somente se 2 1 Dada as proposições: p: Perereca se transforma em sapo. q: Sapo se transforma em príncipe p q: Perereca se transforma em sapo se, e somente se sapo se transforma em príncipe. De um modo geral, p q só é verdadeiro quando V(p) = V(q) 2.6 PRIORIDADE DE CONJUNÇÕES LÓGICAS Em geral será emprego parêntese para especificar ordem e agrupamento de conjunções lógicas. De um modo geral, a tabela a seguir ilustra tais prioridades. Operador Prioridade ~ 1 ^ 2 V A conjunção tem prioridade sobre a disjunção: p ^ q v r é o mesmo que (p ^ q) v r Outra regra afirma que, conjunção e disjunção tem prioridade sobre condicional e bicondicional. p ^ q r é o mesmo que (p ^ q) r
7 3. TAUTOLOGIAS, CONTRADIÇÃOE INDETERMINAÇÃO 3.1 Tautologia Dada um proposição composta P(p 1,p 2,,p n ), definiremos como TAUTOLOGIA quando o V(P) (valor de P) sempre for verdade (V). Exemplo: Exemplo: p ~p p v ~p V F V F V V p: Chove. Chove ou não chove. 3.2 Contradição Dada um proposição composta P(p 1,p 2,,p n ), definiremos como CONTRADIÇÃO quando o V(P) (valor de P) sempre for falsidade (F). Exemplo: Exemplo: p ~p p ^ ~p V F V F V V p: Chove. Chove e não chove. 3.3 Indeterminação Dada um proposição composta P(p 1,p 2,,p n ), P será INDETERMINADA (ou contingente) se, e somente se, P não for uma tautologia e não for uma contradição.
8 4. IMPLICAÇÃO E EQUIVALÊNCIA LÓGICA Dada as proposições compostas P e Q, diz-se que ocorre uma implicação lógica (ou relação de implicação) entre P e Q quando a proposição condicional P Q é uma tautologia. Notação P ==> Q (Lê-se P implica Q) Exemplo: Mostrar que (p^q) ==> p p q p ^ q (p ^ q) p V V V V V F F V F V F V F F F V 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 forem idênticas. Notação: P Q ou P <==> Q (Lê-se P é equivalente a Q). Exemplo: Mostrar que (p q)^(q p) e p q são equivalentes. p q p q q p (p q)^(q p) p q V V V V V V V F F V F F F V V F F F F F V V V V 4.1 Negação da negação Dada as proposições p e ~(~p). p ~p ~(~p) V F V F V F Conclusão: ~(~p) p
9 4.2 Negação da conjunção Dada as proposições ~(p^q) e ~pv~q p q p^q ~(p^q) ~p ~q ~pv~q V V V F F F F V F F V F V V F V F V V F V F F F V V V V Conclusão: ~(p^q) ~pv~q 4.3 Negação da disjunção Dada as proposições ~(pvq) e ~p^~q p q pvq ~(pvq) ~p ~q ~p^~q V V V F F F F V F V F F V F F V V F V F F F F F V V V V Conclusão: ~(p^q) ~pv~q 4.4 Negação do Condicional Dada as proposições p q e ~(p^~q). p q p q ~q p^~q ~(p^~q) V V V F F V V F F V V F F V V F F V F F V V F V Conclusão: p q ~(p^~q)
10 5. EQUIVALÊNCIAS LÓGICAS NOTÁVEIS Referências Dupla negação Leis idempotentes Leis Comutativas Leis Associativas Leis Distributivas Leis de De Morgan Leis de Identidade Leis Complementares Condicional Bicondicional p, q, r proposições τ - tautologia γ - contradição ~(~p) p p ^ p p p V p p p ^ q q ^ p p V q q V p p ^ (q ^ r) (p ^ q) ^ r p V (q V r) (p V q) V r p V (q ^ r) (p V q) ^ (p V r) p ^ (q V r) (p ^ q) V (p ^ r) ~(p V q) ~p ^ ~q ~(p ^ q) ~p V ~q p V γ p p ^ γ γ p ^ τ p p V τ τ p V ~p τ p ^ ~p γ ~τ γ ~γ τ p q ~(p^~q) ~pvq p q ~q ~p (Contrapositiva) ~(p q) p^~q p q (p q) ^ (q p) ~(p q) p ~q ~p q
11 6. ARGUMENTOS No contexto da matemática computacional, podemos definir argumentar como o ato de estabelecer relação entre proposição dadas e uma conclusão. Definição: Sejam P 1,..., P n n 1 proposições quaisquer (simples ou compostas). Chama-se argumento a sequência finita de proposições P 1,..., P n n 1 que tem como consequência a proposição C. As proposições P 1,..., P n n 1 chamam-se premissas do argumento, e a proposição C chama-se conclusão do argumento. Uma argumentação com premissas P 1,..., P n com conclusão C indicamos por: P 1,..., P n C Lê-se: P 1,..., P n acarretam C ; P 1,...,P n, logo C ; P 1,..., P n, então C ; Definição: Um argumento P 1,...,P n C é válido se, e somente se a conclusão for verdadeira sempre que as premissas P 1,...,P n forem verdadeiras. Definição: Um argumento não-válido chama-se sofisma ou falácia. Definição: Silogismo é um argumento formado por duas premissas e uma conclusão. Para análise de argumenta a partir de diagramas de Euler-Venn, seguem os exemplos: Todos os homens são mortais Sócrates é homem. Logo, Sócrates é mortal Argumento é válido!. S H M
12 Todos os brasileiros são felizes Todos os paulistas são brasileiros Logo, todos os paulistas são felizes Argumento é válido! P B F Alguns animais podem raciocinar O homem é um animal Logo, o homem pode raciocinar Argumento é sofisma! A.H.H R Em algumas situações, o uso do diagrama de Euler-Venn torna-se inadequado para a análise de argumentos. Dessa forma será utilizada a lógica proposicional, junto com a tabela-verdade, para o estudo de argumentos. Teorema: O argumento P 1,...,P n C é válido se, e somente se o condicional P 1,...,P n C é uma tautologia. Exemplos: 1) O argumento (p q), (r s), (p V r) (q V s) corresponde ao condicional ( (p q) ^ (r s) ^ (p V r) ) (q V s) 2) O condicional ( (p q) ^ p ) q corresponde ao argumento ( (p q), p ) q
13 3) Determine a validade do argumento: P1: Se um homem é solteiro, ele é infeliz P2: Se um homem é infeliz, ele morre cedo. C: Logo, solteiros morrem cedo Considere as seguintes proposições: p: homem é solteiro; q: homem é infeliz; r: homem morre cedo. O argumento pode ser representado da seguinte forma P1, P2 C Com o proposicional P1 ^ P2 C; ((p q) ^ (q r)) (p r) Construindo a tabela-verdade: p q r P1: (p q) P2: (q r) P1 ^ P2 C: (p r) (P1 ^ P2) C V V V V V V V V V V F V F F F V V F V F V F V V V F F F V F F V F V V V V V V V F V F V F F V V F F V V V V V V F F F V V V V V Como P1 ^ P2 C é uma tautologia, o argumento P1, P2 C é válido
14 7. QUANTIFICADORES No estudo da lógica, o uso dos quantificadores impõe a ideia de quantidade (ou quantificação ) na criação de proposições lógicas. Enquanto que na linguagem normal empregamos as palavras muitos, todos, alguns, nenhum e poucos, na matemática formal recorreremos à dois tipos de quantificação: universal: um predicado (proposição ou sentença) é válido para todos os elementos em consideração; existencial: representa a existência de um ou mais elemento que validam um predicado (proposição ou sentença). Os quantificadores serão aplicados considerando os possíveis valores de uma variável, ao qual denominaremos de domínio (conjunto D). Dessa forma, a proposição será da seguinte forma: x D, P x ou x D, P x DEFINIÇÃO: A quantificação universal de P(x) é a afirmação: P(x) é valida para todos os valores de x do domínio. A notação x P x indica a quantificação universal de P x. Aqui é chamado de quantificador universal. Lemos x P x como para todo x P(x). Um exemplo para o qual P(x) é falsa é chamado de contra-exemplo para x P x. DEFINIÇÃO: A quantificação existencial de P(x) é a proposição: Existe um elemento x no domínio tal que P(x) Usamos a notação x P x para a quantificação existencial de P x é chamado de quantificador existencial. P x. Aqui Em síntese: Sentença Quando é verdadeira Quando é falsa x P x P(x) é verdadeira para todo x Existe um x tal que P(x) é falsa x P x Existe um x tal que P(x) é verdadeira P(x) é falsa para todo x Para mostrar que uma proposição da forma x D, P x é falsa, basta mostrar a que a sua negação x D, P x. Assim definimos um contra-exemplo.
15 Em síntese: Sentença x D, P x x D, P x Sentença negada x D, P x x D, P x x D, P x x D, P x Exemplo 1 Seja P(x) a declaração x+1>x. Qual é o valor-verdade da quantificação x P x, no domínio de todos os números reais?? Como P(x) é verdadeira para todo número real x, a quantificação x P x é verdadeira. Exemplo 2 Qual o valor verdade de x P x, em que P(x) é a proposição x² < 10, e o domínio é o conjunto dos inteiros positivos menores que 5? Se for falsa, qual é o seu contra exemplo A declaração x P x é o mesmo que a conjunção P 1 P 2 P 3 P 4, pois o domínio é formado por esses quatro elementos. Para x=4, P 4 : Dessa forma x P x é falsa, e x=4 é o contra exemplo. Exemplo 3 Qual o valor verdade de x D, P x, em que P(x) é a proposição x² > 10, e o domínio é o conjunto dos inteiros positivos menores que 5? A declaração x P x é o mesmo que a conjunção P 1 P 2 P 3 P 4, pois o domínio é formado por esses quatro elementos. Para x=4, P 4 :16 10 e x P x é verdadeira.
16 8. REGRAS DE INFERÊNCIAS Em algumas situações, verificar a validade de alguns argumentos por tabela verdade pode demanda certo esforço. Dessa forma, recorremos às chamadas regras de inferência para validade de alguns argumentos relativamente simples. A tabela a seguir ilustra algumas regras de inferência: Regra de inferência Tautologia p p q q q p q p p q q r p r p q p q p p q p q p p q p q p q p r q r p p q q q p q p p q q r p r p q p q p p q p q p p q p q p q p r q r Nome Modus ponens Modus tollens Silogismo hipotético Silogismo disjuntivo Adição Simplificação Conjunção Resolução Exemplo 1 Qual a regra de inferência para o seguinte argumento: Está esfriando e chovendo agora. Portanto, está esfriando agora. p: Está esfriando q: Está chovendo P1: p q Está esfriando e chovendo agora C : p Portanto está esfriando Argumento que usa regra de simplificação
17 E para estes casos... Qual a regra de inferência para o seguinte argumento: W3 chover, então não haverá churrasco hoje. Se não houver churrasco hoje, haverá amanhã. Portanto, se chover hoje, então haverá churrasco churrasco amanhã Regra do silogismo hipotético Está esfriando agora. Portanto, está esfriando ou chovendo agora Regra da adição Se nevar hoje, então eu vou esquiar. Está nevando hoje. Portanto, eu vou esquiar Regra modus ponens Notas de aulas retirada de: CURY, Márcia Xavier: Introdução à lógica (Estude e use. Série matemática), São Paulo. Editora Érica, ROSEN, Kenneth H.: Matemática Discreta e Suas Aplicações, São Paulo. Editora McGraw Hill, 2009.
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:
Leia maisLógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
Leia maisMatemática Computacional
Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
Leia maisRegras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Regras de Inferência Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Argumentos Válidos em Lógica Proposicional Considere o argumento: Se João pensa, então João existe.
Leia maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia: Banco de dados e Sistemas para Internet Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL EXERCÍCIOS
Leia maisLógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições
Leia maisINSTITUTO 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.
Leia maisProposiçõ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
Leia maisLó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
Leia maisLÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:
Leia maisAo 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
Leia maisLógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Leia maisNHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
Leia maisUNIP Ciência da Computação Prof. Gerson Pastre de Oliveira
Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos
Leia maisUnidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
Leia maisAtençã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
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisRECEITA 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
Leia maisINE5403 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
Leia maisLó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;
Leia maisFundamentos 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
Leia maisMATEMÁ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
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Prof. Cesar Tacla/UTFPR/Curitiba Slides baseados no capítulo 1 de DA SILVA, F. S. C.; FINGER M. e de MELO A. C. V.. Lógica para Computação. Thomson Pioneira Editora, 2006. Conceitos
Leia maisMATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP
1 MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 2009 02 2 CÁLCULO PROPOSICIONAL 1. Proposições Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas
Leia maisLógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 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.
Leia maisINE5403 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
Leia maisMD 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 loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Leia maisFundamentos de Lógica Lógica Proposicional
Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos
Leia mais3 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
Leia maisPara 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
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisCAPÍ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
Leia maisLógica para computação
Lógica para computação PROPRIEDADES SEMÂNTICAS DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Introdução Esta seção considera a análise de algumas propriedades semânticas da LP que relacionam os resultados
Leia maisUniversidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática
Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Argumentação em Matemática Prof. Lenimar Nunes de Andrade e-mail: numerufpb@gmail.com ou lenimar@mat.ufpb.br versão 1.0
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação
Leia maisIntroduçã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
Leia maisGestã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
Leia maisNã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
Leia maisA Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA A Linguagem dos Teoremas - Parte II Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de maio
Leia maisVimos 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
Leia maisIntroduçã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
Leia maisLógica Formal. Matemática Discreta. Prof. Vilson Heck Junior
Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;
Leia maisResumo 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,
Leia maisFundamentos 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
Leia maisProf. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Leia maisANÁLISE MATEMÁTICA I. Curso: EB
ANÁLISE MATEMÁTICA I (com Laboratórios) Curso: EB Lógica - Resumo Ana Matos DMAT Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a qualquer sequência de símbolos.
Leia maisProposiçõ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 :
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja
Leia mais. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.
Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira
Leia maisLógica de Programação
Lógica de Programação Autor: Jusdewbe Tatiane de Souza Mora 1 Introdução: LÓGICA O estudo da Lógica, é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto. Esta definição
Leia maisLógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
Leia maisLó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
Leia maisMatemática discreta e Lógica Matemática
AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1
Leia maisMCTB Matemática Discreta
Matemática Discreta Jair Donadelli CMCC UFABC jair.donadelli@ufabc.edu.br 2019-1 Semana 1 1 2 Lógica informal Matemática Discreta Estudo de estruturas matemáticas que são discretas (em oposição às que
Leia maisUma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:
1 Noções Básicas de Lógica 1.1 Proposições Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. 1. Os sapos são anfíbios. 2. A capital do Brasil é Porto Alegre. 3. O tomate é um tubérculo.
Leia maisAnotaçõ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
Leia maisAula 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
Leia maisIntroduçã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
Leia maisNoções básicas de Lógica
Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. Uma expressão pode ser uma expressão com significado expressão sem significado
Leia maisIntrodução à Lógica Computacional. Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação
Introdução à Lógica Computacional Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação Agenda da aula Circuitos lógicos: Mapas de Karnaugh Recaptulando semântica da lógica proposicional
Leia maisInteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO
Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema
Leia mais4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência.
1 LIVRO Regras de Inferência e Regras de Equivalência 4 AULA META: Introduzir algumas regras de inferência e algumas regras de equivalência. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de:
Leia maisMatemá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
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:
Leia maisArgumentaçã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
Leia maisLógica Matemática e Computacional. 2.3 Equivalência Lógica
Lógica Matemática e Computacional 2.3 Equivalência Lógica Equivalência Lógica Definição: Dadas as proposições compostas P e Q, diz-se que ocorre uma equivalência lógica entre P e Q quando suas tabelas-verdade
Leia maisUNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural. Lista de exercícios 1
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS AGRÁRIAS CCA/ UFES Departamento de Engenharia Rural Disciplina: Lógica Computacional I Professora: Juliana Pinheiro Campos Data: 25/08/2011 Lista
Leia maisLógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar
Leia maisCá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é tisemp@ifsc.edu.br 18 de maio de 2013
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,
Leia maisComo 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
Leia maisProf. João Giardulli. Unidade III LÓGICA
Prof. João Giardulli Unidade III LÓGICA Objetivo Apresentar os seguintes conceitos: argumento; verificação da validade. Argumento: Algumas definições (dicionário): 1. Raciocínio através do qual se tira
Leia maisMatemá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 amit@nacad.ufrj.br http://www.nacad.ufrj.br/ amit Introdução
Leia maisLógica Proposicional (Consequência lógica / Dedução formal)
Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /
Leia maisSMA Elementos de Matemática Notas de Aulas
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções
Leia maisPara Computação. Aula de Monitoria - Miniprova
Para Computação Aula de Monitoria - Miniprova 1 2013.1 Roteiro Provas e Proposições Conjuntos Provas e Proposições Proposição - Sentença que ou é verdadeira ou é falsa. ex: Hoje é sábado. -> É uma proposição.
Leia maisBases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014
Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.
Leia maisApostilas OBJETIVA Ano X - Concurso Público Conteúdo
Conteúdo Introdução Estruturas lógicas. 2 Lógica de argumentação: analogias, inferências, deduções e conclusões. 3 Lógica sentencial (ou proposicional). 3.1 Proposições simples e compostas. 3.2 Tabelas-verdade.
Leia maisLó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
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Argumento Sequência de sentenças......uma das quais se afirma verdadeira
Leia mais3.3 Cálculo proposicional clássico
81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.
Leia maisFundamentos de Lógica e Algoritmos
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPUS SÃO GONÇALO DO AMARANTE Fundamentos de Lógica e Algoritmos #EquivalênciaLógica Eliezio Soares elieziosoares@ifrn.edu.br
Leia maisLó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
Leia maisCálculo proposicional
Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas
Leia mais1 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,
Leia maisConteúdo. Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42)
Conteúdo Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Correção exercicios 11) P(x) = x = x 2 P(0) P(1) P(2) 12) Q(x) = x + 1 = 2x Q(0) Q(-1) Q(1) Correção
Leia maisLó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
Leia maisAntonio Paulo Muccillo de Medeiros
Antonio Paulo Muccillo de Medeiros Conceito É a área da matemática que estuda os argumentos (premissas e conclusão). Estuda os métodos e princípios que permitam distinguir argumentos corretos e incorretos.
Leia maisMATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira
MATEMÁTICA 3 Professor Renato Madeira MÓDULO 1 Lógica SUMÁRIO 1. Proosição. Negação 3. Conectivos 4. Condicionais 4.1. Relação de imlicação 4.. Relação de equivalência 5. Álgebra das roosições 6. Quantificadores
Leia maisLó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
Leia maisLógica Proposicional. p : Hoje não é sexta-feira. q : Todo homem é mortal. r : Existem pessoas inseguras.
Tópicos Introdução à Lógica Edna A. Hoshino DCT - UFMS fevereiro de 2011 1 Tabela-Verdade Equivalências Proposicionais Formas Normais 2 Variáveis e Predicados Quantificadores 3 para predicados e quantificadores
Leia maisMDI0001 Matemática Discreta Aula 01
MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina
Leia maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisOFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL. APOSTILA 4 Construção de Tabelas-Verdade
OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 4 Construção de Tabelas-Verdade Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva juliocesar@eloquium.com.br Alterações eventuais
Leia maisIntroduçã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 graca.marietto@ufabc.edu.br 2 ESTUDO DE LÓGICA O estudo
Leia maisProfessor 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
Leia mais