Mathematics">
Formalização
Formalização
Formalização
Objetivo: Este documento visa ajudar-te a relacionar alguns conceitos e regras das proposições complexas de forma a
saberes construir tabelas de verdade e identificar os seus valores de verdade.
Introdução
Na lógica proposicional, a interpretação de proposições complexas é fundamental para que se elabore uma correta
simbolização ou formalização da mesma e consequente avaliação do seu valor de verdade. Este dependerá do valor de
verdade das proposições simples se estivermos perante operadores lógicos (que estabelecem a ligação entre duas ou
mais proposições simples) constituindo uma proposição complexa.
Um operador lógico é funcional quando, dados os valores de verdade sobre os quais ele opera (valores de verdade
das proposições simples), é possível determinar o valor de verdade de uma proposição complexa.
Caso ainda tenhas dificuldades em cumprir alguns destes passos, deves utilizar este recurso para te orientar e praticares
melhorando as tuas competências.
É importante saberes interpretar corretamente as proposições que te são dadas, saber Post it…
como estas se ligam identificando as conectivas.
Letras proposicionais
(p. q, r, s, t, …)
Construir o dicionário permite:
Conectivas proposicionais
1. identificar as proposições simples que constituem a proposição complexa;
- ver Doc de apoio 2
2. atribuir uma letra ou variável proposicional a cada proposição simples;
3. formalizar a proposição complexa utilizando as variáveis proposicionais.
As letras ou variáveis proposicionais devem ser aplicadas respeitando a sua sequência: Post it…
1ª proposição simples = p, 2ª proposição simples = q, e assim sucessivamente.
Âmbito dos parêntesis
Na leitura de uma proposição, deves ter em conta as expressões existentes na frase que
estabelecem a ligação entre as proposições e que permitam identificar corretamente as Os parêntesis curvos () são
conectivas. os que possuem menor
âmbito e são os primeiros a
Deves respeitar o âmbito das conectivas tendo em conta o que é dito nas proposições serem usados.
utilizando os parêntesis e respeitando o seu âmbito.
Os parêntesis retos [] são
os envolvem os parêntesis
(). =[()]
As chavetas {} possuem
Aplicando:
maior âmbito de todos e
envolvem as anteriores.
2
= {[(…)]}
1. leitura e análise da proposição dada
Aplicando ao exemplo dado…
Deves:
identificar as proposições simples; P = ‘estudo Lógica’;
construir o dicionário. Q = ‘aprendo a construir argumentos válidos’;
R = ‘aprendo a identificar argumentos válidos’