Problem 5 - Logic

Answer the following questions.

1.

Explain what 'logical consequences' mean. Explain what that a proof procedure is 'complete' and 'sound' means.

2.

Describe simply how a proof procedure of propositional logic using 'truth tables' works and show that the procedure is both complete and sound.

See [BEN93] for a detailed answer.