I want to use truth tables to show that equations can be satisfied or not, or if they are valid.(adsbygoogle = window.adsbygoogle || []).push({});

not(X→(Y→X))

(X∧(notX→notY))→Y

I would say the first one is valid, because of the not in front of it, it's always true. I don't know about the second one. I don't know how to split them up best to use a truth table. I guess I can/should use:

X, notX, notY, Y, X∧(notX→notY), notX→notY and (X∧(notX→notY))→Y.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Truth tables (validity)

Loading...

Similar Threads - Truth tables validity | Date |
---|---|

Truth table with Xor and T | Nov 11, 2015 |

Understanding the truth table of → (implies) | Aug 23, 2013 |

Truth table, implication and equivalence | Jul 1, 2013 |

Determining Validity of Argument Using Indirect Truth Table | Dec 30, 2010 |

Validity Using Euler Circles and Truth Tables | Jul 30, 2008 |

**Physics Forums - The Fusion of Science and Community**