[일반] 논리와 명제 ㅏ 모양이 뭐임?

[익명(223.39)]

q ㅏ p가 뭔 뜻?

[수갤러 1(175.196)]

우와 요즘 책은 저게 나오나. 어떤 책인가여

[익명(136.23)]

'4차 산업혁명 시대의 이산수학'이요 뭔지 알려주셈뇨

[여친구함(psychonerd199)]

보통 함의하다인데 - dc App

[수갤러 2(119.202)]

p->q 랑 q 로부터 p가 나오냐고 묻는거 아님?

[ultraproduct(ultraproduct)]

p->q까지 포함해서 읽는 거고, 의미는 p->q와 q에서 p가 증명된다는 의미

[수갤러 3(211.248)]

A, B ㅏp : A, B로부터 p가 증명이 가능하다 / A, B ㅑp : A, B가 성립할 때 p가 참이다