π μ½λ© 2μκ° + μΈμ μ± μ리 μμ 8μκ°
ππΌ -
ππΌ -
μ§λ¦¬ν
p q r ~q (pβ§~q) (pβ§~q) β r
T T T F F T
T T F F F T
T F T T T T
T F F T T F
F T T F F T
F T F F F T
F F T T F T
F F F T F T
λΉκ΅¬κ³΅ paradox
Infinitely Many Prime Numbers(μμ)
μνμ κ·λ©λ²
λ²λΈ μνΈμ μ¦λͺ
λ¬Έμ 1 : νμ§λͺ μ μ¦λͺ
P Q ~p ~p β§ q ~(~p β§ q) ~(~p β§ q)β¨q (νμ§λͺ
μ )
T T F F T T
T F F F T T
F T T T F T
F F T F T T
~p ~q ~pβ¨q pβ§~q (~pβ¨q)β¨(pβ§~q) (νμ§λͺ
μ )
F F T F T
F T F T T
T F T F T
T T T F T
λ¬Έμ 2 : λͺ¨μλͺ μ μ¦λͺ
~pβ¨q pβ§~q (~pβ¨q)β§(pβ§~q) (λͺ¨μλͺ
μ )
T F F
F T F
T F F
T F F
p q ~q pβ§q pβ§~q (pβ§q)β§(pβ§~q) (λͺ¨μλͺ
μ )
T T F T F F
T F T F T F
F T F F F F
F F T F F F