명제

참과 거짓을 구별할 수 있는 문장이나 수학적 식

진리값(truth value) : 참(True, T) / 거짓(False, F)

예 :

✅ 6은 2의 배수다.

✅ 2 + 3 = 7

❌ x + 2 = 0 (참/거짓 판별 불가)

❌철수는 공부를 잘한다.

명제의 종류

합성명제

compound proposition,

하나 이상의 명제와 논리연산자가 결합되어 만들어진 명제

논리연산(logical operation)

참 거짓을 구별할 수 있는 명제를 대상으로 하는 연산

논리 연산자 : logical operator

: 논리연산의 기호

논리합(∨, or연산, disjunction)

연결된 명제중 하나 이상의 참이 있을경우 참,

모두 거짓일 경우 거짓.

‘또는’의 의미.

자바에서의 ||

p=T, q=F ⇒ p ∧ q = T

p: 3>1 / q: 4>8 이라고 할 때, p and q = ?

• image source: https://courses.lumenlearning.com/frontrange-mathforliberalartscorequisite1/chapter/1-7-truth-tables-negation-conjunction-disjunction/

논리곱(∧, and연산, conjunction)

연결된 명제들이 모두 참일경우 참,

하나의 거짓이 있을 경우 거짓.

‘그리고’의 의미.

자바에서의 &&

p:홀수와 홀수를 더하면 짝수이다.