Recent content by SquareOne1

Here's my attempt at a solution.

Begin by turning the word problem into a system of equations: Let \( x + y + z = 95 \), \( y = x + 5 \), and \( z = 3y \). You can now use Elimination, Substitution, or Matrices to solve. I will use substitution by taking the 2nd and 3rd equations and getting the 1st equation in terms of \( y...

\[ \{ b \land [\neg a \to \neg b] \} \to a \\ \{ b \land [a \lor \neg b] \} \to a \\ \{ [b \land a] \lor [b \land \neg b] \} \to a \\ \{ [b \land a] \lor \text{False} \} \to a \\ [b \land a] \to a \\ \neg [b \land a] \lor a \\ \neg b \lor \neg a \lor a \\ \neg b \lor \text{True} \\ \text{True} \]