Tautologi (logika): Perbedaan antara revisi
Konten dihapus Konten ditambahkan
←Membuat halaman berisi 'Dalam logika matematika, '''tautologi''' adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Hal ini dapat dibuktikan menggunakan [[tabel ke...' |
merapikan tabel |
||
Baris 4:
{| class="wikitable" style="text-align:center;"
|- style="background:paleturquoise"
|style="width:30px"|''p''
|style="width:30px"|''q''
|style="width:30px"|~''p''
|style="width:30px"|~''q''
|style="width:45px"|''p'' → ''q''
|style="width:90px"|(''p'' → ''q'') ∧ ~''q''
|style="width:125px"|[(''p'' → ''q'') ∧ ~''q''] → ~''p''
|-
|B
| |||