Denote individual propositions by letters (preferably in a mnemonic way) and write the assumptions symbolically.

Which proof system do you need to use? See this thread.

Results 1 to 2 of 2

- Jun 21st 2013, 12:26 PM #1

- Joined
- Jun 2013
- From
- Kano
- Posts
- 1

## Sleepless nights. Pls help me

Construct a formal proof following;

If he recieved the wire, then he took the plane and if he took the plane he will not be late for the meeting. If the telegraph was incorrectly addressed, then he will be late for the meeting. He recieved the wire or the telegraph was incorrectly addressed therefore, he took the plane or he will be late for the meeting.

- Jun 21st 2013, 01:51 PM #2

- Joined
- Oct 2009
- Posts
- 5,573
- Thanks
- 789

## Re: Sleepless nights. Pls help me

Denote individual propositions by letters (preferably in a mnemonic way) and write the assumptions symbolically.

Which proof system do you need to use? See this thread.