Conectivos Lgicos so expresses que servem para unir duas ou mais

proposies. Estudaremos cada um deles a seguir, uma vez que de nosso interesse
conhecer o valor lgico das proposies compostas.

Veremos que, para determinamos se uma proposio composta verdadeira ou falsa,

dependeremos de duas coisas:

1) do valor lgico das proposies componentes;

2) do tipo de conectivo que as une.

Proposies compostas em que est presente o conectivo e so ditas

CONJUNES. Simbolicamente, esse conectivo pode ser representado por .

Ento, se temos a sentena:

Marcos mdico e Maria estudante

... poderemos represent-la apenas por: pq. onde: p = Marcos mdico e q = Maria
estudante.

Como se revela o valor lgico de uma proposio conjuntiva? Da seguinte forma:

uma conjuno s ser verdadeira, se ambas as proposies componentes
forem tambm verdadeiras.
Ento, diante da sentena Marcos mdico e Maria estudante, s poderemos
concluir que esta proposio composta verdadeira se for verdade, ao mesmo
tempo, que Marcos mdico e que Maria estudante.
Pensando pelo caminho inverso, teremos que basta que uma das proposies
componentes seja falsa, e a conjuno ser toda ela falsa.
Obviamente que o resultado falso tambm ocorrer quando ambas as
proposies componentes forem falsas.

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

Exemplo da tabela de 8 linhas

4 Vs e 4 Fs para a 1 coluna
2 Vs, 2 Fs, 2 Vs e 2 Fs para a 2 coluna
V e F alternados para a ltima

Retomemos as nossas Sentenas:

p = Marcos mdico e q = Maria estudante.

Se tivermos que ambas so verdadeiras, a conjuno formada por elas (Marcos

mdico e Maria estudante) ser tambm verdadeira. Teremos:
Ora, as quatro situaes acima esgotam todas as possibilidades para uma conjuno.
Fora disso no h outras!

Criamos, portanto, a tabela-verdade que representa uma conjuno, ou seja, a

tabela-verdade para uma proposio composta com a presena do conectivo e.
Teremos:

preciso que a informao constante da terceira coluna (em destaque) fique

guardada em nossa memria: uma conjuno s ser verdadeira, quando ambas
as partes que a compem tambm forem verdadeiras. E falsa nos demais casos.
Recebe o nome de DISJUNO toda proposio composta em que as partes estejam
unidas pelo conectivo ou. Simbolicamente, representaremos esse conectivo por .
Portanto, se temos a sentena:

Marcos mdico ou Maria estudante

... ento a representaremos por: pq.

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.

S haver um caso, todavia, em que a bendita promessa no se cumprir: se o pai

esquecer o presente, e no der nem a bola e nem a bicicleta. Ter sido falsa toda a
disjuno.

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:

A promessa inteira s falsa se as duas partes forem descumpridas!

Observem que as duas primeiras colunas da tabela-verdade acima as colunas do p
e do q so exatamente iguais s da tabela-verdade da conjuno (p E q).

Muda apenas a terceira coluna, que agora representa um ou, a disjuno.

Estamos agora falando de proposies como as que se seguem:

Se Pedro mdico, ento Maria dentista.

Se amanhecer chovendo, ento no irei praia.

Muita gente tem dificuldade em entender o funcionamento desse tipo de

proposio. Convm, para facilitar nosso entendimento, que trabalhemos com a
seguinte sentena.

Se nasci em Fortaleza, ento sou cearense.

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:

Se nasci em Apodi, ento sou potiguar.

Se nasci em Russas, ento sou cearense.

E assim por diante. Pronto?

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.

Por exemplo, poderamos ter a seguinte sentena:

Se a baleia um mamfero ento o papa alemo

O que interessa apenas uma coisa: a primeira parte da condicional uma condio
suficiente para obteno de um resultado necessrio.

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

No podemos, pois esquecer disso:

Uma condio suficiente gera um resultado necessrio.

Pois bem! Como ficar nossa tabela-verdade, no caso da proposio condicional?

Pensaremos aqui pela via de exceo: s ser falsa esta estrutura quando houver
a condio suficiente, mas o resultado necessrio no se confirmar.

Ou seja, quando a primeira parte for verdadeira, e a segunda for falsa. Nos
demais casos, a condicional ser verdadeira.

A sentena condicional Se p, ento q ser representada por uma seta: pq.

Na proposio Se p, ento q, a proposio p denominada de antecedente,
enquanto a proposio q dita consequente. Teremos:

A estrutura dita Bicondicional apresenta o conectivo se e somente se, separando as

duas sentenas simples. Trata-se de uma proposio de fcil entendimento. Se
algum disser:
Eduardo fica alegre se e somente se Mariana sorri.

o mesmo que fazer a conjuno entre as duas proposies condicionais:

Eduardo fica alegre somente se Mariana sorri e Mariana sorri somente se Eduardo
fica alegre.

Ou ainda, dito de outra forma:

Se Eduardo fica alegre, ento Mariana sorri e se Mariana sorri, ento Eduardo fica
alegre.
So construes de mesmo sentido!

A bicondicional uma conjuno entre duas condicionais. Haver duas situaes

em que a bicondicional ser verdadeira: quando antecedente e consequente
forem ambos verdadeiros, ou quando forem ambos falsos. Nos demais casos, a
bicondicional ser falsa.

Sabendo que a frase p se e somente se q representada por pq, ento nossa

tabela-verdade ser a seguinte:

Resumindo

Recapitulando:
Negao de uma Proposio Simples

O smbolo que representa a negao uma pequena cantoneira () ou um

sinal de til (~), antecedendo a frase. (Adotaremos o til);
Basta pr a palavra no antes da sentena, e j a tornamos uma negativa.
Exemplos:

Joo mdico. Negativa: Joo no mdico.

Maria estudante. Negativa: Maria no estudante.
Reparemos que caso a sentena original j seja uma negativa (j traga a
palavra no), ento para negar a negativa, teremos que excluir a palavra
no. Assim:

Joo no mdico. Negativa: Joo mdico.

Maria no estudante. Negativa: Maria estudante.
Podem-se empregar, tambm, como equivalentes de "no A", as
seguintes expresses:

No verdade que A.
falso que A.

Negao de uma Proposio Conjuntiva

Para negar uma proposio no formato de conjuno (p e q), faremos o

seguinte:
1. Negaremos a primeira parte (~p);
2. Negaremos a segunda parte (~q);
3. Trocaremos e por ou.
Exemplo: a questo dir: No verdade que Joo mdico e Pedro
dentista, e pedir que encontremos, entre as opes de resposta, aquela
frase que seja logicamente equivalente a esta fornecida.
Sol:
1. Nega-se a primeira parte (~p) = Joo no mdico;
2. Nega-se a segunda parte (~q) = Pedro no dentista;
3. Troca-se E por OU, e o resultado final ser o seguinte:
JOO NO MDICO OU PEDRO NO DENTISTA.