nada

NOÇÕES DE LÓGICA SIMBÓLICA

1. PROPOSIÇÃO: UNIDADE MÍNIMA DA LÓGICA SIMBÓLICA

A lógica simbólica, também chamada de logística ou lógica matemática, não trabalha com nomes isolados (conceitos), mas com proposições, porque estas, ao contrário daqueles, expressam um pensamento completo acerca de um objeto. A proposição pode ser elementar ou atômica, e complexa ou molecular. A proposição elementar ou atômica é aquela que apresenta um conjunto de palavras ou símbolos que expressam um pensamento completo sobre um objeto. As proposições complexas ou moleculares são aquelas formadas por duas ou mais proposições elementares. As proposições elementares são representadas por letras latinas minúsculas: p, q, r, s etc. As proposições complexas são representadas por letras latinas maiúsculas: P, Q, R, S etc.

2. CONECTIVOS E OPERAÇÕES LÓGICAS

Os conectivos lógicos têm a função de determinar as operações lógicas, cuja notação é a seguinte: ~, Λ, V, →, ↔. A operação resultante do conectivo ~ é a negação, cuja notação é esta: ~p. Assim, a negação de uma proposição consiste justamente na proposição cujo valor lógico é o contrário dela mesma. A operação lógica resultante do conectivo Λ é a conjunção, cuja notação é a seguinte: p Λ q. O valor lógico pode ser a verdade, quando ambas as proposições forem verdadeiras, ou pode ser a falsidade, nos demais casos. A operação lógica resultante do conectivo v é a disjunção, cuja notação é a seguinte: p v q. O valor lógico pode ser a verdade, quando uma das proposições é verdadeira, ou pode ser a falsidade, quando são falsas. A operação lógica resultante do conectivo → é a proposição condicional, cuja notação é a seguinte: p → q. O valor lógico pode ser a falsidade, quando a primeira proposição é verdadeira e a segunda, falsa; ou pode ser a verdade, nos demais casos. A operação lógica resultante do conectivo ↔ é a proposição bicondicional, cuja notação é a seguinte: p ↔ q. O valor lógico pode ser a verdade,