Introduction

Exercises

• A ;A|- A
• A, B |- A -> B -> A
• A, B, C |- (A -> B -> C) -> B -> A -> C
• A, B, C |- (A -> B) -> (B -> C) -> (A -> C)

Here some exercises already involving conjunction. You can try them or look at the next video first.

• A, B |- A && B -> A
• A, B |- A -> B -> A && B
• A, B |- B && A -> A && B