Jump to content

Disjunction Elimination

MikeMHz
in Mathematics

Featured Replies

Hey, so I think I know how to do disjunction elimiation...

 

Where I am given A∨B I can assume A => C and B => C, so the result is C after disjunction elimination.

 

Is this always the correct method? For example if I am given:

 

A∨B
--- ∨E 
A

 

How can I prove that this is not sound? Simply by doing what I did above?

Archived

This topic is now archived and is closed to further replies.

Go to topic listing

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.

Configure browser push notifications
Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.