2025 Matematika diskrit #4 Tautologi, Kontradiksi, Subtitusi dan Ekuivalensi