《离散数学课件》命题逻辑1.pptVIP

命题符号化 例2. 将下列命题符号化： （1）李明是计算机系的学生，他住在312室或313室。 （2）张三和李四是朋友。 （3）虽然交通堵塞，但是老王还是准时到达了车站。 （4）只有一个角是直角的三角形才是直角三角形。 （5）老王或小李中有一个去上海出差。 命题符号化 解：（1）首先用字母表示简单命题。 P：李明是计算机系的学生。 Q：李明住在312室。 R：李明住在313室。 该命题符号化为：P?（(?Q ∧ R) ∨ (Q ∧?R)） （2）张三和李四是朋友。是一个简单句 该命题符号化为：P 命题符号化 （3）虽然交通堵塞，但是老王还是准时到达了车站。 P：交通堵塞。 Q：老王准时到达了车站。 该命题符号化为：P?Q （4）只有一个角是直角的三角形才是直角三角形。 P：三角形的一个角是直角。 Q：三角形是直角三角形。 该命题符号化为：?P? ?Q 或 Q ?P 命题符号化 首先用字母表示简单命题。 P：老王去上海出差。 Q：小李去上海出差。 该命题符号化为：（P??Q）?（?P?Q）或者（P ? Q） ? ? （P?Q） 数理逻辑是计算理论的基础，而计算理论又是计算机科学的核心基础，在编译原理，复杂性分析中有广泛的应用；另外，数理逻辑也是形式语言，程序设计方法，机器证明，人工智能等学科的基础。 吴文俊, 1919年5月12日出生，数学家。毕业于交通大学，19