翻译成英语

Posted 2023-04-05

结构化布线 智能建筑技术实训 数据库原理及技术 IT项目管理 通信技术 多媒体技术/流媒体技术实训 CISCO认证网络技术 CISCO认证网络技术实训 金工实习

结构化布线 structured cabling
智能建筑技术实训 Intelligence Building technology Comprehensive Practice and training
数据库原理及技术 Principles and techniques of the database
IT项目管理 IT Project Management
通信技术 communication technique
多媒体技术/流媒体技术实训 multimedia technology/ Streaming Media Technology Comprehensive Practice and training
CISCO认证网络技术 Cisco Certified Network Technology
CISCO认证网络技术实训 Cisco Certified Network Technology Practice and training
金工实习 metalworking practice
我是最佳的拉 参考技术A structural outlines
intelligent construction technology practice
data base priciple and technology
IT project management
communication technology
multimedia technology/flow media technology practice
CISCO certified network technology
CISCO certified network technology practice
metalworking practice 参考技术B 结构化布线 structured cabling
智能建筑技术实训 Intelligence Building technology Comprehensive Practice and training
数据库原理及技术 Principles and techniques of the database
IT项目管理 IT Project Management
通信技术 communication technique
多媒体技术/流媒体技术实训 multimedia technology/ Streaming Media Technology Comprehensive Practice and training
CISCO认证网络技术 Cisco Certified Network Technology
CISCO认证网络技术实训 Cisco Certified Network Technology Practice and training
金工实习 metalworking practice
请参考！ 参考技术C 结构化布线 Structured Cabling
智能建筑技术实训 Intelligent Building Technology Training
数据库原理及技术 Principle & technology of Database
IT项目管理 IT Project Management
通信技术 communications technology
多媒体技术/流媒体技术实训 Multimedia Technology / Stream Media Technology Training
CISCO认证网络技术 CISCO Certified Network Technology
CISCO认证网络技术实训 CISCO Certified Network Technology Training
金工实习 Metalworking Practice

不太好翻译基本应该是没错的

将英语句子翻译成谓语 wff

【中文标题】将英语句子翻译成谓语 wff

【英文标题】：Translate English sentence into predicated wff

【发布时间】：2021-05-26 01:09:49

【问题描述】：

我有一个学校作业，需要将英文句子翻译成谓词逻辑。

问题是“苹果不是芒果。”

域是整个世界，M(x)表示x是芒果，A(x)表示x是苹果，F(x)表示x是水果。

我想出的答案是“(∀x)[F(x)∧(A(x)⟶[M(x)]′)]” 但是有人这样回答。

"(∀x)[F(x)⟶(A(x)⟶[M(x)]′)]"

第二个答案会是“每一个苹果不是芒果”这句话的有效翻译吗？

【参考方案1】：

两者都是正确的。您实际上是在问：

A -> (B -> C)

相当于：

(A /\ B) -> C

如果你将真值表制成表格，你会发现这两个命题总是等价的。