We’ve updated our Terms of Use to reflect our new entity name and address. You can review the changes here.
We’ve updated our Terms of Use. You can review the changes here.

∀x​¬​∃​y​(​Px​⊃​My)

by First Order Predicate Logic

supported by
/
  • Streaming + Download

    Includes high-quality download in MP3, FLAC and more. Paying supporters also get unlimited streaming via the free Bandcamp app.
    Purchasable with gift card

      name your price

     

1.
PREMISE 02:21
2.
TRUTHVALUE 02:22
3.
NEGATION 01:30
4.
ASSUMPTION 01:06
5.
TRUTHTABLE 02:53
6.
CONDITIONAL 03:56
7.
MODUSPONENS 02:05
8.
9.
REDUCTIO 01:15
10.
CONJUNCTION 01:19
11.
DISJUNCTION 01:15
12.
13.
14.

about

domain-[tracks on this album}
part of a collection - C , containing random sounds - R, containing experiments - E
∀x{Cx&Rx&Ex)

credits

released November 24, 2023

thank you to my friends

license

tags

about

First Order Predicate Logic Orlando, Florida

∀x¬∃y(Px⊃My)
FOPL
AKA hrtdemon

contact / help

Contact First Order Predicate Logic

Streaming and
Download help

Redeem code

Report this album or account

First Order Predicate Logic recommends:

If you like First Order Predicate Logic, you may also like: