Gino T.

asked • 11/23/15

if R is a tautological consequence of P1, . . . ,Pn,P and also a tautological consequence of P1, . . . ,Pn,Q,

 
then R is a tautological consequence of P1, . . . ,Pn,P∨Q. Explain this please..i don't understand
 
 
 
How could you use the result established above to give a careful justification for adding
the Rule of ∨ - Elim to the system F?

1 Expert Answer

By:

Jhevon S. answered • 11/23/15

Tutor
4.9 (15)

Mathematics Tutor

Gino T.

How could you use the result established above to give a careful justification for adding
the Rule of ∨ - Elim to the system F?
Report

11/23/15

Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.

OR

Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.