下载APP
【简答题】
在自然推理系统F中构造下面推理的证明
前提：
x（F（x）→（G（a）∧R（x））），
xF（x）
结论：
x（F（x）∧R（x））
参考答案：
参考解析：
刷刷题刷刷变学霸
举一反三
【单选题】在自然推理系统N L 中,若有前提: x(F(x)→G(x)), x(F(x)∧H(x)),则以下结论正确的是( )。
A.
G(x)
B.
H(x)
C.
xF(x)
D.
x(G(x)∧H(x))
【多选题】建筑幕墙防火构造技术要求有( )。
A.
幕墙与各层楼板之间的缝隙，应采用岩棉或矿模等材料填充，其厚度不应小于100mm
B.
防火层应采用厚度不小于1.2mm的镀锌钢板承托
C.
承托板与主体结构、幕墙结构及承托板之间的缝隙应采用防火密封胶密封
D.
同一幕墙玻璃单元不应跨越两个防火分区
E.
防火层可与幕墙玻璃直接接触，但防火材料朝玻璃面处应采用装饰材料覆盖
【多选题】窗的构造尺寸应包括预留洞口与待安装窗框的间隙及墙体饰面材料的厚度。下列间隙中符合的有（）mm。
A.
清水墙10
B.
墙体外饰面抹水泥砂浆或贴马赛克15~20
C.
墙体外饰面贴釉面瓷砖5~10
D.
墙体外饰面贴釉面瓷砖20~25
E.
墙体外饰面贴大理石或花岗岩板40~50