- 
                                Gabarito Letra C
 
 
 OBS: Nego que Mário ou João são engenheiros = Mário não é engenheiro e João não é engenheiro
 verdadeiro                      verdadeiro
 
 Se Mário não é engenheiro então Mário é
agrônomo
 verdadeiro                              verdadeiro  (conclui-se isso pois não pode ocorrer V e F)
 
 Se João trabalha na construção civil então João
é engenheiro
 FALSO                                       FALSO         (conclui-se isso pois não pode ocorrer V e F).
 
 As conclusões são:
 João
 não trabalha na construção civil
 não é engenheiro
 
 Mário
 é agronomo
 não é engenheiro
 
 bons estudos
 
 
- 
                                Complementando o comentário do Renato...
 
 A primeira premissa tem de ser negada então ficará assim:
 ~(ME v JE) .........................=........................ ~ME  ^  ~JE
 
 A questão diz "supondo verdadeiro que". Sendo assim, começamos pela conjunção.
 
 -----------------------------------------------------------------------------
 
 ~ME  ^  ~JE
 V            V                  (V)
 
 ~ME  ->   MA
 V             V                 (V)
 
 
 JCC  ->  JE
 F             F                 (V)
 
 -----------------------------------------------------------------------------------
- 
                                Algum professor podia fazer comentário em vídeo, iria me ajudar muito.
 
 
- 
                                Precisa transformar a sentença, senão fica impossível resolver, veja: nego = não   ~ (p v q), com se fosse uma multiplicação fica: ~p v ~q... agora é só colocar o "não" nas sentenças... As conclusões são: João
 não trabalha na construção civil
 não é engenheiro
 
 Mário
 é agronomo
 não é engenheiro
 
 
- 
                                Gabarito letra C Premissa: Mário não é engenheiro; João não é engenheiro.
 
 Se Mário é engenheiro (F), então Mário é agrônomo (V) = Frase verdadeira segunda a regra da Condicional. 
 
 Se João trabalha na construção civil (F), então João é engenheiro (F) = Frase verdadeira segundo a regra da Condicional. A) V ^ F  = F B) F ^ F = F C) V ^ V = V D) V ^ F = F E) F ^ F = F ;)
 
 
 
 
- 
                                Só para ajudar: A primeira sentença tem que seguir as regras de condição, ou seja: Para ela ser verdadeira, após uma negação, ela deverá ser falsa = ~(F V F) = F  - Ou seja, F com F, dá F (F com V dá V, V com F dá V, e assim por diante). Assim, o resultado de (F V F) é "F", que negado, se torna "V". Então sabemos que nenhum dos dois é engenheiro!! Opa, beleza, agora vamos para a segunda: Se Mário não é engenheiro então Mário é agrônomo. - O que temos aqui Se Então, qual é a regra: V -> F = F - ou seja, isto não pode acontecer, pois esta afirmação é Verdadeira. Porém, já sabemos que Mário não é engenheiro, isto é V, então obrigatoriamente a próxima deverá ser V (pois se for F, a sentença será F, conforme a regra já mencionada). Assim, mário é Agrônomo! E na terceira: Se João trabalha na construção civil então João é engenheiro. - Mesma regra do Se -> Então, ou seja, não pode dar V -> F= F, pois a sentença é verdadeira. Então, obrigatoriamente a primeira oração deverá ser F, para fechar em um F ->F = V. Ou seja, João não trabalha na construção civil. c) Mário é agrônomo e João não trabalha na construção civil. 
- 
                                c- Nego que Mário ou João são engenheiros.  ~(p\/q) <---> ~p^~q Mário E João não são engenheiros.  Se Mário não é engenheiro (não é) então Mário é agrônomo.Se João trabalha na construção civil (nao trabalha porque  ~p^~q) então João é engenheiro. 
- 
                                Esta questão consegui fazer em casa, mas quero ver conseguir no meio da prova. 
- 
                                Gaba: C   Quando houver as expressões "nego que, é mentira que", devemos ignorá-las e negar a proposição:     Mário ou João são engenheiros.   Negaçao ==>  Mário e João não são engenheiros   Daí é só partir  para a resolução conforme bem explicado pelo colegas. 
- 
                                MACETE    Nego que Mário ou João são engenheiros. ~(ME) ou ~(JE)   Se Mário não é engenheiro então Mário é agrônomo.  TENHO QUE FORCAR O VERDADEIRO PRA ESSA PROPOSIÇÃO  ~(ME)  (MA)     Se João trabalha na construção civil então João é engenheiro. TENHO QUE FORCAR O VERDADEIRO PRA ESSA PROPOSIÇÃO  JTC     JE   ~(ME) onde não contradiz vc tem como verdade ~(JE) JE Onde contradiz vc tem como mentira    Mário é agrônomo e João não trabalha na construção civil.