Logiceasy
0:00.0

The statement PlornegPP \\lor \\neg P is an example of: