0:00
MellomProposisjonslogikkUttrykks Evaluering

Evaluer følgende uttrykk: P → Q når P = sann og Q = usann

P → Q where P = ⊤, Q = ⊥