Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
proposies. Estudaremos cada um deles a seguir, uma vez que de nosso interesse
conhecer o valor lgico das proposies compostas.
... poderemos represent-la apenas por: pq. onde: p = Marcos mdico e q = Maria
estudante.
Essas concluses podem ser resumidas em uma pequena tabela. Trata-se da tabela-
verdade, de fcil construo e de fcil entendimento.
Tabela Verdade
A construo de uma tabela verdade se inicia pela separao das proposies
simples que compem a proposio composta
Exemplo da tabela de 4 linhas
2 Vs e 2 Fs para a 1 coluna
V e F alternados para a ltima
Seremos capazes de criar uma tabela-verdade para uma proposio disjuntiva? Claro!
Basta nos lembrarmos da tal promessa do pai para seu filho! Vejamos: eu te darei
uma bola OU te darei uma bicicleta.
Neste caso, a criana j sabe, de antemo, que a promessa por apenas um dos
presentes! Bola ou bicicleta! Ganhando de presente apenas um deles, a promessa do
pai j valeu! J foi verdadeira! E se o pai for abastado e resolver dar os dois
presentes? Pense na cara do menino! Feliz ou triste? Felicssimo! A promessa foi mais
do que cumprida.
Da, conclumos: uma disjuno ser falsa quando as duas partes que a
compem forem ambas falsas! E nos demais casos, a disjuno ser verdadeira!
Teremos as possveis situaes:
Ou finalmente:
Juntando tudo, teremos:
Cada um de vocs pode adaptar essa frase acima sua realidade: troque
Fortaleza pelo nome da sua cidade natal, e troque cearense pelo nome que se d
a quem nasce no seu Estado. Por exemplo:
Agora me responda: qual a nica maneira dessa proposio estar incorreta? Ora, s
h um jeito desta frase ser falsa: se a primeira parte for verdadeira, e a segunda for
falsa. Ou seja, se verdade que eu nasci em Apodi, ento necessariamente verdade
que eu sou potiguar. Se algum disser que verdadeiro que eu nasci em Apodi, e que
falso que eu sou potiguar, ento este conjunto estar todo falso.
importante salientar que o exemplo trabalhado acima (Se nasci em Russas ento
sou cearense) foi escolhido exclusivamente para fins didticos. Na realidade, no
preciso que exista qualquer conexo de sentido entre o contedo das proposies
componentes da condicional.
Percebam, pois, que se algum disser que: Pedro ser rico condio suficiente para
Maria ser mdica, ento ns podemos reescrever essa sentena, usando o formato
da condicional. Teremos:
Pedro ser rico condio suficiente para Maria ser mdica igual a:
Se Pedro for rico, ento Maria mdica
Por outro lado, se ocorrer de algum dizer que: Maria ser mdica condio
necessria para que Pedro seja rico, tambm poderemos traduzir isso de outra forma:
Maria ser mdica condio necessria para que Pedro seja rico igual a:
Se Pedro for rico, ento Maria mdica
Ou seja, quando a primeira parte for verdadeira, e a segunda for falsa. Nos
demais casos, a condicional ser verdadeira.
Eduardo fica alegre somente se Mariana sorri e Mariana sorri somente se Eduardo
fica alegre.
Se Eduardo fica alegre, ento Mariana sorri e se Mariana sorri, ento Eduardo fica
alegre.
So construes de mesmo sentido!
Resumindo
Recapitulando:
Negao de uma Proposio Simples
No verdade que A.
falso que A.