10. Tautologi

Tautologi

Semua pernyataan tautologous adalah benar secara logika , tapi tidak semua yang secara logika benar adalah tautologous. Contoh : dimana \phi ,\psi , dan \chi adalah setiap pernyataan , maka \ulcorner\phi\supset\psi\cdot\psi\supset\chi\cdot\vee\cdot\chi\supset\psi\urcorner adalah tautologous dengan membentuk table 1 dan menyelidiki kolom ke 8. \ulcorner\phi\supset\psi\cdot\supset\phi{\text{:}}\equiv\phi\urcorner diketemukan tautulogous dengan membentuk Tabel 2 dan menyelidiki kolom ke enam.\ulcorner\phi\vee\sim\phi\urcorner diketemukan tautologous dengan Tabel 4 kolom ke 2..

tauto-7207201.jpg

Iklan