:: Propositional Calculus for Boolean Valued Functions, II
:: by Shunichi Kobayashi and Yatsuka Nakamura
::
:: Received March 13, 1999
:: Copyright (c) 1999 Association of Mizar Users
theorem :: BVFUNC_6:1
theorem :: BVFUNC_6:2
theorem :: BVFUNC_6:3
theorem :: BVFUNC_6:4
theorem :: BVFUNC_6:5
theorem :: BVFUNC_6:6
theorem :: BVFUNC_6:7
theorem :: BVFUNC_6:8
theorem :: BVFUNC_6:9
theorem :: BVFUNC_6:10
theorem :: BVFUNC_6:11
theorem :: BVFUNC_6:12
theorem :: BVFUNC_6:13
theorem :: BVFUNC_6:14
theorem :: BVFUNC_6:15
theorem :: BVFUNC_6:16
theorem :: BVFUNC_6:17
theorem :: BVFUNC_6:18
theorem :: BVFUNC_6:19
theorem :: BVFUNC_6:20
theorem :: BVFUNC_6:21
theorem :: BVFUNC_6:22
theorem :: BVFUNC_6:23
theorem :: BVFUNC_6:24
canceled;
theorem :: BVFUNC_6:25
theorem :: BVFUNC_6:26
theorem :: BVFUNC_6:27
theorem :: BVFUNC_6:28
theorem Th29: :: BVFUNC_6:29
theorem :: BVFUNC_6:30
theorem :: BVFUNC_6:31
theorem :: BVFUNC_6:32
theorem :: BVFUNC_6:33
theorem :: BVFUNC_6:34
theorem :: BVFUNC_6:35
theorem :: BVFUNC_6:36
theorem Th37: :: BVFUNC_6:37
theorem :: BVFUNC_6:38
theorem :: BVFUNC_6:39
theorem :: BVFUNC_6:40
theorem :: BVFUNC_6:41
theorem :: BVFUNC_6:42
theorem Th43: :: BVFUNC_6:43
theorem :: BVFUNC_6:44
theorem :: BVFUNC_6:45
theorem :: BVFUNC_6:46
theorem :: BVFUNC_6:47