Os funcionários de uma empresa precisam criar uma comissão para elaborar um documento sobre determinado assunto. Entretanto, algumas condições deverão ser satisfeitas...
(1) - Alice só participará da comissão se Bento também participar.
(2) - Bento não participará se Carlos e Eunice, ambos, participarem.
(3) - Eduardo, Carlos e Eunice conhecem o assunto, então um deles tem de participar da comissão.
(4) - Eduardo só participará se Carlos ou Alice ou ambos participarem.
(5) - Carlos não participará se nem Alice nem Bento participarem.
Assertiva: Uma comissão formada por Carlos, Eduardo, Bento e Alice satisfaz as condições descritas.
CARLOS ---> pode participar pois Bento e Alice estão participando (5) e também conhece o assunto (3)
EDUARDO ---- > Pode participar pois Carlos ou Alice estão participando (4), e ele també conhece do assunto(3)
BENTO ---> Pode participar pois Carlos e Eunice não vão participar juntos (2)
ALICE ---> Pode participar pois Bento também participará (1)
Prefiro resolver de uma forma estrutural, quer depender de semântica apenas? Vá para a Língua Portuguesa.
vamos correlacionar o símbolo de negação a estruturas negativas (não afirmativas), isso é opcional, uma vez que o símbolo de negação NÃO é uma representação simbólica de estruturas de negação ("não", "é falso que", "não é verdade que" etc.) , mas sim um OPERADOR que seve para inverter o valor lógico presente na estrutura, ou seja, eu posso ter uma estrutura afirmativa representada pele símbolo de negação acrescido da letra correspondente à estrutura.
"Dragon Ball NÃO é o melhor anime de todos os tempos" = p
"Dragon Ball Z é o melhor anime de todos os tempos" = ~p
_________
Porém para quê complicar? São muitas estruturas, então é melhor correlacionar estruturas negativas a simbologias que trazem o símbolo de negação (til ou cantoneira), sempre que formos nós a desenvolver a simbologia, ou seja, se for a BANCA afirmar as duas estruturas acima, então vc não pode mudar isso sem incorrer em erro. Adendo dado, vamos à questão:
________________
A <--> B
( C ^ EU ) --> ~B
E v C v EU
E <--> (C v A)
(~A ^ ~B) --> ~C
________
Assim, C, E, B, A participarem é uma comissão possível. Vejamos:
A e B participam, atende a primeira exigência;
C e EU não participam juntos, portanto B pode participar, atende a segunda exigência
E ou C ou EU, ao menos 1 participará, C e E participam, atende a terceira exigência;
E participará só se C ou A participarem, pelo menos 1, ambos participam, então E pode participar tranquilo, quarta exigência atendida;
se A e B não participarem, C não participa, ambos devem não participar para C não participar, mas A e B participam, então C pode participar.