{-# OPTIONS --cubical-compatible #-}
module Padova2025-zh-TW.ProvingBasics.Connectives where

邏輯連接詞#

import Padova2025-zh-TW.ProvingBasics.Connectives.Disjunction
import Padova2025-zh-TW.ProvingBasics.Connectives.Existential
import Padova2025-zh-TW.ProvingBasics.Connectives.Conjunction
import Padova2025-zh-TW.ProvingBasics.Connectives.More