Isabelle/HOL Exercises Logic and Sets Elimination of Connectives

Connectives. 8. 6. Sentences of TFL. 15. 11 Complete truth tables. 17. 12 Semantic concepts. 25. 13 Truth table shortcuts. 32. 14 Partial truth tables.