A Simple Proof of McNaughton Theorem

TL;DR

This paper presents a straightforward proof of McNaughton Theorem, demonstrating its independence from Chang's completeness theorem and simplifying the understanding of the theorem.

Contribution

It provides a simple, almost definition-based proof of McNaughton Theorem, clarifying its foundational aspects.

Findings

Proof of McNaughton Theorem is simpler than previous proofs.

Theorem does not depend on Chang's completeness theorem.

Clarifies the foundational basis of McNaughton Theorem.

Abstract

In this note we exhibit a very simple proof of McNaughton Theorem, almost right out of the definitions, and at the same time we observe that this theorem does not depend of Chang's completeness theorem.