Considere que você decida participar de um processo seletivo para o quadro de funcionários de uma multinacional da área de programação. O processo seletivo está dividido em duas etapas, sendo primeira delas teóricas, com a resolução de exercícios e a segunda etapa, uma avaliação prática, com programação em Python, Java e MATLAB, para aqueles candidatos aprovados na primeira fase. Considere, ainda, que nesse momento você tenha sido convocado para realização da primeira etapa e que as questões do processo de seleção sejam as apresentas a seguir:
Questão 01
Considere que A, B e C sejam três proposições simples que, inicialmente, seus valores lógicos são desconhecidos. No quadro que segue, cada célula numerada deve conter os resultados dos valores lógicos das proposições compostas formadas pelo uso do conectivo lógico condicional, como ilustrado a seguir:
Na tabela precedente, as proposições nas linhas são os antecedentes das proposições compostas e as da coluna são os consequentes das proposições compostas. Por fim, considere que os resultados lógicos nas células 3, 4 e 7 sejam, respectivamente, V, F e V, como apresentado no quadro que segue:
Nessas condições, determine o valor lógico, V ou F, dos números 1, 2, 5, 6, 8 e 9. Apresente e explique seu raciocínio.
Questão 02
Use a demonstração indireta (ou por contradição) e prove a validade do argumento que segue.
