Trabalhos feitos
1
AULA 2: CONCEITOS INICIAIS (Continuação)
Olá, amigos! Retornamos hoje para dar seqüência aos Fundamentos da Lógica – conceitos iniciais – que demos início na aula passada. Convém sabermos que estas duas primeiras aulas são, por assim dizer, os pilares do curso inteiro. É possível que hoje tenhamos uma aula de muitas páginas, mas faremos o máximo esforço para que tudo seja explicado da forma mais minuciosa possível. Doravante, passaremos a ter o cuidado de numerar todas as tabelas do texto, a fim de facilitar futuras referências a qualquer uma delas. Comecemos com duas erratas da aula um. A primeira delas foi logo na primeira página, quando estávamos apresentando o conceito de proposição, e citamos alguns exemplos, chamandoas de proposições p, q e r. Pois bem, a premissa q tinha o texto: “5 < 8”. Acharam? Logo em seguida, dissemos que o valor lógico dessa proposição era falso (VL(q)=F)! Erramos! Obviamente que é verdadeiro que 5). E aí, sim, terá valor lógico falso a proposição “5 > 8”. A segunda correção diz respeito à última tabela que apresentamos na página 12, no momento em que estávamos comparando as tabelas-verdade que resultam das estruturas ~(p v q) e ~p ∧~q. Na ocasião, concluímos que: ~(p ∨ q) V V V F ~p ∧ ~q V V V F
TABELA 01
Ora, os resultados destas duas estruturas são, sim, iguais! Só que, na verdade, seus resultados são, corrigindo as tabelas acima, os seguintes: ~(p ∨ q) F F F V ~p ∧ ~q F F F V
TABELA 02
Correções feitas, passemos a uma breve revisão (breve mesmo!) do que vimos até aqui, e do que temos obrigação de saber até agora:
REVISÃO DA AULA PASSADA: # Proposição: é toda sentença a qual poderá ser atribuído um valor lógico (verdadeiro ou falso); haverá proposições simples ou compostas. # As proposições compostas podem assumir diversos formatos, ou seja, diversas estruturas, dependendo do conectivo lógico que esteja unindo as suas proposições componentes. Assim, haverá proposições