# LPO Proofs in Two Educational Contexts

### Engelbert Hubbers

#### Abstract

The purpose of this paper is twofold. First, it introduces several styles for constructing and writing down mathematical proofs for a specific technique used in theoretical Computing Science. Second, an inventory of pros and cons of these proof styles is made in two educational contexts, namely whether the proof styles help students in understanding the proofs, and whether the proof styles are practical in both written and digital exams. It turns out that there is no clear winner in both contexts, but the newly introduced so-called shuffled Fitch style is the most practical choice.

Download#### Paper Citation

#### in Harvard Style

Hubbers E. (2021). **LPO Proofs in Two Educational Contexts**. In *Proceedings of the 13th International Conference on Computer Supported Education - Volume 1: CSEDU,* ISBN 978-989-758-502-9, pages 270-278. DOI: 10.5220/0010399402700278

#### in Bibtex Style

@conference{csedu21,

author={Engelbert Hubbers},

title={LPO Proofs in Two Educational Contexts},

booktitle={Proceedings of the 13th International Conference on Computer Supported Education - Volume 1: CSEDU,},

year={2021},

pages={270-278},

publisher={SciTePress},

organization={INSTICC},

doi={10.5220/0010399402700278},

isbn={978-989-758-502-9},

}

#### in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Computer Supported Education - Volume 1: CSEDU,

TI - LPO Proofs in Two Educational Contexts

SN - 978-989-758-502-9

AU - Hubbers E.

PY - 2021

SP - 270

EP - 278

DO - 10.5220/0010399402700278