head(tail(head(LS)))
从广义表LS=(（p,q）,r,s)中分解出原子q的运算是?
1个回答
相关问题
-
广义表 LS= ((a,b),((d),e,f)) 中取出原子d的运算是
-
(¬(p → (((¬q) ∧ r)) ∨ ((¬p ∨ r) ∧ (q ∧s))))
-
/p-r/=10 /p-s/=12 /q-s/=9 求/q-r/=?已知q>p r>s s>r>q>p 注意:/ /表示
-
证明：（P->(Q->R)）∧（﹁S∨P）∧Q=>(S->R)
-
离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
-
证明 （P∨Q）∧(P→R) ∧(Q→S) 1-S∨R
-
试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R
-
急等：证明：P→┐ Q,P→R,R→┐ S=>S→ ┐Q
-
S>P;P+R>Q+S;P+S>Q+R求四者关系
-
证明 前提:p→(┐(r∧s)→┐q),p,┐s 结论:┐q