(∀x)A→A

Důkaz

Dle schematu specifikace

(∀x)A→Ax[t]

Nic mi nebrání za term t zvolit x (proměnná x určitě nemá v A volný výskyt)

(∀x)A→Ax[x]

(∀x)A→A

QED

 
x_a_-_a.txt · Last modified: 2006/04/29 18:14 by 85.160.38.83
 
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki