명제와 조건 연습문제 — Sundstrom, Mathematical Reasoning · 2.4절

Sundstrom, Mathematical Reasoning · 2.4절영어 원문

An integer $n$ is a multiple of 3 provided that there exists an integer $k$ such that $n = 3k$ .

Write this definition in symbolic form using quantifiers by completing the following:

An integer

is a multiple of 3 provided that

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

An integer $n$ is a multiple of 3 provided that $\left( \exists k \in \mathbb{Z} \right) \left( n = 3k \right)$ .

한 번 더 — 비슷한 문제Sundstrom, Mathematical Reasoning · 2.1절 · 7번영어 원문

Construct truth tables for $P \wedge \left( {Q \vee R} \right)$ and $\left( {P \wedge Q} \right) \vee \left( {P \wedge R} \right)$ . What do you observe?

다 풀었으면 정답 확인

| $P$ | $Q$ | $R$ | $P \wedge (Q \vee R)$ | $(P \wedge Q) \vee (P \wedge R)$ | | --- | --- | --- | --- | --- | | T | T | T | T | T | | T | T | F | T | T | | T | F | T | T | T | | T | F | F | F | F | | F | T | T | F | F | | F | T | F | F | F | | F | F | T | F | F | | F | F | F | F | F |

The two statements have the same truth table.

이 문제로 이어서 풀기

# 명제와 조건계산자동 분류