Seja a sentença lógica “Maria é morena ou se Patrícia
é loira, então, Cássia é ruiva”. Sabendo que essa
sentença é falsa, podemos concluir corretamente
que:
Maria almoçar é condição necessária para Luisa lavar
e condição suficiente para Bianca comprar. Bianca
comprar é condição necessária e suficiente para
Lúcia trabalhar. Então, quando Luisa lava, podemos
concluir corretamente que:
Carlos não é policial ou Tiago é bombeiro. Bruno é
médico ou Tiago não é bombeiro. Tiago não é
bombeiro ou Bruno não é médico. Se Bruno não é
médico, então Carlos é policial. Pode-se concluir que:
Marcos, José e João possuem cargos diferentes em
uma mesma empresa. Um deles é o administrador,
outro é o comprador e, o outro, é o entregador.
Sabe-se que: ou Marcos é o administrador, ou João é
o administrador; ou Marcos é o comprador, ou José é
o entregador; ou João é o entregador, ou José é o
entregador; ou José é o comprador, ou João é o
comprador. Com essas informações, conclui-se que
os cargos de Marcos e João são respectivamente: