If sequence of state matters, it's temporal logic...
所有跟贴·加跟贴·新语丝读书论坛http://www.xys.org/cgi-bin/mainpage.pl
送交者: Dominatus 于 2005-4-15, 08:48:22:
回答: 这跟时序逻辑有关系吗,晕 由 feiyue999 于 2005-4-15, 08:13:19:
Even if you change to boxes, box A has to be opened *before* box B in order for your first logic to work, so it's temporal logic.
所有跟贴:
- thanks,but - feiyue999 (118 bytes) 2005-4-15, 09:00:22
- 换句话说吧。 - bluesea (272 bytes) 2005-4-15, 09:16:48
加跟贴
所有跟贴·加跟贴·新语丝读书论坛http://www.xys.org/cgi-bin/mainpage.pl