Satisfibility of the logicalformula is that meaning set corresponding to it is not empty.
公式的可满足性是其相应断言的意义集不空。
2
His writing charm does not lie in the arid logicalformula, but is the life intuition (for example Thus Spoke Zarathustra );
他的文字魅力不在于枯燥的逻辑公式，而是生命的直觉（如《查拉图斯特拉如是说》）；
3
It seems like a logical extension of that formula to three assets and you can easily see how to extend it to four or more assets, it's just the logical extension of that.