一阶逻辑

基本概念

量词

字母约定表
及谓词公式

换名规则

公式的解释

逻辑有效式
&矛盾式

等值式与量词
否定等值式

量词辖域收缩与
扩张等值式

量词分配等值式

前束范式

Advertisements

发表评论

Fill in your details below or click an icon to log in:

WordPress.com 徽标

You are commenting using your WordPress.com account. Log Out /  更改 )

Google+ photo

You are commenting using your Google+ account. Log Out /  更改 )

Twitter picture

You are commenting using your Twitter account. Log Out /  更改 )

Facebook photo

You are commenting using your Facebook account. Log Out /  更改 )

w

Connecting to %s

在 WordPress.com 上创建您自己的网站
开始
%d 博主赞过:
search previous next tag category expand menu location phone mail time cart zoom edit close