Date: Wed, 3 Jun 1998 21:26:59 -0400

My name is Anthony and I take Sequential ][ Math and am taking a practice regents. When doing a logic problem, I encountered the following statements, where I am trying to prove P ( I left out steps unrelated to the question)

Statement | Reason |
---|---|

L | Given |

~N --> P | Given |

~L v ~N | (acquired from another part of the proof) |

~N | ? |

I appreciate your help.

Hi Anthony
You need to use the definitions of v and of -->. (3) ~L v ~N is equivalent to L --> ~N, which together with (1) L implies (by modus ponens) (4) ~N.
Cheers |

To return to the previous page use your browser's back button.