명제와 조건 연습문제 — Sundstrom, Mathematical Reasoning · 2.2절 · 7b번

Sundstrom, Mathematical Reasoning · 2.2절 · 7b번영어 원문

Use previously proven logical equivalencies to prove each of the following logical equivalencies about conditionals with conjunctions:

$\left[ {P \to \left( {Q \wedge R} \right)} \right] \equiv \left( {P \to Q} \right) \wedge \left( {P \to R} \right)$

정답·풀이 보기 (영어 원문)

In this case, we start with the left side.

$\begin{aligned}\left[ P \to \left( Q \wedge R \right) \right] & \equiv \neg P \vee \left( Q \wedge R \right) \\ & \equiv \left( \neg P \vee Q \right) \wedge \left( \neg P \vee R \right) \\ & \equiv \left( P \to Q \right) \wedge \left( P \to R \right)\end{aligned}$

한 번 더 — 비슷한 문제Sundstrom, Mathematical Reasoning · 1.1절 · 1i번영어 원문

Which of the following sentences are statements?

$1 + \tan ^2 \theta = \sec ^2 \theta$ .

다 풀었으면 정답 확인

This is not a statement.

이 문제로 이어서 풀기

# 명제와 조건증명·논술자동 분류