Wi weta af den formella logiken , hwad in»