Matematiksel mantık: Revizyonlar arasındaki fark
| [kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
k Bağlantılar |
k →Çok Çözülüm Teorem İspatlama: düzenleme AWB ile |
||
284. satır:
...bir çelişkidir.
Bu yöntemin kullanılabilmesi için, P<sub>1</sub>, ..., P<sub>n</sub> önermelerinin, eşdeğerlik dönüşümleri kullanılarak “birleşimli normal biçim” denilen bir biçime getirilmesi gerekir. Bu biçim
| |||