Question 1008187
Assumption: All four propositions given are true.


---------------------------------------------------------------------------------------------------------------------------


Proposition 1: ( A --> B) & (A --> ~B)


( A --> B) & (A --> ~B) being true only happens when BOTH


(A --> B) is true
AND
(A --> ~B) is true


If B is true, then ~B is false. Or vice versa. What does this mean? It means that one of those two, (A --> B) or (A --> ~B), is going to be false if A is true. Consider B to be false. That means (A --> B) is false if A is true. If B was true, then the issue occurs with (A --> ~B)


So to summarize, A must be false for each piece of proposition 1 to be true. A must be false for proposition 1 as a whole to be true. B is unknown at this point


---------------------------------------------------------------------------------------------------------------------------


Proposition 2: ~A ---> B


A is false (found earlier)
~A is true


In order for ~A ---> B to be true, B must be true as well. If ~A were true and B were false, then ~A --> B would be false.


So B is true.


---------------------------------------------------------------------------------------------------------------------------


Proposition 3: ~(B & D)



~(B & D) is only true if either B or D is false. B was found to be true, so D has to be false.


D is false


---------------------------------------------------------------------------------------------------------------------------


Proposition 4: C v ~A


A is false
~A is true


C could be true or it could be false. It's impossible to determine. The outcome of C v ~A is going to be true because ~A is true.


Because C doesn't pop up in any other proposition, and because of the issue discussed above, this means that C's truth value is unknown.


---------------------------------------------------------------------------------------------------------------------------


Truth value of proposition A : false
Truth value of proposition B : true
Truth value of proposition C : uncertain
Truth value of proposition D : false