lógica para computação

9842 palavras 40 páginas
GRUPO DA DISCIPLINA:

Natural x Linguagem Lógica

Linguagem natural é qualquer linguagem que os seres humanos aprendem em seu ambiente de vida e comunicação com outros seres humanos, como é o caso do português. C

Cabe não nos esquecermos de que a linguagem natural é vaga, ambígua e imprecisa, sendo adequada para a poesia, literatura e folclore, mas não para a ciência e a tecnologia.

Linguagem artificial/formal/simbólica é a linguagem construída para fins específicos, como as linguagens de programação e os diversos cálculos da Lógica e da Matemática.

Linguagens artificiais exprimem com correção e exatidão o pensamento e os resultados do conhecimento científico, de forma sintética.

Exemplo:
O produto de um número pela soma de dois outros é igual ao produto do primeiro pelo segundo somado ao produto do primeiro pelo terceiro.

Simbolicamente temos:

Se X,Y,Z são números arbitrários, x . (y + z) = x .y + x . z

Proposições

Conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. São expressões a respeito das quais tem sentido dizer que são verdadeiras ou falsas.

Exemplo:
(a) A Lua é um satélite da Terra
(b) Recife é a capital de Pernambuco
(c) 4 > 3

A lógica matemática adota como regras fundamentais do pensamento os dois seguintes axiomas:

(I) Princípio da não contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo.
(II) Princípio do terceiro excluído: toda a proposição ou é verdadeira ou é falsa, isto é, verifica-se sempre um destes casos e nunca um terceiro.

Valores lógicos das proposições: Chama-se valor lógico de uma proposição a verdade (V) se ela é verdadeira e a falsidade (F) se ela é falsa.

Classificação das proposições:

a) Simples ou atômica: é aquela proposição que não contem nenhuma outra proposição como parte integrante de si. São designadas por letras minúsculas.

p: Carlos é careca q: Pedro é estudante r: Mônica é jovem

b) Composta ou molecular: é aquela

Relacionados

  • Lógica para computação
    455 palavras | 2 páginas
  • Lógica Para computação
    1466 palavras | 6 páginas
  • lógica para computação
    259 palavras | 2 páginas
  • Logica para computação
    744 palavras | 3 páginas
  • Apostila Lógica para Computação
    12171 palavras | 49 páginas
  • Lógica em ciência da computação
    1139 palavras | 5 páginas
  • Logica aplicada a computaçao
    1205 palavras | 5 páginas
  • Lógica aplicada a computação
    745 palavras | 3 páginas
  • Lógica para ciencia da computação
    905 palavras | 4 páginas
  • Lógica aplicada a engenharia da computação
    32052 palavras | 129 páginas