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)
|~N --> P||Given|
|~L v ~N||(acquired from another part of the proof)|
I appreciate your help.
You need to use the definitions of v and of -->.
(3) ~L v ~N
is equivalent to
L --> ~N,
which together with
implies (by modus ponens)
To return to the previous page use your browser's back button.