Inactive Tutor answered • 03/18/16
Tutor
New to Wyzant
I may be missing something here, but the logical connectives | , - , and | | are unknown to me. Could you explain these.
Abhijith K.
asked • 03/18/16Derivations in symolic logic
Show that |- ((P || Q) -> (~((~P) & (~Q))))
Follow
•
2
Add comment
More
Report
1 Expert Answer
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.
