真值命題 的英文怎麼說
中文拼音 [zhēnzhímìngtí]
真值命題
英文
truth value of proposition-
Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法,實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出,以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。Some propositions are true for any truth value of their variables. such propositions are called tautology.
某些命題對于變元后的任何一種真值狀況,它均為真,這樣的命題稱為重言式。On truth table ' s judging function in compound assigning a topic
淺析真值表在復合命題中的判定作用The application of implication proposition real value sheet and its defect
蘊涵命題真值表的應用及缺陷Theory of truth degrees in lukasiewicz n - valued propositional logic
值命題邏輯中命題的真度理論Theory of truth degree in lukasiewicz 3 - valued propositional loggic
三值命題邏輯中命題的真度理論Distribution of propositional truth degree in some 3 - value propositional logic systems
幾個三值命題邏輯系統中命題真度的分佈According to the aristotle ' s viewpoint, the language feeling of argument was the appropriate reaction of the interlocutor to how the propositional truth condition was express by the language
摘要在亞里士多德的視野中,論證語感是交往會談者對語言如何表達命題及其真值條件的適當反應。Every logical model defined on the continuous interval [ 0, 1 ] alters continuously following generalized correlative coefficient he [ 0, l ] and generalized self - correlative coefficient he [ 0, l ]. for example fuzzy logic is only one of the exceptions of gl when h = l. firstly, in this paper it is described that gpl and, or and negation operations can be realized mathematics using a few of forms, such as exponential form, polymorphous form and triangular function form
由於在建立命題泛邏輯學時,包含了已知各種命題邏輯的邏輯學要素(如真值域,命題連接詞等) ,而在每一個邏輯學要素中又包含了已知的全部可能性(如從最大負誤差到最大正誤差等) ,所以不僅已知的各種命題邏輯是命題泛邏輯學的特例,而且還可以生成新的命題邏輯。To standardize thi s means of psc inspection and to increase its vitality and to fulfill the purpose of protecting the life at sea & preventing the sea pollution and also to pursue the value of the relative laws of the port state and the international conventions, the thesis made the following research and study : the stardy on the conventions and resolutions of the international maritime organizations, and choosing the relative clauses and content from the convention which is related to the port state control ; summing up the laws and the procedures on which the port state control was based ; conparison on the application and the limitations of the conwentions in deferent port state ; analysis on the technical specifications of the psc inspection ; discussion on the questions met carrying out the psc inspection ; the duties and the rights of the relative parties under the present psc legal systerm ; discussion on the urgency and necessity of the legislation
本文通過對國際海事組織相關的公約和決議的學習,擇取公約中與港口國監督相關的條款和內容;綜合港口國監督的法律依據,港口國監督的程序;比較各公約在港口國監督實施的適用情況、制約性;分析港口國監督檢查的技術規范;探討研究在實施港口國監督過程中遇到的問題;討論目前港口國監督法律體系相關利益群體的權利和義務;論述港口國監督立法的緊迫性和必要性;以期規范這種監督手段,增強生命力,真廳達到保障海人命安全和聽止海洋污染的l ; l的,追求港!囚監督法規及公約等國際法規的價值。The relation between the philosophy and true - life can be outspreaded through such issues as philosophy and demos, philosophy and social practice, truth and value, knowledge and belief, rationality and non - rationality, vision of philosophers
哲學與現實生活的關系可以通過哲學與民眾、哲學與社會實踐、真理與價值、知識與信仰、理性與非理性、哲學家的使命感等問題展開出來。The profound question existing in the current schooling in china is the overlook to the individual life, and the reform on schooling shows the characteristics of segregation and superficiality the statu quo that reflects the great dislocation between value - direction and transition challenges us to have a theoretical study on value - direction in schooling in china
當代中國現有學校教育的深層次問題正是在於對個體生命的忽視,而現有的學校教育改革又體現出分散和流於表面的特徵。這種現狀體現出價值取向與時代轉型間的巨大錯位,迫切需要進行認真的理論研究,以合理地重建當代中國學校教育的價值取向。分享友人