:: Propositional Calculus For Boolean Valued Functions, IV
:: by Shunichi Kobayashi
::
:: Received April 23, 1999
:: Copyright (c) 1999 Association of Mizar Users
theorem :: BVFUNC_8:1
theorem :: BVFUNC_8:2
theorem :: BVFUNC_8:3
theorem :: BVFUNC_8:4
theorem :: BVFUNC_8:5
theorem :: BVFUNC_8:6
theorem :: BVFUNC_8:7
theorem :: BVFUNC_8:8
theorem :: BVFUNC_8:9
theorem :: BVFUNC_8:10
theorem :: BVFUNC_8:11
theorem :: BVFUNC_8:12
theorem :: BVFUNC_8:13
theorem :: BVFUNC_8:14
theorem :: BVFUNC_8:15
theorem :: BVFUNC_8:16
theorem :: BVFUNC_8:17
theorem Th18: :: BVFUNC_8:18
theorem :: BVFUNC_8:19
theorem :: BVFUNC_8:20
theorem :: BVFUNC_8:21
theorem :: BVFUNC_8:22
theorem :: BVFUNC_8:23
theorem :: BVFUNC_8:24
theorem :: BVFUNC_8:25
theorem :: BVFUNC_8:26
theorem :: BVFUNC_8:27
theorem :: BVFUNC_8:28
theorem :: BVFUNC_8:29