模态逻辑的法文

logique madale

• 模:    名 moule;matrice;fo ...
• 模态:    modalité modal mod ...
• 态:    名 1.forme;apparenc ...
• 逻:    动 patrouiller;fair ...
• 逻辑:    名 logique logique
• 辑:    动

例句与用法

1. La sémantique de la valeur de vérité a été préconisée par Ruth Barcan Marcus pour les logiques modales au début des années 1960 et a plus tard été défendue par Dunn, Belnap et Leblanc pour la logique du premier ordre standard.
   真值语义 (也称为“代换量化”)是 Ruth Barcan Marcus 在1960年代早期为模态逻辑提倡的，后来 Dunn、Belnap 和 Leblanc 把它拥戴到标准一阶逻辑。