<!DOCTYPE html>
<html lang="pt-BR">
<head>
 <meta charset="UTF-8">
 <style>
 body {
 font-size: 16px;
 line-height: 1.5;
 }
 .blue {
 color: blue;
 }
 math {
 font-size: 16px;
 }
 </style>
</head>
<body>
 Para analisar a proposição P apresentada na questão, precisamos primeiro entender a estrutura dela. A proposição é uma condição que Marcos impõe ao aceitar a viagem: "Aceito viajar com uma condição: eu dirijo." Vamos identificá-la como uma proposição simples sobre duas variáveis:

 Neste caso, a proposição pode ser formalizada como:

 <math xmlns="http://www.w3.org/1998/Math/MathML">
 <mi>P</mi>
 <mo>=</mo>
 <mi>A</mi>
 <mo>→</mo>
 <mi>B</mi>
 </math>
 
 onde:
 <ul>
 <li>A: "Marcos aceita viajar."</li>
 <li>B: "Marcos dirige."</li>
 </ul>
 
 Como P envolve uma condição, ela é uma proposição condicional, que pode ser representada como uma implicação. Na lógica proposicional, a proposição condicional tem duas partes: o antecedente (a condição) e o consequente (o resultado). A tabela-verdade para uma proposição condicional envolve examinar todas as combinações possíveis das variáveis que a compõem.

 Entendemos que para qualquer proposição condicional do tipo A → B, precisamos definir o número de possíveis combinações de verdade. A lógica proposicional nos diz que:

 <math xmlns="http://www.w3.org/1998/Math/MathML">
 <text>Para n variáveis, existem 2n combinações.</text>
 </math>

 No nosso caso, temos duas variáveis (A e B), portanto, o número total de linhas na tabela-verdade da proposição P é:

 <math xmlns="http://www.w3.org/1998/Math/MathML">
 <text>22 = 4</text>
 </math>

 Portanto, a tabela-verdade da proposição P terá 4 linhas, representando as combinações das variáveis A e B:

 <table xmlns="http://www.w3.org/1998/Math/MathML" style="border-collapse: collapse;">
 <tr>
 <th style="border: 1px solid black; padding: 8px;">A</th>
 <th style="border: 1px solid black; padding: 8px;">B</th>
 <th style="border: 1px solid black; padding: 8px;">A → B</th>
 </tr>
 <tr>
 <td style="border: 1px solid black; padding: 8px;">V</td>
 <td style="border: 1px solid black; padding: 8px;">V</td>
 <td style="border: 1px solid black; padding: 8px;">V</td>
 </tr>
 <tr>
 <td style="border: 1px solid black; padding: 8px;">V</td>
 <td style="border: 1px solid black; padding: 8px;">F</td>
 <td style="border: 1px solid black; padding: 8px;">F</td>
 </tr>
 <tr>
 <td style="border: 1px solid black; padding: 8px;">F</td>
 <td style="border: 1px solid black; padding: 8px;">V</td>
 <td style="border: 1px solid black; padding: 8px;">V</td>
 </tr>
 <tr>
 <td style="border: 1px solid black; padding: 8px;">F</td>
 <td style="border: 1px solid black; padding: 8px;">F</td>
 <td style="border: 1px solid black; padding: 8px;">V</td>
 </tr>
 </table>

 A tabela-verdade mostra todas as combinações de verdade que A e B podem assumir, e como isso afeta a proposição P. A condição imposta por Marcos resulta, portanto, em uma tabela de 4 linhas.

 Analisando as alternativas apresentadas:

 <ul>
 <li>C) Certo:
 Esta alternativa é correta, pois confirmamos que a tabela-verdade da proposição P possui 4 linhas, como demonstrado acima.
 </li>
 <li>E) Errado:
 Esta alternativa é incorreta, pois a afirmação sobre a quantidade de linhas da tabela-verdade está correta conforme a análise anterior.
 </li>
 </ul>

 Portanto, a alternativa correta é C.
</body>
</html>

A tabela-verdade da proposição P possui 4 linhas.


Ao ser convidado por seu pai para uma viagem, Marcos
assim respondeu: 
P: “Aceito viajar com uma condição: eu dirijo.” 
Julgue o item seguinte, a respeito da proposição P acima
apresentada.

 Se Carlos não é atleta, então tem tempo para se divertir

 Se Carlos é atleta, então não tem tempo para se divertir

 Se Carlos é atleta, então tem tempo para se divertir

 Se Carlos não é atleta, então não treina bastante

 o valor lógico da disjunção entre p e q é falso 

 o valor lógico da conjunção entre p e q é verdade 

 o valor lógico do bicondicional disjunção entre p e q é verdade 

 o valor lógico do condicional entre p e q, nessa ordem é verdade

Questões de Raciocínio Lógico - Lógica proposicional