User:Talanum/sandbox

§Generate Method for Logical Definition

1. Prove notion 2. Use notion, generate connectives 3. Infer using 1,2

Method 2

1. Define in code an generating procedure 2. Work out a system on the reslt 3. If the system is correct, the definition must be valid?

Method 2 i.t.o. Informtion Processing

1. Define in code an generating procedure 2. Write a program on the result 3. If the program is correct the definition must be valid?

Talanum (talk) 23:16, 10 June 2016 (UTC)

((ASAB):CORCRel(AandB)OrCconsNC NC: SimplyOr (AllCA SA AllCB)Or Mod (furtherSA)(OrProgNo Err)): M:TAE