338tv专题页：整合338tv最新版、无删减版、高清版等多版本资源入口，手机电脑均可访问。
338tv使用体验
从用户反馈看，338tv的资源清晰度评价普遍不错。
* 2017年：MBC《守望者》饰演 李冠宇／长岛悍
* 2018年：tvN《Live》饰演 崔明浩
* 2018年：MBC《大长今在看著》饰演 韩山海
不少用户在问338tv到底好不好用，这里把338tv的实际情况整理了一下。
相关阅读：申东旭
338tv最新版本更新
需要提醒的是，搜索338tv时注意辨别钓鱼链接，认准页面特征。
* 「使部」左右各15人（原本左右为各30人，后缩减至各15人）
坊令，该官职定员为左右各12名，负责管理平安京内每个「条」区域，每条下辖3-4个町（一条、二条左右各只有3个町）。平安京总共18条，左右各9条，其中皇宫（大内里）两侧的一条和二条，这两条左右京加起来都有5名坊令。
坊长，该官职定员为左右各35名，负责管理平安京内每个「坊」区域。
关于338tv的常见问题，我们整理了避坑清单放在下面。
相关阅读：京职
338tv最新版本更新
338tv访问入口的资源整理在下面，可以直接对照挑选。
在多数有良好行为的逻辑中，切作为推理规则不是必需的，尽管它仍是可证明为一个元定理；切规则的多余通常表现为一个计算过程，叫做“切除去”。这是自然演绎的一个有趣的应用；通常直接在自然演绎中证明特定性质是非常冗长的，因为有无限制数目的情况。例如，考虑证明给定的命题在自然演绎中是不可证明的。一个简单归纳论证将失败，因为规则如 ∨E 或 E，它们介入了任意的命题。但是，我们知道相继式演算关于自然演绎是完备的，所以在自然演绎中证明这中不可证明性就足够了。现在如果切不能获得为一个推理规则，则所有相继式规则要么介入一个连结词于右侧要么于左侧，所以相继式推导的深度完全受限于在最终结论中的连结词。所以，证明不可证明性是非常容易的，因为只有有限数目的情况要考虑，而每个情况都完全由结论的子公式组成的。一个简单的实例是“全局一致性”定理:“true”是不可证明的。在相继式演算中，这明显为真，因为没有规则可以有“”作为结论! 由于这个性质，证明论学者经常偏好免切相继式演算公式化。
* Jon Barwise and John Etchemendy, 2000. Language Proof and Logic. CSLI (University of Chicago Press) and New York: Seven Bridges Press. A gentle introduction to first-order logic via natural deduction, by two first rate logicians.
* Translated and with appendices by Paul Taylor and Yves Lafont.
338tv同类的还有好几个替代品，本文后面会给到对比。
相关阅读：在数理逻辑中