쿠쿠리 [1310649] · MS 2024 · 쪽지

2025-02-21 11:40:40
조회수 86

명제논리 갖고노는거 줴밋다

게시글 주소: https://orbi.kr/00072130045

1. (A가 거짓->모순)->(A의 증명있음)


2. (A의 증명없음)->(A가 거짓 and 무모순)


3. (A는 공리)->(A의 증명없음)


4. (A는 공리)->(A가 거짓 and 무모순)


무모순=참


5. (A는 공리)->(A가 거짓)


6. (A가 참)->(A는 공리아님)



규칙도 몇개안됨

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.