# Probabilistic combinatory logic

In an ongoing attempt to formulate a Quantum combinatory logic, User:Hppavilion1 started by formulating probabilistic combinatory logic.

## Difference from traditional combinatory logic

Probabilistic combinatory logic adds one new combinator: `τ`. `τ` accepts two arguments via currying and returns one of them at random (with 50/50 probability).

### Derived Combinators

The author's first idea, the `O` combinator was really just stupid: `Oxy=xy|yx`. However, if one needs to use it, it maybe can easily be derived from the `C` combinator from the B,C,K,W system; however, the author is too stupid to figure that out. To define it, you simply need to define the `=xy` combinator that tells if its arguments are equal, then to do some conditionals mumble mumble and voila! You have the R combinator!

## Computational Class

PCL is clearly TC by trivial reduction to combinatory logic; however, additionally, PCL is equivalent to a Probabilistic Turing Machine, if the author is correct, by nature.