INSTITUTO FEDERAL DE EDUCAO, CINCIA E TECNOLOGIA DO MARANHO

UNIVERSIDADE ABERTA DO BRASIL

CURSO DE LICENCIATURA EM INFORMTICA
DISCIPLINA: MATEMTICA PARA COMPUTAO
PROFESSOR: RAIMUNDO OSVALDO VIEIRA

Complemento sobre Proposies Condicionais

(Extrado de ROSEN, Keneth H. Matemtica Discreta e suas Aplicaes. So Paulo: McGraw-Hill, 2009)

A condicional usada como uma regra essencial no raciocnio matemtico, por isso uma variedade
de termos pode ser usada para expressar
 . Voc pode encontrar algumas das seguintes
formas para expressar a condicional:

Se p, ento q p apenas se q
Se p, q uma condio suficiente para q p
p suficiente para q q sempre que p
q se p q necessrio para p
q quando ocorrer p q segue de p
uma condio necessria para p q q a menos que p
p implica q

Algumas pessoas acham confuso que p somente se q expresse o mesmo que se p ento
q. Note que p somente se q significa que p no pode ser verdadeira quando q no . Ou
seja, a proposio falsa se p verdadeira, mas q falsa. Quando p falsa, p pode ser
verdadeira ou falsa, porque a proposio no diz nada sobre o valor verdade de q.

A expresso a menos que frequentemente usada para expressar condicionais. Observe

que q a menos que p significa que se p falsa, ento q deve ser verdadeira. Ou seja, a
proposio q a menos que p falsa quando p verdadeira e q falsa, mas verdadeira
em qualquer outro caso. Consequentemente, q a menos que p e p  q tm o mesmo
valor lgico.
Exemplo 1

Seja p a proposio em portugus Helaine sabe matemtica discreta e q a proposio Helaine

uma tima tutora. possvel expressar
  de vrias maneiras em portugus.

Se Helaine sabe matemtica discreta, ento ela uma tima tutora.

Para ser uma boa tutora, suficiente que Helaine saiba matemtica discreta.
Helaine uma tima tutora, a menos que no saiba matemtica discreta.

Podemos formar muitas outras proposies a partir da condicional
 . Em particular, existem

trs proposies condicionais relacionadas que figuram com maior frequncia. A proposio
 
chamada de oposta de
 . A contrapositiva de
  a proposio  
. A
proposio
  chamada de inversa de
 . Dessas trs condicionais, apenas a
contrapositiva equivalente a
 , pois ambas apresentam os mesmos valores lgicos.

Exemplo 2

Qual a contrapositiva, a oposta e a inversa da proposio condicional Os alunos so aprovados

sempre que estudam todos os dias?

possvel reescrever a proposio original como

Se os alunos estudam todos os dias, ento so aprovados.

Consequentemente, a contrapositiva dessa condicional

Se os alunos no so aprovados, ento eles no estudam todos os dias.

A oposta

Se os alunos so aprovados, ento eles estudam todos os dias.

A inversa

Se os alunos no estudam todos os dias, ento eles no so aprovados.