(c v ~ h) - > ~ m (prem 1)(adsbygoogle = window.adsbygoogle || []).push({});

T -> ~ c (prem 2)

T ^ h (prem 3)

trying to get m

1) T (spec prem 3)

2) ~ c ( M.PON prem 2, 1)

3) ~ h (ELIM prem 1 (c v ~ h), 2)

4) ~ h - > ~ m (replace (c v ~ h) with ~h)

5) m -> h (Contrap. 4)

6) ~m v h (M.TOL 5,3)

6) m

**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!

# Can someone please check my logic proof?

Loading...

Similar Threads - someone please check | Date |
---|---|

Can someone help me understand the difference between a measure, and a function which is measurable? | Sep 26, 2014 |

Probability of someone being home | Jun 26, 2014 |

Will someone please explain Bayesian statistics? | May 8, 2012 |

Can someone please answer this probability question based on coin flip? | Sep 7, 2011 |

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