Questões de Concurso Comentadas por alunos sobre lógica de argumentação - diagramas e operadores lógicos em raciocínio lógico

. Considere as seguintes fórmulas do cálculo proposicional. I. ~~~R II. (~R) III. ~~(P ^ P) IV. ~(P ↔ (Q ^ R))
Usando as regras de formação, verifica-se que são fórmulas bem formuladas,

Considere o argumento seguinte: Se choveu, o trânsito estará difícil. Se o trânsito estiver difícil, eu estarei atrasado, a menos que eu saia antes. De fato, choveu. Portanto, eu devo sair antes para evitar atraso.
Escreva o argumento simbolicamente, usando as seguintes proposições básicas:
P: Choveu Q: O trânsito estará difícil R: Estarei atrasado S: Saio antes  

Pretende-se acrescentar ao conjunto de proposições P1, P2 e P3 uma nova proposição, P0, de modo que o argumento formado pelas premissas P0, P1, P2 e P3, juntamente com a conclusão “A população não faz justiça com as próprias mãos” constitua um argumento válido. Assinale a opção que apresenta uma proposta correta de proposição P0

Se Ana gosta de Beto, então Beto ama Carla. Se Beto ama Carla, então Débora não ama Luiz. Se Débora não ama Luiz, então Luiz briga com Débora. Mas Luiz não briga com Débora. Assim:

As proposições seguintes constituem as premissas de um argumento.

• Bianca não é professora.

• Se Paulo é técnico de contabilidade, então Bianca é professora.

• Se Ana não trabalha na área de informática, então Paulo é técnico de contabilidade.

• Carlos é especialista em recursos humanos, ou Ana não trabalha na área de informática, ou Bianca é professora.

Assinale a opção correspondente à conclusão que torna esse argumento um argumento válido.