Truth tables (part two)

A complex truth table We can use the above truth tables to create a more complex truth table. For example, “Socrates is a human and he’s not a vampire.” We can translate this into logical form as “A ∧ ¬B.” (We use capital letters because they stand for something specific.) In this case “A” stands for “Socrates is a human” and “B” stands for “Socrates is not a vampire.” The truth table for this is the following: AB ¬B A ∧ ¬B TTFF TFTT FTFF FFTF We... seguir leyendo »

Truth tables (part one)

Remember: our target is being  able to distinguish between a valid or an invalid argument, for instance:  they will kill me if I work and they will kill me if I don´t work either if I work or I don´t work They will kill me.  In... seguir leyendo »