学堂在线西南科技大学数理逻辑(2021秋)单元测验题答案

• 设p:天晴，q:小王去踢足球。“张华去踢足球仅当天晴的时候.”可符号化为：p®q 2022-01-12
• 设p:天晴，q:小王去踢足球。“因为天晴，所以张华去踢足球.”可符号化为：q®p。 2022-01-12
• 永真式的否定一定是( ) A永真式 B永假式 C可满足式 D重言式能 2022-01-12
• 设P:天晴,Q:我去打球,则命题“若天晴,则我不去打球”可符号化为(    )。 2022-01-12