이산수학 기호 '├' 의미 문의드립니다

Question

안녕하세요 컴공과 1학년입니다.

이산수학 공부하고 있는데 '├' 기호가 어떤 의미인지 알려주실 분 계시나요..??

인터넷 검색해도 안나와서 문의드립니다.

'그러므로', '따라서'라는 뜻일까요?

미리 감사드립니다.

Magritte · Answer

논리학에서 증명이나 결론을 나타내는 데 사용됩니다. 이 기호는 "provable"을 의미하며, 특정 논리적 구조 내에서 어떤 명제가 증명될 수 있다는 것을 나타냅니다. 예를 들어, 'A ├ B'는 "A에서 B가 증명될 수 있다" 혹은 "A를 가정하면 B가 따른다"는 뜻으로 해석할 수 있습니다.

따라서, '그러므로'나 '따라서'와 비슷한 의미를 내포하고 있긴 하지만, 논리학에서는 보다 구체적인 증명 가능성을 나타내는 용어로 사용됩니다.

캐티 · Answer

p → q, q ⇒ p

이 식은 "p가 참이면 q가 참이고, q가 참이면 p가 참이다"라는 의미를 가집니다.

라고 하는데요 ..

1. 논리합 (OR): ∨

2. 논리곱 (AND): ∧

3. 부정 (NOT): ¬

4. 조건문 (IF-THEN): →

5. 이중부정 (DOUBLE NEGATION): ◊

6. 임의성 (ANY): ∃

7. 필수성 (ALL): ∀

8. 역 (CONTRARY): ⊥

9. 모순 (CONTRADICTION): ⊗

10. 논리합성 (LOGICAL DISJOINTION): ⊔

11. 논리배타적논리합 (LOGICAL EXCLUSIVE OR): ⊕

1. "만약-그럼"을 나타내는 조건부 논리 연산자 "⇒" (implies):

p → q, q ⇒ p

이 식은 "p가 참이면 q가 참이고, q가 참이면 p가 참이다"라는 의미를 가집니다.

2. "만약-그럼"을 나타내는 조건부 논리 연산자 "⇔" (if and only if):

p → q, q ⇔ p

이 식은 "p가 참이면 q가 참이고, q가 참이면 p가 참이다"라는 의미를 가집니다.

3. "또는"을 나타내는 논리 연산자 "∨" (or):

p → q, q ∨ p

이 식은 "p가 참이거나 q가 참이다"라는 의미를 가집니다.

4. "그리고"를 나타내는 논리 연산자 "∧" (and):

p → q, q ∧ p

이 식은 "p가 참이고 q가 참이다"라는 의미를 가집니다.

5. "또는"을 나타내는 논리 연산자 "∨" (or)와 "그리고"를 나타내는 논리 연산자 "∧" (and)를 조합한 논리 연산자 "∨∧" (or and):

p → q, q ∨∧ p

이 식은 "p가 참이거나 q가 참이거나 둘 다 참이다"라는 의미를 가집니다.

1. "또는"을 나타내는 논리 연산자 "∨" (or)와 "그리고"를 나타내는 논리 연산자 "∧" (and)를 조합한 논리 연산자 "∧∨" (and or):

p → q, q ∧∨ p

이 식은 "p가 참이거나 q가 참이거나 둘 다 참이다"라는 의미를 가집니다.

2. "만약-그럼"을 나타내는 조건부 논리 연산자 "→" (implies)와 "그리고"를 나타내는 논리 연산자 "∧" (and):

p → q, q ∧ (p → r)

이 식은 "p가 참이면 q가 참이고, p가 참이면 r도 참이다"라는 의미를 가집니다.

3. "만약-그럼"을 나타내는 조건부 논리 연산자 "→" (implies)와 "또는"을 나타내는 논리 연산자 "∨" (or):

p → q, p → (q ∨ r)

이 식은 "p가 참이면 q도 참이고, p가 참이면 q 혹은 r도 참이다"라는 의미를 가집니다.

4. "만약-그럼"을 나타내는 조건부 논리 연산자 "→" (implies)와 "또는"을 나타내는 논리 연산자 "∨" (or)와 "그리고"를 나타내는 논리 연산자 "∧" (and)를 조합한 논리 연산자 "∧∨" (and or):

p → q, p → (q ∨ (r ∧ s))

이 식은 "p가 참이면 q도 참이고, p가 참이면 q 혹은 r과 s 둘 중 하나라도 참이다"라는 의미를 가집니다.

x ├ y

위에 쓰인 수학 기호는 x를 통해 y를 증명할 수 있다는 것일까

제가 이해한 바로는, "x ├ y"라는 수식 기호는 일반적인 수학 기호로는 보이지 않습니다. 수학에서 일반적으로 사용되는 기호는 "=>"로, "만약 x이면 y이다"라는 조건을 나타내는 기호입니다.

그러나 "x ├ y"라는 기호는 문맥에 따라 다른 의미로 해석될 수 있습니다. 예를 들어, 이 기호가 프로그래밍 언어에서 사용된다면, "x가 참이면 y를 출력한다"라는 의미를 가질 수 있습니다.

따라서, "x ├ y"라는 기호의 정확한 의미는 문맥에 따라 달라질 수 있습니다. 문맥을 더 자세히 설명해주시면 더 정확한 답변을 드릴 수 있을 것입니다.

이렇다네요 ㅠ

이산수학 기호 '├' 의미 문의드립니다

2개의 답변

Q&A 목록