Introdução a computação
|
|
- Isaque Desconhecida Silveira
- 6 Há anos
- Visualizações:
Transcrição
1 Introdução a computação 0
2 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
3 Sumário 1. Lógica Matemática Proposição Conectivos Lógicos Tabelas Verdades Tautologias, Contradições e Contingências Lógica Proposicional Fórmulas Ordem de precedência Comprimento de fórmula Subfórmulas Semântica Interpretação Procedimentos para interpretar fórmulas Tabela Verdade Bibliografia a ser acessada Bibliografia Complementar
4 1. Lógica Matemática A lógica ligada ao pensamento é um campo de estudo da Filosofia. Seus estudos iniciais são atribuídos ao filósofo Aristóteles ( a.c.), considerado o pai das Ciências. É bastante comum utilizarmos a lógica em nossas conversas corriqueiras, como, por exemplo: É lógico que eu vou ao teatro. Se não parar de chover, não irei sair de casa. Como você se preparou para a prova, é lógico que irá tirar uma boa nota. Agora, qual será a melhor definição para a palavra lógica? Para Aristóteles a lógica representa as leis do pensamento (GERSTING, 2004), mas pensamentos coerentes e racionais, não pensamentos desordenados ou confusos. Na computação, a lógica deve ser utilizada para que um programa seja escrito e funcione corretamente. Um programa é como uma receita, um passo a passo das tarefas que o computador deve realizar. Nas tarefas simples do dia a dia, também utilizamos a lógica. Por exemplo, para escovar os dentes, devemos seguir alguns passos na ordem correta: 1. Pegar a escova de dente 2. Pegar o creme dental 3. Abrir o tubo de creme dental 4. Colocar creme dental na escova de dente 5. Molhar a escova de dente na torneira 6. Levar a escova à boca Essa é a maneira lógica de executar a tarefa de escovar os dentes. Imagine se em vez disso, você mudasse a ordem dos passos: 3
5 1. Levar a escova à boca 2. Abrir o tubo de creme dental 3. Pegar a escova de dente 4. Pegar o creme dental 5. Molhar a escova de dente na torneira 6. Colocar creme dental na escova de dente Observe que os passos são exatamente os mesmos, mas a ordem está trocada. Se um programa de computador for escrito dessa forma, mesmo que os comandos estejam corretos, certamente não irá funcionar. Por isso, vamos, inicialmente, estudar as proposições lógicas. Elas são essenciais para a construção do raciocínio lógico Proposição Proposição é um conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. Uma proposição representa uma sentença que pode assumir o valor lógico verdadeiro ou falso. As proposições são representadas por letras minúsculas (p, q, r, s,...). Veja: Sentença Valor Lógico Símbolo 100 > 10 VERDADEIRO p A terra é quadrada. FALSO q O fogo é gelado. FALSO r O carvão é preto. VERDADEIRO s Tabela 1 (Fonte: Autor) Nem todas as sentenças são proposições, pois não possuem valor lógico. Por exemplo: Oi, tudo bem? 4
6 Você vai à praia? A Lógica matemática adota duas regras fundamentais do pensamento, os dois seguintes princípios: 1) PRINCÍPIO DA NÃO CONTRADIÇÃO: uma proposição não pode ser verdadeira e falsa ao mesmo tempo. 2) PRINCÍPIO DO TERCEIRO EXCLUÍDO: toda proposição ou é verdadeira ou é falsa, isto é, verifica-se sempre um desses casos e nunca um terceiro Conectivos Lógicos Os conectivos lógicos são utilizados para conectar duas (ou mais) proposições e, assim, formar as chamadas proposições compostas. Para verificar se uma proposição composta é verdadeira ou falsa, devemos observar duas coisas: o valor lógico das proposições componentes e o tipo de conectivo que as une. Observe: Sentença Valor Lógico Símbolo Os cavalos têm quatro patas. As focas gostam de peixes. VERDADEIRO VERDADEIRO Tabela 2 (Fonte: Autor) p q Usando as proposições simples (p, q), formamos proposições compostas como os conectivos e, ou, se... então. Conforme segue: 5
7 Proposição Conectivo Proposição Proposição Composta p e q p ou q p se...então q Tabela 3 (Fonte: Autor) Os cavalos têm quatro patas E as focas gostam de peixes. Os cavalos têm quatro patas OU as focas gostam de peixes. SE os cavalos têm quatro patas, ENTÃO as focas gostam de peixes. Na lógica matemática, cada conectivo é representado por um símbolo. Observe: Conectivo Lógico Significado Símbolo Negação Não - Conjunção E ^ Disjunção Ou v Disjunção Exclusiva Ou exclusivo Condicional Se...então Bicondicional Se, somente se Tabela 4 (Fonte: Autor) Para formular proposições compostas, sempre devemos utilizar um conectivo. Observe: (a b) c : errado, falta o conectivo entre a e b; (a b) c : correto Tabelas Verdades Para avaliar proposições lógicas, utilizamos o recurso chamado tabelas verdade. Elas avaliam uma proposição em função de todas as entradas possíveis. A quantidade de linhas de uma tabela verdade irá depender do número de proposições simples contidas na proposição composta, seguindo a seguinte regra: 6
8 nº de proposições simples Nº de linhas da Tabela Verdade = 2 Ou seja: se estivermos trabalhando com duas proposições p e q, então a tabela verdade terá 4 linhas, 2 2 = 4. Podemos fazer a seguinte leitura, considerando as proposições simples como variáveis e as proposições compostas como expressões: Expressões Número de variáveis Número de linhas da tabela verdade (a ^ b) = 4 (a ^ b) c = 8 (a ^ b) (c ^ d) = 16 Tabela 5 (Fonte: Autor) Na construção de uma tabela verdade, precisamos avaliar todas as possibilidades de valores para cada proposição simples. Observe: a b a ^ b V V V V F F F V F F F F Tabela 6: Verdadeiro = V e Falso = F. (Fonte: Autor) Existe uma tabela verdade para cada conectivo lógico. Assim, a tabela verdade do conectivo lógico de Negação é simbolizada por p (não p), e representada do seguinte modo: p -p V F F V Tabela 7 (Fonte: Autor) Exemplificando: p = Hoje está chovendo. p = Hoje não está frio. 7
9 As proposições compostas do tipo p q são chamadas de conjunção: lê-se p e q. Observe a tabela verdade: p q p ^ q V V V V F F F V F F F F Tabela 8 (Fonte: Autor) Exemplificando: p = Antônio é forte. q = Antônio faz academia. p q = Antônio é forte e Antônio faz academia. As proposições compostas do tipo p q são chamadas de disjunção: lê-se p ou q. Observe a tabela verdade: p q p v q V V V V F V F V V F F F Tabela 9 (Fonte: Autor) Exemplificando: p = Hoje vou à praia. q = Hoje vou à escola. p q = Hoje vou à praia ou hoje vou à escola. Representamos a disjunção exclusiva pelo símbolo, também chamada de ou exclusivo e representada na tabela verdade da seguinte forma: 8
10 p q p q V V F V F V F V V F F F Tabela 10 (Fonte: Autor) Exemplificando: p = Marta é linda. q = Marta é inteligente. p q = Ou Marta é linda ou Marta é inteligente. Também podemos combinar as proposições: se proposição p, então proposição q, e a representamos através do símbolo. A denotação da preposição composta é p q (p implica q). Esse conectivo é chamado de condicional, ou implicação. A tabela verdade da forma condicional é representada da seguinte forma: p q p q V V V V F F F V V F F V Tabela 11 (Fonte: Autor) Exemplificando: p = Hoje é feriado. q = Hoje vou à praia. p q = Se hoje é feriado, então hoje vou à praia. Temos também o conectivo bicondicional, ou equivalência, simbolizado por. A expressão p q é uma abreviatura de (p q) (q p); dessa forma, a tabela verdade é definida conforme abaixo: 9
11 p q p q V V V V F F F V F F F V Tabela 12 (Fonte: Autor) Exemplificando: p = João tirará boas notas na escola. q = João é estudioso. p q = João tirará boas notas na escola, se e somente se for estudioso. Em resumo, temos as seguintes tabelas verdades para os principais conectivos: p q p ^ q p v q p q p q p q V V V V F V V V F F V V F F F V F V V V F F F F F F V V Tabela 13 (Fonte: Autor) 1.4. Tautologias, Contradições e Contingências Os resultados das tabelas verdade podem ser classificados de acordo com três critérios: Tautologia: quando o resultado da tabela verdade apresenta apenas valores verdadeiros (V). Contradição: quando o resultado da tabela verdade apresenta apenas valores falsos (F). 10
12 Contingência: quando o resultado da tabela verdade apresenta valores verdadeiros (V) e valores falsos (F). Exemplo: seja p a proposição faz Sol e p sua negação não faz Sol. faz Sol ou não faz Sol é uma tautologia, pois o resultado da tabela verdade é sempre verdadeiro. p -p p v -p V F V F V V Tabela 14 (Fonte: Autor) faz Sol e não faz Sol é uma contradição, pois o resultado da tabela verdade é sempre falso. p -p p ^ -p V F V F V V Tabela 15 (Fonte: Autor) Se faz Sol então não faz Sol é uma contingência, pois o resultado da tabela verdade possui valores verdadeiros e falsos. p -p p -p V F V F V V Tabela 13 (Fonte: Autor) 11
13 2. Lógica Proposicional A lógica proposicional é um formalismo matemático por meio do qual podemos abstrair a estrutura de um argumento, eliminando a ambiguidade existente na linguagem natural. Esse formalismo é composto por uma linguagem formal e por um conjunto de regras de inferência que nos permitem analisar um argumento de forma precisa e decidir a sua validade. O alfabeto da Lógica proposicional é definido pelos símbolos a seguir: Símbolos de pontuação: (, ) Símbolos de verdade: true, false Símbolos proposicionais: p, q, r, s, p1, q1, r1, s1, p2, q2,... O alfabeto da linguagem lógica proposicional é constituído de infinitos símbolos. Os conectivos proposicionais são símbolos utilizados também na lógica matemática, com as seguintes denominações: Símbolo Significado - Não ^ E v Ou Ou exclusivo Se...então Se, somente se Tabela 14 (Fonte: Autor) 2.1. Fórmulas A construção das fórmulas na lógica proposicional é feita através da concatenação dos símbolos do alfabeto, observando-se as seguintes regras: 12
14 1) Todo símbolo de verdade é uma fórmula. 2) Todo símbolo proposicional é uma fórmula. 3) Se p é uma fórmula, então ( p), a negação de p, é uma fórmula. 4) Se p e q são fórmulas, então (p q) é uma fórmula. Esta fórmula é a disjunção das fórmulas p e q. 5) Se p e q são fórmulas, então (p q) é uma fórmula. Esta fórmula é a conjunção das fórmulas p e q. 6) Se p e q são fórmulas, então (p q) é uma fórmula. Neste caso, p é o antecedente e q o consequente da fórmula. 7) Se p e q são fórmulas, então (p q) é uma fórmula. Neste caso, p é o lado esquerdo e q o lado direito da fórmula. As fórmulas mais elementares da Lógica Proposicional são os símbolos de verdade e proposicionais. Utilizando as outras regras, é possível elaborar um conjunto infinito de fórmulas a partir das duas primeiras. Os símbolos de pontuação são utilizados na formação das células. Exemplo: p, q e r são fórmulas; a partir das fórmulas p e q, construímos a fórmula (p q); utilizando a fórmula (p q) e r, temos a seguinte fórmula: ((p q) r) Seguindo esse raciocínio podemos criar infinitas fórmulas. Notação: Os parênteses podem ser omitidos, caso essa omissão não cause problemas na interpretação da fórmula. Observe: 13
15 (((p r) s) (q s)) Pode ser reescrita como: (p r) s q s Ordem de precedência Assim como na matemática, na lógica proposicional os conectivos têm uma ordem de precedência a utilização dessa ordem permite a simplificação das fórmulas com a eliminação de símbolos de pontuação. Ordem de precedência dos conectivos proposicionais: Maior precedência: Precedência intermediária:, Menor precedência:, Exemplificando: Os conectivos, não possuem precedência de um sobre o outro, então na seguinte fórmula há duas interpretações distintas: p q r ((p q) r) ou ((p (q r)) Além da precedência, existem as regras de associatividade, que servem para definir a prioridade na fórmula para conectivos de mesma precedência: Conectivos associativos à esquerda:, Conectivos associativos à direita:, Exemplo: 14
16 p q r fica como (p q) r p q r fica como p (q r) Comprimento de fórmula O comprimento de uma fórmula proposicional h, denotado por comp [h], é definido da seguinte forma: Se h é um símbolo proposicional ou de verdade, então comp [h] = 1 Se h e g são fórmulas da lógica proposicional, então: comp [ h] = comp [h] +1 comp [h g] = comp [h] + comp [g] + 1 comp [h g] = comp [h] + comp [g] + 1 comp [h g] = comp [h] + comp [g] + 1 comp [h g] = comp [h] + comp [g] + 1 Os símbolos de pontuação não são considerados no cálculo do comprimento. O comprimento da fórmula é obtido contando os símbolos proposicionais, os de verdade e os conectivos. Exemplificando: nas fórmulas: (p q) e ((p q) r), o comprimento é 3 e 5, respectivamente Subfórmulas Uma subfórmula é um pedaço de uma fórmula, um conjunto formado de subfórmulas. Contém todos os pedaços válidos dessa fórmula, inclusive ela mesma. Observe: 15
17 Sendo h uma fórmula, uma subfórmula de h é definida por: h é uma subfórmula de h. Se h = ( g), então g é uma subfórmula de h. Se h é uma fórmula do tipo: (p q), (p q), (p q) ou (p q), então p e q são subfórmulas de h. Se g é subfórmula de h, então toda subfórmula de g é subfórmula de h Semântica É na semântica da lógica proposicional que se associa a cada objeto sintático um significado. O resultado da fórmula (p q) somente pode ser considerado verdadeiro ou falso quando atribuímos significado a p e q. Observe: p = Está chovendo. q = A rua está molhada. Considerando o conectivo com o significado de inclusão dos fatos, para a fórmula ser verdadeira, os significados de p e q devem ser verdadeiros. No caso, isso irá depender das condições climáticas do dia, que irão determinar o valor falso ou verdadeiro para p. Indicamos da seguinte forma: I[p] = V ou I[p] = F e também se I[q] = V ou I[q] = F No caso em que I[p] = V, I[q] = F e é interpretado como conjunção dos fatos, então: I[(p q)] = F. Se modificarmos o significado de p e q, podemos obter outros resultados. Observe: 16
18 p = Há dez reais no cofre. q = NÃO há dez reais no cofre. Dessa forma, a fórmula (p q) é falsa e a fórmula (p q) é verdadeira. Os símbolos sintáticos, que, neste caso, estão associados a significados semânticos, definem as fórmulas Interpretação A lógica proposicional clássica é denominada lógica bivalente. Isso porque as suas fórmulas possuem somente dois valores, o verdadeiro e o falso. O significado ou semântica dos elementos sintáticos da linguagem da lógica proposicional é determinado por uma função I (função binária total) denominada interpretação. Definição (função binária): uma função é binária e seu contradomínio possui apenas dois elementos. Definição (interpretação): uma interpretação I, na Lógica Proposicional, é uma função binária tal que: O domínio de I é constituído pelo conjunto das fórmulas da lógica proposicional; O contradomínio de I é o conjunto {V,F}; O valor da interpretação I, tendo como argumentos os símbolos de verdade é dado por I[true] = V e I[false] = F; Dado um símbolo proposicional p, então I[p] E {V,F} 17
19 A interpretação das fórmulas na lógica proposicional é feita seguindo um conjunto de regras semânticas, obtidas a partir dos significados dos símbolos proposicionais, dos de verdade e dos conectivos proposicionais Procedimentos para interpretar fórmulas Dada a fórmula p e uma interpretação I, então o significado de s, indicado por I[p], é determinado pelas regras: Se p = q, onde q é um símbolo proposicional, então I[p] = I[q], e I[q] E {V,F}. Se p = true, então I[p] = I[true] = V. Se p = false, então I[p] = i[false] = F. Sejam h e g duas fórmulas. Se p = h, então I[p] = I[ h] = V se I[h] = F, e I[p] = I[ h] = F se I[h] = V. Se p = (h g), então I[p] = I[h g] = V se I[h] = V e/ou I[g] = V, e I[p] = I[h g] = F se I[h] = F e I[g] = F. Se p = (h g), então I[p] = I[h g] = V se I[h] = V e I[g] = V, e I[p] = I[h g] = F se I[h] = F e/ou I[g] = F. Se p = (h g), então I[p] = I[h g] = V se I[h] = F e/ou I[g] = V, e I[p] = I[h g] = F se I[h] = V e I[g] = F. Se p = (h g), então I[p] = I[h g] = V se I[h] = I[g], e I[p] = I[h g] = F se I[h] I[g]. 18
20 Tabela Verdade As regras semânticas também podem ser representadas por tabelas verdade. As tabelas verdade associadas aos conectivos proposicionais já foram vistas no item 1.3 desta unidade. Vamos ver uma tabela verdade associada a uma fórmula. Observe: h = ( p q) (q p) p q - p - p v q q ^ p h V V F V V V V F F F F V F V V V F F F F V V F F Tabela 15 (Fonte: Autor) 19
21 Bibliografia a ser acessada: Livro: Fundamentos de Informática Lógica para Computação, Capítulo 1 0/cfi/18!/4/2@100:
22 Referências bibliográficas ALENCAR FILHO, Edgar de. Iniciação à Lógica Matemática. São Paulo: Nobel, GERSTING, J. Fundamentos Matemáticos para a Ciência da Computação. São Paulo: LTC Editora, SOUZA, João Nunes de. Lógica para ciência da computação: fundamentos da linguagem, semântica e sistemas de duração. Rio de Janeiro: Elsevier, BARBIERI FILHO, P.; HETEM Jr., A. Fundamentos de Informática Lógica para Computação. Rio de Janeiro: LTC Editora, (Biblioteca virtual: Minha Biblioteca). 21
Lógica para computação
Lógica para computação A SEMÂNTICA DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Após entender como deve ser uma fórmula da Lógica Proposicional, devemos entender como esta deve ser interpretada. Quando
Leia mais01/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.
Leia maisLógica Proposicional Semântica e Tabelas Verdade
Lógica Proposicional Semântica e Tabelas Verdade Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 30 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 30 de março de 2015 1 / 20 1 Introdução
Leia maisIntrodução. História. História 18/03/2012. Lógica para Ciência da Computação. O que é Lógica?
IFMG-Formiga Introdução Lógica para Ciência da Computação O que é Lógica? É a formalização de linguagem e raciocínio, além de meios para expressar (dar significado) a essas formalizações. Profª. Danielle
Leia maisAlfabeto 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
Leia maisLógica Proposicional Fórmulas e Precedência de Operadores
Lógica Proposicional Fórmulas e Precedência de Operadores Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 23 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 23 de março de 2015 1 / 18 1 Introdução
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 maisSemântica da Lógica Proposicional
Fundação Educacional de Ensino Superior de Frutal Avenida Professor Mario Palmério nº 1000 Bairro Universitário 38200-000 - FRUTAL - MG - Fone (34) 3423-9400 CNPJ. 06.172.537/0001-15 - Inscrição Municipal:
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 maisA semântica da Lógica Proposicional(Capítulo 2)
A semântica da Lógica Proposicional(Capítulo 2) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Interpretação 2. Semântica dos conectivos 3. Exemplos 4. Questão desafio
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 maisCampos 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 maisIntrodução à Lógica Proposicional Sintaxe e Semântica
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe e Semântica SINTAXE E SEMÂNTICA Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 LINGUAGEM SIMBÓLICA: COMPONENTES
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 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 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 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 maisJOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa
JOÃO NUNES de SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 21 de maio de 2008 1 A linguagem da Lógica Proposicional Introdução Alfabeto da Lógica Proposicional Definição 1.1 (alfabeto)
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 maisLógica Proposicional Sintaxe
Lógica Proposicional Sintaxe José Gustavo de Souza Paiva Lógica Proposicional Forma mais simples da lógica Fatos do mundo real representados por sentenças sem argumento proposições Proposição Sentença
Leia maisIniciaçã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
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 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 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 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 para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Linguagem informal x linguagem formal; Linguagem proposicional: envolve proposições e conectivos,
Leia maisAula 3: Linguagem Proposicional
Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 3: Linguagem Proposicional Prof. Ricardo Dutra da Silva 3.1 Semântica A semântica da lógica proposicional consiste em associar um significado
Leia mais01/09/2014. Capítulo 3. Propriedades semânticas da Lógica Proposicional
Capítulo 3 Propriedades semânticas da Lógica Proposicional 1 Introdução Propriedades Definição 3.1 (propriedades semânticas básicas da Lógica Proposicional) Sejam H, G, H 1, H 2,...,H n, fórmulas da Lógica
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 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 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 maisLógica para computação - Linguagem da Lógica de Predicados
DAINF - Departamento de Informática Lógica para computação - Linguagem da Lógica de Predicados Prof. Alex Kutzke ( http://alex.kutzke.com.br/courses ) 13 de Outubro de 2015 Razões para uma nova linguagem
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 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 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 maisLó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
Leia maisLó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),
Leia maisLógica Proposicional Propriedades Semânticas
Lógica Proposicional José Gustavo de Souza Paiva Introdução Relacionamento dos resultados das interpretações semânticas de fórmulas Teoria dos modelos estudo das relações entre propriedades sintáticas
Leia maisAula 2: Linguagem Proposicional
Lógica para Computação Primeiro Semestre, 2015 Aula 2: Linguagem Proposicional DAINF-UTFPR Prof. Ricardo Dutra da Silva Linguagens naturais, como o nosso Português, podem expressar ideias ambíguas ou imprecisas.
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 maisMatemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
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 maisPropriedades Semânticas da Lógica Proposicional(Capítulo 3)
Propriedades Semânticas da Lógica Proposicional(Capítulo 3) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Tautologia 2. Satisfatível 3. Contingência 4. Contraditória
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 maisProf. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
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 maisLógica Computacional
Aula Teórica 2: Sintaxe da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
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 maisRelações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)
Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Conjunto de conectivos completo 2. na
Leia maisLógica Computacional
Aula Teórica 2: da Lógica Proposicional Departamento de Informática 17 de Fevereiro de 2011 Descrição informal Lógica proposicional Objecto Ocupa-se do estudo do comportamento dos conectivos lógicos (negação,
Leia maisINTRODUÇÃO À LÓGICA MATEMÁTICA
INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição
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 maisFundamentos da Computação 1. Carmen Cecilia Centeno
Fundamentos da Computação 1 Carmen Cecilia Centeno Aula 05 Sobre o curso de Ciência da Computação - lembretes. Plano de Ensino. Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças Definição
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 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 maisProf. 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
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisLógica Proposicional
Slides da disciplina Lógica para Computação, ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. (kaestner@dainf.ct.utfpr.edu.br) entre 2007 e 2008. Alterações feitas em 2009 pelo Prof. Adolfo
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 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 maisDedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
Leia maisLógica. História da Lógica
1 Lógica História da Lógica A história da lógica começa com os trabalhos do filósofo grego Aristóteles (384-322 a.c.) de Estagira (hoje Estavro), na Macedônia, não se conhecendo precursores de sua obra,
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 maisLógica Computacional
Aula Teórica 2: da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade
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 maisLÓ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
Leia maisINF 1771 Inteligência Artificial
Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.
Leia maisFundamentos 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 bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
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 maisn. 3 Construção de Tabelas-Verdade
n. 3 Construção de Tabelas-Verdade Dadas várias proposições simples: p, q, r, s,..., podemos combiná-las pelos conectivos lógicos: Negação (~) ou ( ) Conjunção ( ) Disjunção ( ) Condicional ( ) Bicondicional
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 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 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 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 mais1 Lógica de primeira ordem
1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e
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 para Computação
Aula 07 - Lógica Proposicional 1 Faculdade de Informática - PUCRS August 27, 2015 1 Este material não pode ser reproduzido ou utilizado de forma parcial sem a permissão dos autores. Sinopse Nesta aula,
Leia maisAfirmaçõ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,
Leia maisSistemas Inteligentes
Sistemas Inteligentes Aula 21/10 Agentes Lógicos Agente Baseado em Conhecimento Agentes Baseados em Conhecimento ou Agentes Lógicos. Podem lidar mais facilmente com ambientes parcialmente observáveis.
Leia maisInteligê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
Leia maisGSI005 Lógica para Computação
GSI005 Lógica para Computação Prof. Renato Pimentel 1 o Semestre 2019 Sumário 1 Introdução à lógica 6 1.1 Conceitos básicos........................... 6 1.2 Referências.............................. 8
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 maisLó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
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 mais1. = F; Q = V; R = V.
ENADE 2005 e 2008 Nas opções abaixo, representa o condicional material (se...então...), v representa a disjunção (ou um, ou outro, ou ambos) e ~ representa a negação (não). Com o auxílio de tabelas veritativas,
Leia mais01/02/2016 LÓGICA MATEMÁTICA. Conectivos lógicos e tabela verdade. Os conectivos lógicos são utilizados para formar novas preposições.
LÓGICA MATEMÁTICA Prof Esp Fabiano Taguchi fabianotaguchi@gmailcom http://fabianotaguchiwordpresscom Conectivos lógicos e tabela verdade CONECTIVOS LÓGICOS Os conectivos lógicos são utilizados para formar
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 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 maisEquivalência em LC. Renata de Freitas e Petrucio Viana. IME - UFF 27 de março de 2015
Equivalência em LC Renata de Freitas e Petrucio Viana IME - UFF 27 de março de 2015 Sumário Equivalência de sentenças. Equivalência semântica em LC. Método das Tabelas para Equivalência. Principais equivalências.
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 maisAula 3 Lógica Matemática
UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira 1 Aula 3 Lógica Matemática Construção de tabelas-verdade 1) Proposições compostas e tabelas-verdade Várias proposições simples podem ser combinadas
Leia maisProf.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional
Bacharelado em Sistemas de Informação Lógica Matemática Prof.ª Dr.ª Donizete Ritter Introdução ao Cálculo Proposicional 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição Valor Lógico Proposição
Leia maisLógica Matemática 1. Semana 7, 8 e 9. Material Previsto para três semanas
Lógica Matemática 1 Semana 7, 8 e 9. Professor Luiz Claudio Pereira Departamento Acadêmico de Matemática Universidade Tecnológica Federal do Paraná Material Previsto para três semanas Implicação e equivalência
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 maisRLM Material de Apoio Professor Jhoni Zini
PRINCÍPIOS LÓGICOS 1. Segundo a lógica aristotélica, as proposições têm como uma de suas propriedades básicas poderem ser verdadeiras ou falsas, isto é, terem um valor de verdade. Assim sendo, a oração
Leia maisn. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.
n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição
Leia 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 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 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 maisIME, UFF 5 de novembro de 2013
Lógica IME, UFF 5 de novembro de 2013 . em LS. Método das.. Sumário. Simbolização não é determinística Dependendo de o entendemos o significado de uma sentença, ela pode ser simbolizada de mais de uma
Leia mais