Lógica Matemática IV

Olá a todos,

Prosseguindo com o estudo sobre lógica matemática vamos conhecer hoje mais dois
importantes conectivos: “Se p então q” e “p se e somente se q”.

O primeiro é conhecido como conectivo condicional e as proposições que o apresentam

são chamadas de proposições condicionais. A representação de uma proposição
condicional se p então q é:

p --> q

Informações importantes sobre a condicional:

• A proposição p é chamada de antecedente e a proposição q de conseqüente.

• O símbolo “-->” é chamado de implicação.
• A proposição também pode ser lida das seguintes maneiras: “p é condição
suficiente para q” e “q é condição necessária para p”.

Portanto a tabela-verdade da condicional é definida da seguinte maneira:

Assim, o valor lógico da condicional somente será falso quando o antecedente for
verdadeiro e o consequente for falso. Para entendermos o conceito vejamos alguns
exemplos:

1º) p: Eu estudo muito.

q: Eu sou aprovado no concurso.

p --> q : Se eu estudo muito, então eu sou aprovado no concurso.

Para entender a condicional vamos imaginar que os valores lógicos de p e de q são

verdadeiros. Se eu estudo muito então eu sou aprovado no concurso, este é o fluxo de
acontecimentos esperado. Já Se eu não estudo muito então não sou aprovado no
concurso também apresenta um fluxo de acontecimentos esperado, note que as duas
últimas proposições representam a primeira e última linha da tabela-verdade da
condicional. O problema no entendimento ocorre quando: Se eu não estudo muito, então
eu sou aprovado no concurso. Aqui o fluxo de acontecimentos não é o esperado, porém
não importa se você estudou muito, mesmo tendo estudado pouco ou não estudado o
resultado esperado foi atingido o que torna a proposição verdadeira (terceira linha da
tabela-verdade). Entretanto, Se eu estudo muito, então não sou aprovado no concurso é
impossível já que p é condição suficiente para q, ou seja, como pode eu ter estudado
muito e não ter sido aprovado? Este caso representa a segunda linha da tabela-verdade,
a proposição é falsa.

2º) p: Pedro Álvares Cabral proclamou a república.

q: Cantor criou a Teoria dos Conjuntos.

p --> q : Se Pedro Álvares Cabral proclamou a república, então Cantor criou a Teoria
dos Conjuntos.

Note que, claramente, a proposição p tem valor lógico falso e a proposição q tem valor
lógico verdadeiro. Então p --> q é falsa.

3º) p: Getúlio Vargas foi presidente do Brasil.

q: A raiz quadrada de 2 é um número irracional.

p --> q : Se Getúlio Vargas foi presidente do Brasil, então a raiz quadrada de 2 é um

número irracional. Ambas as proposições simples têm valor lógico Verdadeiro. Então p
--> q é verdadeira.

O questionamento natural que ocorre neste momento é: mas como o fato de Getúlio ter
sido presidente do Brasil implica que a raiz quadrada de 2 seja um número irracional?
De maneira alguma uma condicional afirma que o consequente q se deduz ou é
conseqüência do antecedente p. Ela afirma somente a relação entre os valores lógicos do
antecedente e do consequente de acordo com a tabela-verdade.

Agora vamos falar da proposição bicondicional. Ela é representada por “p se e somente

se q” e seu valor lógico será verdadeiro quando ambas as proposições simples p e q
foram verdadeiras ou ambas falsas, nos demais casos a bicondicional será falsa. Sua
representação simbólica é “p <--> q”. Veja sua tabela-verdade:

Exemplo:

p: Vasco da Gama descobriu o Brasil.

q: Tiradentes foi enforcado.

p <--> q: Vasco da Gama descobriu o Brasil se e somente se Tiradentes foi enforcado.

O valor lógico de p é falso e o valor de q é verdadeiro, portanto a proposição
bicondicional é falsa de acordo com a terceira linha da tabela-verdade.

Resumindo, para se analisar o valor lógico de uma proposição composta, basta analisar
sua tabela-verdade e verificar em qual caso se enquadra à proposição. Você precisará da
tabela-verdade! Dessa forma reveja cada uma delas, entenda, analise, desta maneira
você irá memoriza-las.

Você seria capaz de determinar a tabela-verdade da seguinte proposição composta:

~(p v q) v ~( p <--> q)

No nosso próximo contato explicarei como resolver esta e outras proposições

compostas, mais algumas propriedades de como se montar uma tabela-verdade.

Até lá...