:: Propositional Calculus for Boolean Valued Functions, {VII }
:: by Shunichi Kobayashi
::
:: Received February 6, 2003
:: Copyright (c) 2003 Association of Mizar Users
theorem :: BVFUNC25:1
theorem Th2: :: BVFUNC25:2
theorem Th3: :: BVFUNC25:3
theorem :: BVFUNC25:4
theorem Th5: :: BVFUNC25:5
theorem :: BVFUNC25:6
theorem :: BVFUNC25:7
theorem :: BVFUNC25:8
theorem :: BVFUNC25:9
theorem :: BVFUNC25:10
theorem :: BVFUNC25:11
theorem :: BVFUNC25:12
theorem :: BVFUNC25:13
theorem :: BVFUNC25:14
theorem :: BVFUNC25:15
theorem Th16: :: BVFUNC25:16
theorem Th17: :: BVFUNC25:17
theorem :: BVFUNC25:18
theorem :: BVFUNC25:19
theorem :: BVFUNC25:20
theorem :: BVFUNC25:21
theorem Th22: :: BVFUNC25:22
theorem :: BVFUNC25:23
theorem :: BVFUNC25:24
theorem :: BVFUNC25:25
theorem :: BVFUNC25:26
theorem :: BVFUNC25:27
theorem :: BVFUNC25:28
theorem :: BVFUNC25:29
theorem :: BVFUNC25:30
theorem :: BVFUNC25:31
theorem :: BVFUNC25:32
theorem Th33: :: BVFUNC25:33
theorem :: BVFUNC25:34
theorem :: BVFUNC25:35
theorem :: BVFUNC25:36
theorem :: BVFUNC25:37
theorem :: BVFUNC25:38
theorem :: BVFUNC25:39
theorem :: BVFUNC25:40
theorem :: BVFUNC25:41
theorem :: BVFUNC25:42
theorem :: BVFUNC25:43
theorem :: BVFUNC25:44
theorem :: BVFUNC25:45
theorem :: BVFUNC25:46
theorem :: BVFUNC25:47