Mathematics, 21.02.2020 23:52, tami5
Complete the formal proof of (~Q→~R)v(R&~Q) from no premises. The empty premise line is not numbered. Hint: there are longer ways of doing the proof that require the 5-step plan in the middle somewhere, but we require to you find the shortcuts and do it in 11 lines.
Use -> for arrow, # for contradiction; justify subproof assumptions with Assume; always drop outer parentheses; no spaces in PROP.
Answers: 3
Complete the formal proof of (~Q→~R)v(R&~Q) from no premises. The empty premise line is not numb...
English, 27.01.2020 17:31
English, 27.01.2020 17:31
Mathematics, 27.01.2020 17:31