Welcome to PropLog

Here you must decide, whether a argument, randomly generated by the system, is valid or invalid. The argument will appear when you click the leftmost button named 'New argument'.

Then you must decide whether the argument is valid or invalid, and indicate your decision by using the buttons named 'Valid' and 'Invalid'.

Click the button named 'Start over', if you wish to start over.