2201_75391657 2023-04-16 12:38 采纳率: 50%
浏览 149
已结题

c语言实现量词和全称量词的真值判断

编程实现存在量词和全程量词真值的计算。使用c语言来实现该如何处理,如何去编译

  • 写回答

2条回答 默认 最新

  • threenewbee 2023-04-16 12:44
    关注
    #include <stdio.h>
    #include <stdbool.h>
    #define MAX_LENGTH 1000
    
    // 判断命题中是否包含特定的变量
    bool contains(char* proposition, char var) {
    for (int i = 0; proposition[i] != ‘\0’; i++) {
    if (proposition[i] == var) {
    return true;
    }
    }
    return false;
    }
    
    // 判断一组真值下命题的真假
    bool isTrue(char* proposition, bool* truthValues) {
    for (int i = 0; proposition[i] != ‘\0’; i++) {
    if (proposition[i] >= ‘a’ && proposition[i] <= ‘z’) {
    // 如果是变量,则根据真值数组中该变量对应的值判断
    int index = proposition[i] - ‘a’;
    if (truthValues[index] == false) {
    return false;
    }
    }
    }
    return true;
    }
    
    // 计算存在量词真值
    bool existQuantifier(char* proposition, char var, bool* truthValues) {
    // 先判断命题中是否包含该变量,不包含则返回false
    if (!contains(proposition, var)) {
    return false;
    }
    
    // 枚举该变量的真值,其中存在任意一个真值使得命题为真即返回true
    bool temp[MAX_LENGTH];  // 临时存储一组真值
    for (int i = 0; i < 2; i++) {
        int index = var - 'a';
        truthValues[index] = (bool)i;
        if (isTrue(proposition, truthValues)) {
            return true;
        }
    }
    
    return false;
    }
    
    // 计算全称量词真值
    bool universalQuantifier(char* proposition, char var, bool* truthValues) {
    // 先判断命题中是否包含该变量,不包含则返回true
    if (!contains(proposition, var)) {
    return true;
    }
    
    // 枚举该变量的真值,其中存在任意一个真值使得命题为假即返回false
    bool temp[MAX_LENGTH];  // 临时存储一组真值
    for (int i = 0; i < 2; i++) {
        int index = var - 'a';
        truthValues[index] = (bool)i;
        if (!isTrue(proposition, truthValues)) {
            return false;
        }
    }
    
    return true;
    }
    
    // 测试
    int main() {
    char proposition[MAX_LENGTH];
    scanf("%s", proposition);
    
    bool truthValues[MAX_LENGTH] = { false };
    char quantifier = proposition[0];
    char var = proposition[1];
    
    // 根据量词类型进行真值计算
    switch (quantifier) {
    case 'E':
        if (existQuantifier(proposition + 2, var, truthValues)) {
            printf("True\n");
        } else {
            printf("False\n");
        }
        break;
    case 'A':
        if (universalQuantifier(proposition + 2, var, truthValues)) {
            printf("True\n");
        } else {
            printf("False\n");
        }
        break;
    default:
        printf("Invalid quantifier\n");
        break;
    }
    
    return 0;
    }
    
    
    本回答被题主选为最佳回答 , 对您是否有帮助呢?
    评论
查看更多回答(1条)

报告相同问题?

问题事件

  • 系统已结题 4月25日
  • 已采纳回答 4月17日
  • 创建了问题 4月16日

悬赏问题

  • ¥15 BP神经网络控制倒立摆
  • ¥20 要这个数学建模编程的代码 并且能完整允许出来结果 完整的过程和数据的结果
  • ¥15 html5+css和javascript有人可以帮吗?图片要怎么插入代码里面啊
  • ¥30 Unity接入微信SDK 无法开启摄像头
  • ¥20 有偿 写代码 要用特定的软件anaconda 里的jvpyter 用python3写
  • ¥20 cad图纸,chx-3六轴码垛机器人
  • ¥15 移动摄像头专网需要解vlan
  • ¥20 access多表提取相同字段数据并合并
  • ¥20 基于MSP430f5529的MPU6050驱动,求出欧拉角
  • ¥20 Java-Oj-桌布的计算