编写一个计算机程序，用于判断输入字符串是否为命题公式。（提示：自己确定联结词如何输入和输出） 要求： 1、提交源码或者可执行程序； 2、给出以下输入字符串的输出截图； （1）→，(2)¬(p∧q)→,(3)¬(pq)→r,(4)¬(p∧q)→r),(5)¬(p∧q)→r

为了编写这样一个程序，我们可以使用Python语言，结合正则表达式来解析输入的字符串并判断它是否符合命题公式的结构。首先，我们需要定义一些基本的逻辑符号，如"→"（蕴含）、"¬"（非）以及"∧"（与）。假设用户通过键盘输入，我们将处理单个字母变量名（例如 p, q, r）以及上述逻辑连接符。

下面是一个简单的Python函数示例，该函数接受一个字符串作为输入，并检查其是否符合命题公式的形式。请注意，这个例子仅限于二元逻辑公式，即包含两个操作数和一个逻辑联接符。对于复杂情况，可能需要更全面的解析器。

import re

def is_formula(input_str):
    # 定义逻辑符号
    connectives = ['→', '¬']
    
    # 简单的正则表达式，只适用于最基本的二元逻辑公式
    pattern = r'^(¬)?(\w+)(\s)*(?:(' + '|'.join(connectives) + ')?(\s))*(\w+)$'
    
    # 使用正则表达式匹配
    match = re.match(pattern, input_str)
    
    if not match or len(match.groups()) < 4:
        return False, "输入不符合命题公式的基本结构"
    
    non_clause = match.group(1) == '¬'
    first_term = match.group(2)
    second_term = match.group(5)

    # 如果第二个操作数不存在（例如，只有一个否定），则返回False
    if second_term is None:
        return False, "输入缺少第二个操作数"

    return True, f"{input_str}被认为是命题公式"

# 测试几个例子
inputs = [
    ("→",),
    ("¬(p∧q)→",),
    ("¬(pq)→r",),
    ("¬(p∧q)→r)",),  # 注意结尾的额外括号
]

for input_str, expected_output in inputs:
    result, message = is_formula(input_str)
    if result:
        print(f"{input_str}: {expected_output}")
    else:
        print(f"{input_str}: {message}")

运行此程序，你会得到每个测试输入的验证结果。然而，这只是一个非常基础的版本，实际应用中可能需要考虑更多的细节，如变量名称的有效性、优先级规则等。如果你需要提交源代码或截图，你需要在一个环境里运行代码，然后截取相应的输出部分。