如何用逻辑符号和连接词表达语句 [英] how express the statements with logic symbols and connectives

问题描述

我想将此语句转换为逻辑符号，如：

（a-> b）^（~b）但我不能，请帮助我



a）如果我通过这门课程然后做一个A然后

i通过这门课程，或者我做一个A

b）如果我通过这门课程然后我做了一个A

和

i通过这个课程，我不做A

i want to convert this statements to logic symbol like :
(a->b)^(~b) but i can't,please help me

a) if i pass this course and make an A then
i pass this course or i make an A
b) if i pass this course then i make an A
and
i pass this course and i do not make an A

推荐答案

让

P：通过课程

A：获得A级

let
P: pass the course
A: obtain grade a

a)     P ^ A => P V A
b)    (P => A) ^ (P ^ ~A)

命题逻辑 [ ^ ]

这篇关于如何用逻辑符号和连接词表达语句的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！