resolution 決議 在显示器可以被显示，被表示为垂直的映像点，即映像点的最大数字， 1024x768的水平的映像点x数字的数字。 比水平与垂直分辨率通常是4:3，和一样那常规电视机。 2. 一个机械方法为证明第一命令逻辑的声明， 1965年介绍被J.A.鲁宾逊。 决议在句子被申请于二个条目。 它由统一消灭，发生“正面”在一个和“阴性”在导致一个新的条目的其他的印刷错误， resolvent。 例如给出句子： manX => mortalX和mansocrates。 逐字“manX”是“阴性”。 因此逐字“mansocrates”能认为在退化涵义真实的=> mansocrates的右边并且是“正面”。 二印刷错误可以由捆绑x成一体= socrates。 实情表为涵义作用是A | B | => B --+---+------- F | F | T F | T | T T | F | F T | T | T仅涵义出故障，如果它的前提是真实的，但是它的结论是错误的。 从此我们能看A =>是的B ==不是A或B为什么涵义的左手边被认为阴性和正确的正面。 上面句子可能因而被写mansocrates或mortalsocrates和mansocrates不是分布和或给mansocrates和mansocrates或者不是mortalsocrates和mansocrates和从A和不是A ==错误，并且错误或A ==我们可以简化对正义mortalsocrates和mansocrates的A，因此我们证明了新的印刷错误， mortalsocrates。 决议以回溯是序幕基本控制机制。 参见方法ponens， SLD决议。 3. 地址转换。
Related words decision determination document harmony music preparation purpose resolve
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
