mathematical structures for computer science chapter1 rule - andstudy/forge GitHub Wiki
μ΄μ°μν 1μ₯ κ·μΉ
λμΉκ·μΉ
| νν | λμΉ | κ·μΉλͺ /μ½μ΄ |
|---|---|---|
| P β¨ Q | Q β¨ P | comm |
| P β§ Q | Q β§ P | - |
| (P β¨ Q) β¨ R | P β¨ (Q β¨ R) | ass |
| (P β§ Q) β§ R | P β§ (Q β§ R) | |
| (P β¨ Q)' | P' β§ Q' | De Morgan |
| (P β§ Q)' | P' β¨ Q' | |
| P -> Q | P' β¨ Q | imp |
| P | (P')' | dn |
| P <-> Q | (P ->Q) ^ (Q->P) | equ |
μΆλ‘ κ·μΉ
| -μμ | μ λν μ μλκ² | κ·μΉλͺ /μ½μ΄ |
|---|---|---|
| P, P -> Q | Q | mp |
| P -> Q, Q' | P' | mt |
| P , Q | P β§ Q | con |
| P β§ Q | P, Q | sim |
| P | P β¨ Q | add |
| P -> Q, Q -> R | P -> R | hs |
| P β¨ Q, P' | Q | ds |
| P -> Q | Q' -> P' | cont |
| Q' -> P' | P -> Q | cont |
| P | P β§ P | self |
| P β¨ P | P | self |
| (P β§ Q) -> R | P -> (Q -> R) | exp |
| P, P' | Q | inc |
| P β§ (Q β¨ R) | P β¨ Q) β¨ (P β§ R) | dist |
| P β¨ (Q β§ R) | (P β¨ Q) β§ (P β¨ R) | dist |
| (βx)p(x) | tκ° λ³μκ±°λ μμ κΈ°νΈμΈ P(t) | ui |
| (βx)P(x) | tκ° μ¦λͺ μ΄μμ μ΄μ μ μ¬μ©λμ§ | ei |
| μμ λ³μλ μμ κΈ°νΈμΈP(a) | ||
| P(x) | (βx)p(x) | ug |
| P(X) νΉμ aκ° | (βx)P(x) | eg |
| μμμΌλP(a) |
ν μ΄λΈ.. λΉ‘μλ€μ γ