Resumo
Aqui são revisados alguns dos conceitos básicos de lógica, e sugeridos alguns links que tratam de métodos e princípios usados para distinguir entre o raciocínio correto e o incorreto, uso de linguagens, falácias formais e informais, diagramas de Venn, tabelas verdade, notação simbólica, dedução de provas e indução. Esses links introduzem noções fundamentais e técnicas da lógica formal que podem ser utilizadas em diferentes áreas. Em particular, fornecem o background necessário para outras disciplinas da Ciência da Computação, além, claro, de Circuitos Lógicos.
Proposição
Segundo Quine, toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F)ou Verdadeiro (V). Exemplos:
-
Frases que não são proposições
-
Pare!
-
Quer uma xícara de café?
-
Eu não estou bem certo se esta cor me agrada
-
-
Frases que são proposições
-
A lua é o único satélite do planeta terra (V)
-
A cidade de Salvador é a capital do estado do Amazonas (F)
-
O numero 712 é ímpar (F)
-
Raiz qu
adrada de dois é um número irracional (V) 
-
Nenhum comentário:
Postar um comentário