LÓGICA FORMAL- Aula 01

Lógica Formal(muita atenção! conhecida como  lógica aristotélica ,lógica dedutiva)

·   Proposição lógica (simples e composta)

*O que é uma proposição lógica?

É toda frase declarativa que possua um valor lógico.

Exemplos:

Maria é secretária .

Dois mais três igual a cinco.

Duas vezes cinco igual a sessenta.(falsa,mas é uma proposição)

Existe vida em outro planeta.(o valor é indeterminado,mas tem valor lógico)

2.3+5(não é proposição porque não dá pra dizer se é verdade ou falso)

A metade de vinte(também não é proposição,pois não dá pra dizer se é verdadeiro ou falso)

Toda sentença aberta não representa proposição.

*Toda proposição é uma sentença,mas nem todas sentenças representam proposições.

Logica e leis do pensamento

Ou a sentença é verdadeira ou falsa(não há contradição)

A frase que você está lendo é falsa(não é proposição é um paradoxo,pois tem dois valores,ou falso ou verdadeiro,portanto não obedece a lei aristotélica )

Toda proposição deve ser representada por letras ou símbolos.

Exe:

 Jaime é magro.(P)

Pedro é rico.(Q)

Pedro é  rico e Jaime é magro.(proposições composta    e- conectivo)

  P^Q

Pedro é rico ou Jaime é magro.

P˅Q

SE PEDRO É RICO ENTÃO JAIME É MAGRO.

CONDICIONAL→

P→Q

Pedro é rico se somente se Jaime é magro.

P↔Q

e- Conjunção das proposições simples)

ou- disjunção

então=condicional

obs:o não (não é classificada como conectivo) ele é  chamado de modificador.

┐  ou ~

Próxima aula tabela verdade.