중딩땐 온갖 뻘짓을 다했었구나


--------------------------------------------------------------------------------------------------------------------------------------------

1. 기본 기호의 표현

'-' not (부정)

'V' or (또는)

'&' and (그리고)

'→' if ... then (만약 ~ 라면)

'↔' if and only if (iff, ~일 경우에 오직 그 경우에만 ~)

∀ : 어떤 ~에 관하여

∃ : ~이 존재한다.

:= : ~을 ~로 정의한다.

--------------------------------------------------------------------------------------------------------------------------------------------

2. 기초표현

1) ~이면 ~이다.

A이면 B이다.___________1

A->B

-------------------------------------------------

A가 B이면 C이다.___________2

?=A->B:C

->를 →로 표현하기로 하자. ?는 if의 의미를 대신한다. ?=는 만약 ~가 있다면 이라는 뜻을 담고 있고, 정규표현식에서 따왔다. (강한 현재형)

: 는 C언어 style로 A < B ? C : D의 형태를 가져온 것이다. 즉 :는 ‘고로’라는 의미를 가지게 된다.

-------------------------------------------------

만약 A가 B이면 C인데 A는 D이므로 E이다.___________3

-(?=A->B:C)_(A=>D:E)

- 는 부정을 뜻한다. -와 _사이에 존재하는 것은 가정을 나타낸다.(강한 표현사용)

_기호는 가정기호로 보면 되고 뜻은 ‘~가 아니라면’ 이다. (약한 과거형)

즉 ‘A가 B이면 C이다.‘ 의 가정이다. 괄호는 범위를 정확히 표현하기위하여 나타낸 것이다.

=> 는 ‘A는 D이다.’라는 뜻이다. :는 고로라는 뜻이 되므로 ‘A는 D이고, 그러므로 E이다.’ 라는 것이다.

-------------------------------------------------

활용

A가 B면 C는 D다.___________4

?=A->B:C=>D

*의 2가지 뜻

A가 B와 같을 때 C가 D와 같다.___________5,

*(?=A->B):C=>D (*의 뜻을 추측하시오.)

만약 A가 B였더라면 C는 D였을 것이다.___________6,

-(A->B:)_(C=>D)* (*의 뜻을 추측하시오.)

 

*기호는 처음에 붙은 경우 ‘~할 때에만’ ‘오로지 ~가 ~일 때’ 라는 의미를 갖고 또한 과거사실을 나타 냄 으로써 ‘~는 ~일 것이다.’ ‘~는 ~이었을 것이다.’라는 일어나지 않을 일이나 않은 일을 처리하는데 쓰인다.

--------------------------------------------------------------------------------------------------------------------------------------------

2) 가정법, 의지 표현

A가 B이면 C일 것이다._________1

?=A->B:·)C

·는 지칭을 의미한다. 앞 또는 뒤의 것을 지칭할 수 있으며 지칭대상이 명확하지 않을 시에는 추측의 의미로 넘어가게 된다. 뒤에 )는 추측이라는 것을 명확히 표시해 주는 역할을 한다.

-------------------------------------------------

A가 B이면 C는 D일 것이다._________2

?=A->B:·)C=>D

?=A->B:·)C=>D 와 ?=A->B:C=>D*의 의미는 서로 다르다.

전자는 현재를 추측하고 후자는 후회의 의미와 가깝다.

-------------------------------------------------

A가 B이면 그리고 C가 D이면 E는 F가 될 수 있다._________3

(?=A->B∧C->D:)·-(=E=>F)_

-와 _사이에는 ‘만약 ~라면’이라는 강한 가정을 나타낸다.

그 앞에 지칭점을 붙이면 ‘~할 수 있다’라는 의미를 가지게 된다.

=는 ?=와 같은 의미를 가지는 부분으로 =는 강한 현재를 나타낸다.

만약 없다면 ‘A가 B이면 그리고 C가 D이면 E는 F가 될 수 있었다.’ 가 된다.

-------------------------------------------------

A가 B이면 C는 E가 될 수 있었다._________4

?=A->B:·-(E=>F)_

A가 B였으면 C는 D가 될 수 있다.__________5

-(A->B:)_·-(=C=>D)_

※ 내부적 표현

A(B)C 의 경우 B > C > A 순으로 강하게 표현된다. 예를 들어 B가 과거이고 A, C가 미래라고 한들 이 문장의 전체 의미는 과거형이다.

예문

내가 호랑이였으면 나는 자연의 신이 될 수 있었다.

-나->호랑이:_·-(나=>자연의 신)_

솔직히 (나, 호랑이, 나, 자연의신)라는 4개의 단어로도 의미를 추측할 수 있지만 적확한 표현을 위하여 기호를 사용하는 것이다.

-------------------------------------------------

A는 마치 B인 것처럼 C한다._________6

·?=A->B:^C

?=앞에 지칭점을 붙이면 ‘마치 ~인 것처럼’ 이라는 의미를 가지게 된다.

^는 C의 의미가 동사형임을 강조한다.

-------------------------------------------------

A는 B를 할 것이다._________7

·)*A:^B

·)는 가정의 의미를 가지고 *는 후회의 의미를 가진다. 고로 둘이 같이 있으면 의미는 없어진다.

이 문장은 다음과도 같이 표현 될 수 있다.

A:^B

--------------------------------------------------------------------------------------------------------------------------------------------

3) 강조, 사실

A는 매우 B하다._________1

A->└B└

└는 서로 사이에 있을 경우 사이에 있는 것을 강조한다.

-------------------------------------------------

A는 B이므로 C는 D이다._________2

$A=>B$:C=>D

$는 당연한 사실이나 이미 증명된 것을 나타낼 때 쓰인다.

논리적 추론에서는 쓰이지 않는다.

-------------------------------------------------

A는 절대 B가 아니다._________3

A=>-┘B┘ or A=>┘-B┘


┘는 서로 사이에 있을 경우 사이에 있는 것을 절대적으로 본다.

가독성을 고려하여 전자를 쓰는 것이 좋을 것이다.

--------------------------------------------------------------------------------------------------------------------------------------------

4) 지칭

A는 B이므로 C는 A이다._________1

$A=>B$:C=>·

·연산자는 앞에 있는 어느 명사를 가리킨다. 이 경우 A가 지칭의 대상이 된다.

무조건 앞을 기준으로 한다.

-------------------------------------------------

A는 B이므로 B는 A이다._________2

$A=>B$:(-·)=>·

(-·)는 무조건 뒤를 기준으로 하여 가장 가까운 명사를 지칭한다.

-·=>·로 쓸 수 있지만 가독성이 떨어질 것이다.

-------------------------------------------------

A와 B가 같으면 C는 A이고 C는 B이다._________3

-(A=B:)_C=>·∧=>(-·)