[일반] 명제들에서도 근의 공식 같은게 있나요??

[익명(116.33)]

x² + 3x -9 같은거 근의 공식 있듯이

p² + qp + r (p,q,r은 명제) (p² = p and p? )

대충 이런 느낌을 연구하는 분야 있나요??

p² 을 어떻게 정의할지 모르겠는데, p or p나 p and p라고 하면 의미없을것같고

아무튼 명제들의 근의공식같은게 있나요??

- dc official App

[ㅆㅅ(siiot)]

명제로 다항방정식을 만든다는 발상 자체를 처음 봄. 뭐하다 이런 걸 떠올린 거임

[익명(116.33)]

뭔가 증명불가능한 정리가 있으면 그거는 명제로 식을 세웠을때 근의공식이 없는 정리라는걸로 푸는 법이 있나 궁금했어요 - dc App

[익명(121.142)]

음...불대수 검색ㄱㄱ

[익명(116.33)]

그걸로는 부족해서.. TF가지고 뭔가 할수있는구조도 별로 없고 - dc App

[익명(223.38)]

애초에 ring인지도 모르겠는데

[익명(211.235)]

이거 어디서본거같은데 수리논리학 분야에 있을거같음

[익명(211.235)]

근데 님이 원하는 그런거는 철학과에서 사용하는 "기호논리학" 책들이 더 가까울듯

[익명(116.33)]

철학과가 논리쪽은 수학과보다 더 많이 하는가보네요. - dc App

[익명(211.235)]

@글쓴 수갤러(116.33) ㅇㅇ 논리쪽은 철학과가 많이하지 비고전논리 이런거 검색해서 봐보면 빡셈

[익명(1.227)]

명제를 갖고 다루는건 아니지만 컴퓨터에서 쓰이는 논리연산이 약간 님이 말한거랑 비슷한 느낌임