# Some Formulas Involving Quantifiers and Propositional Connections

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

This Demonstration shows some relations among formulas that contain quantifiers and propositional connections. For instance, can be true, while can be false.

Contributed by: Izidor Hafner (April 2018)

Open content licensed under CC BY-NC-SA