ðŸŠī Notes

Homework 4

2 min read

Course: CSCI 1260

Module 8

    • a.||||𝑝𝑇𝑇ðđðđ𝑞𝑇ðđ𝑇ðđ𝑝∧𝑞𝑇ðđðđðđ(𝑝∧𝑞)→𝑝𝑇𝑇𝑇𝑇||||
    • b.||||𝑝𝑇𝑇ðđðđ𝑞𝑇ðđ𝑇ðđ𝑝âˆĻ𝑞𝑇𝑇𝑇ðđ𝑝→(𝑝âˆĻ𝑞)𝑇𝑇𝑇𝑇||||
    • c.||||𝑝𝑇𝑇ðđðđ𝑞𝑇ðđ𝑇ðđŽ𝑝ðđðđ𝑇𝑇𝑝→𝑞𝑇ðđ𝑇ðđŽ𝑝→(𝑝→𝑞)𝑇𝑇𝑇𝑇||||
    • d.||||𝑝𝑇𝑇ðđðđ𝑞𝑇ðđ𝑇ðđ𝑝∧𝑞𝑇ðđðđðđ𝑝→𝑞𝑇ðđ𝑇𝑇(𝑝∧𝑞)→(𝑝→𝑞)𝑇𝑇𝑇𝑇||||
    • e.||||𝑝𝑇𝑇ðđðđ𝑞𝑇ðđ𝑇ðđ𝑝→𝑞𝑇ðđ𝑇𝑇Ž(𝑝→𝑞)ðđ𝑇ðđðđÂŽ(𝑝→𝑞)→𝑝𝑇𝑇ðđðđ||||
    • f.||||𝑝𝑇𝑇ðđðđ𝑞𝑇ðđ𝑇ðđ𝑝→𝑞𝑇ðđ𝑇𝑇Ž(𝑝→𝑞)ðđ𝑇ðđðđÂŽ(𝑝→𝑞)→Ž𝑞𝑇ðđ𝑇𝑇||||
    • ||||𝑝𝑇𝑇ðđðđ𝑞𝑇ðđ𝑇ðđŽ𝑝ðđðđ𝑇𝑇Ž𝑞ðđ𝑇ðđ𝑇𝑝→𝑞𝑇ðđ𝑇𝑇Ž𝑞∧(𝑝→𝑞)ðđðđðđ𝑇(Ž𝑞∧(𝑝→𝑞))→Ž𝑝𝑇𝑇𝑇𝑇|||| → Tautology
    • ||||𝑝𝑇𝑇ðđðđ𝑞𝑇ðđ𝑇ðđŽ𝑞ðđ𝑇ðđ𝑇𝑝↔𝑞𝑇ðđðđ𝑇Ž(𝑝↔𝑞)ðđ𝑇𝑇ðđ𝑝↔Ž𝑞ðđ𝑇𝑇ðđ||||
    • ||||𝑝𝑇𝑇ðđðđ𝑞𝑇ðđ𝑇ðđŽ𝑝ðđðđ𝑇𝑇Ž𝑞ðđ𝑇ðđ𝑇Ž𝑝↔𝑞ðđ𝑇𝑇ðđ𝑝↔Ž𝑞ðđ𝑇𝑇ðđ||||
    • ||||𝑝𝑇𝑇ðđðđ𝑞𝑇ðđ𝑇ðđŽ𝑝ðđðđ𝑇𝑇𝑝↔𝑞𝑇ðđðđ𝑇Ž(𝑝↔𝑞)ðđ𝑇𝑇ðđŽ𝑝↔𝑞ðđ𝑇𝑇ðđ||||

Graph View