MyWikiBiz, Author Your Legacy — Sunday May 05, 2024
Jump to navigationJump to search
4 bytes added
, 03:04, 9 November 2015
Line 5: |
Line 5: |
| ==Propositional forms on two variables== | | ==Propositional forms on two variables== |
| | | |
− | By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions of concrete type <math>X \times Y \to \mathbb{B}</math> and abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}</math> in a number of different languages for zeroth order logic. | + | By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions of concrete type <math>X \times Y \to \mathbb{B}\!</math> and abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}\!</math> in a number of different languages for zeroth order logic. |
| | | |
| <br> | | <br> |