전칭 명제, 존재 명제 추론

전칭 명제

모든 A는 B다 꼴의 명제

• $\forall{x} ( A(x) \rightarrow B(x) )$

위 전칭 명제가 참일 때 성립하는 명제

• $\forall{x} ( A(x) \rightarrow B(x) )$
• $\exists{x} ( A(x) \land B(x) ) $
• $\forall{x} ( \not B(x) \rightarrow \not A(x) )$

존재 명제

어떤 A는 B다 꼴의 명제

• $\exists{x} ( A(x) \land B(x) ) $

위 존재 명제가 참일 때 성립하는 명제

• $\exists{x} ( A(x) \land B(x) ) $
• $\exists{x} ( B(x) \land A(x) ) $