───✱*.｡:｡✱*.:｡✧*.｡✰*.:｡✧*.｡:｡*.｡✱ ───Module 8 a.||||𝑝𝑇𝑇𝐹𝐹𝑞𝑇𝐹𝑇𝐹𝑝∧𝑞𝑇𝐹𝐹𝐹(𝑝∧𝑞)→𝑝𝑇𝑇𝑇𝑇|||| b.||||𝑝𝑇𝑇𝐹𝐹𝑞𝑇𝐹𝑇𝐹𝑝∨𝑞𝑇𝑇𝑇𝐹𝑝→(𝑝∨𝑞)𝑇𝑇𝑇𝑇|||| c.||||𝑝𝑇𝑇𝐹𝐹𝑞𝑇𝐹𝑇𝐹¬𝑝𝐹𝐹𝑇𝑇𝑝→𝑞𝑇𝐹𝑇𝐹¬𝑝→(𝑝→𝑞)𝑇𝑇𝑇𝑇|||| d.||||𝑝𝑇𝑇𝐹𝐹𝑞𝑇𝐹𝑇𝐹𝑝∧𝑞𝑇𝐹𝐹𝐹𝑝→𝑞𝑇𝐹𝑇𝑇(𝑝∧𝑞)→(𝑝→𝑞)𝑇𝑇𝑇𝑇|||| e.||||𝑝𝑇𝑇𝐹𝐹𝑞𝑇𝐹𝑇𝐹𝑝→𝑞𝑇𝐹𝑇𝑇¬(𝑝→𝑞)𝐹𝑇𝐹𝐹¬(𝑝→𝑞)→𝑝𝑇𝑇𝐹𝐹|||| f.||||𝑝𝑇𝑇𝐹𝐹𝑞𝑇𝐹𝑇𝐹𝑝→𝑞𝑇𝐹𝑇𝑇¬(𝑝→𝑞)𝐹𝑇𝐹𝐹¬(𝑝→𝑞)→¬𝑞𝑇𝐹𝑇𝑇|||| ||||𝑝𝑇𝑇𝐹𝐹𝑞𝑇𝐹𝑇𝐹¬𝑝𝐹𝐹𝑇𝑇¬𝑞𝐹𝑇𝐹𝑇𝑝→𝑞𝑇𝐹𝑇𝑇¬𝑞∧(𝑝→𝑞)𝐹𝐹𝐹𝑇(¬𝑞∧(𝑝→𝑞))→¬𝑝𝑇𝑇𝑇𝑇|||| → Tautology ||||𝑝𝑇𝑇𝐹𝐹𝑞𝑇𝐹𝑇𝐹¬𝑞𝐹𝑇𝐹𝑇𝑝↔𝑞𝑇𝐹𝐹𝑇¬(𝑝↔𝑞)𝐹𝑇𝑇𝐹𝑝↔¬𝑞𝐹𝑇𝑇𝐹|||| ||||𝑝𝑇𝑇𝐹𝐹𝑞𝑇𝐹𝑇𝐹¬𝑝𝐹𝐹𝑇𝑇¬𝑞𝐹𝑇𝐹𝑇¬𝑝↔𝑞𝐹𝑇𝑇𝐹𝑝↔¬𝑞𝐹𝑇𝑇𝐹|||| ||||𝑝𝑇𝑇𝐹𝐹𝑞𝑇𝐹𝑇𝐹¬𝑝𝐹𝐹𝑇𝑇𝑝↔𝑞𝑇𝐹𝐹𝑇¬(𝑝↔𝑞)𝐹𝑇𝑇𝐹¬𝑝↔𝑞𝐹𝑇𝑇𝐹|||| ───✱*.｡:｡✱*.:｡✧*.｡✰*.:｡✧*.｡:｡*.｡✱ ───