:: Propositional Calculus for Boolean Valued Functions, I
:: by Shunichi Kobayashi and Yatsuka Nakamura
::
:: Received March 13, 1999
:: Copyright (c) 1999 Association of Mizar Users
theorem :: BVFUNC_5:1
theorem Th2: :: BVFUNC_5:2
theorem :: BVFUNC_5:3
theorem :: BVFUNC_5:4
canceled;
theorem :: BVFUNC_5:5
theorem :: BVFUNC_5:6
theorem :: BVFUNC_5:7
theorem :: BVFUNC_5:8
theorem :: BVFUNC_5:9
theorem :: BVFUNC_5:10
theorem :: BVFUNC_5:11
theorem :: BVFUNC_5:12
theorem :: BVFUNC_5:13
theorem :: BVFUNC_5:14
theorem Th15: :: BVFUNC_5:15
theorem Th16: :: BVFUNC_5:16
theorem :: BVFUNC_5:17
theorem :: BVFUNC_5:18
theorem :: BVFUNC_5:19
theorem :: BVFUNC_5:20
theorem :: BVFUNC_5:21
theorem Th22: :: BVFUNC_5:22
theorem :: BVFUNC_5:23
theorem :: BVFUNC_5:24
theorem :: BVFUNC_5:25
theorem Th26: :: BVFUNC_5:26
theorem :: BVFUNC_5:27
theorem :: BVFUNC_5:28
theorem :: BVFUNC_5:29
theorem :: BVFUNC_5:30
theorem :: BVFUNC_5:31
theorem :: BVFUNC_5:32
theorem :: BVFUNC_5:33
theorem :: BVFUNC_5:34
theorem :: BVFUNC_5:35
theorem :: BVFUNC_5:36
theorem :: BVFUNC_5:37
theorem :: BVFUNC_5:38
theorem :: BVFUNC_5:39
theorem :: BVFUNC_5:40
theorem :: BVFUNC_5:41