Terça-feira, 03 de Novembro de 2009

A Lógica Formal, também chamada de Lógica Simbólica, preocupa-se, basicamente, com a estrutura do raciocínio. A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provasde declarações. Na Lógica Formal os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas.

As letras minúsculas p, q e r, em fonte itálica, são convencionalmente usadas para denotar proposições:

p: 1 + 2 = 3

Esta declaração define que p é 1 + 2 = 3 e que isso é verdadeiro.

Duas proposições --ou mais proposições-- podem ser combinadas por meio dos chamados operadores lógicos binários , formando conjunções, disjunções ou condicionais. Essas proposições combinadas são chamadas proposições compostas. Por exemplo:

p: 1 + 1 = 2 e

Neste caso, e é uma conjunção. As duas proposições podem diferir totalmente uma da outra!

Na matemática e na ciência da computação, pode ser necessário enunciar uma proposição dependendo de variáveis:

p: n é um inteiro ímpar.

Essa proposição pode ser ou verdadeira ou falsa, a depender do valor assumido pela variável n.

Uma fórmula com variáveis livres é chamada função proposicional com domínio de discurso D. Para formar uma proposição , devem ser usados quantificadores. "Para todo n", ou "para algum n" podem ser especificados por quantificadores: o quantificador universal, ou o quantificador existencial, respectivamente. Por exemplo:

para todo n em D, P(n).

Isto pode ser escrito como:

\forall n\in D, P(n)

Quando existem algumas variáveis livres, a situação padrão na análise matemática desde Weierstrass, as quantificações para todos ... então existe ou então existe ... isto para todos (e analogias mais complexas) podem ser expressadas.


tags:

publicado por danielapedrix às 21:24
Aqui vao encontrar os trabalhos que realizei e que mais gostei. São trabalhos que lhe vão despertar a curiosidade de saber mais de algo. Projecto BlogsN-Escola EB23 de Nevogilde
mais sobre mim
Novembro 2009
Dom
Seg
Ter
Qua
Qui
Sex
Sab

1
2
3
4
5
6
7

8
9
11
12
13
14

15
16
17
18
19
20
21

22
23
24
25
26
27
28

29
30


Visitas: 21/10/2008
pesquisar neste blog
 
blogs SAPO