User:Jshflynn/Ideas:Tautological sequence

Definition

Vague idea now. Will formalise it later.

Let these be propositional variables:

$v_1, v_2, v_3,...$

Then consider the sequence:

$v_2 \implies v_1, v_3 \implies (v_2 \implies v_1), v_4 \implies (v_3 \implies (v_2 \implies v_1)),...$

The Truth-False ratio of the successive terms approaches 1. That of a tautology.

This then is a tautological sequence and I call the rule:

$x_{n+1} = v_{n+1} \implies x_n$

Something. I don't know yet. Like I said, vague idea.