if anyone has done a logic proof in geometry or discrete math, this example is exactly like that!! P OR Q, P implies Q, that type of stuff!

hi there fellow students ◡̈ live in nyc queens area as well and am super interested, would love a link as well!