Logipedia-Jumb

connectives.equal_leibniz

connectives.refl_equal

connectives.match_ex_prop

connectives.ex_intro

connectives.match_Or_prop

connectives.or_intror

connectives.or_introl

connectives.match_And_prop

connectives.conj

connectives.Not_ind

connectives.nmk

connectives.falsity

connectives.I

connectives.equal

connectives.ex

connectives.Or

connectives.And

connectives.Not

connectives.False

connectives.True