2018.6.64

最新推荐文章于 2020-10-28 19:18:54 发布

swy_swy_swy

最新推荐文章于 2020-10-28 19:18:54 发布

阅读量158

点赞数 1

分类专栏：琉璃神社

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/swy_swy_swy/article/details/106604205

版权

琉璃神社专栏收录该内容

908 篇文章 874 订阅

订阅专栏

2018.6.64

$\sigma \models_{\alpha}Q\qquad(\sigma\cup\alpha)\models_TQ\qquad \sigma~satisfies~Q~under~\alpha$
$\sigma\models Q\qquad \forall \alpha. (\sigma\cup\alpha)\models_TQ\qquad Q~is~valid~in~\sigma$
如果对于所有 $\sigma$ ， $\sigma\models Q$ ，那么我们写作 $\models Q$
在这里插入图片描述

关注

1
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
2018.6.64

2018.6.64σ⊨αQ(σ∪α)⊨TQσ satisfies Q under α\sigma \models_{\alpha}Q\qquad(\sigma\cup\alpha)\models_TQ\qquad \sigma~satisfies~Q~under~\alphaσ⊨αQ(σ∪α)⊨TQσ satisfies Q under ασ⊨Q∀α.(σ∪α)⊨TQQ is valid i
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。