Reference no: EM132737058
Problem 1: Here is a statement in Propositional Logic. Construct a truth table to show all the possible truth values this statement can have.
If (A or not B) then B. (Remember to write this out using the symbolism for the logical connectors because.)
Problem 2: Here is an argument in Propositional Logic. Construct a truth table to test for validity.
If juvenile killers are as responsible for their crimes as adults, then execution is a justifiable punishment.
Juvenile killers are not as responsible for their crimes as adults.
Therefore execution is not a justifiable punishment.
Symbolize the argument on a single line, and construct the truth table. (Note, it should be symbolized like this, but with the connector symbols: If J then E/ not J // not E.
Problem 3: Suppose you have a statement in Propositional Logic where all of the truth values under the main operator are true, what kind of statement is it?