[이산수학] 명제 논리, 명제 변수, 합성 명제 |propositional logic, propositional variables, compound propositions(3/107)

이산 수학

Discrete Mathematics

 

명제 논리propositional logic명제 변수propositional variables합성 명제compound propositions

 

 

1.

명제 논리 propositional logic 란 무엇인가?

 

명제 논리는 논리 분야 중에 하나로

명제를 조작/합성해서

더 복잡한 명제를 형성하는 방법을 연구한다.

또한

합성하거나 수정한 명제의 특성과 논리적 관계를 연구하기도 한다.

 

명제 논리는

propositional logic 

= sentential logic

= statement logic

로 불리기도 한다.

 

mathematical statements are constructed

by combining one or more than one propositions

 

propositional variables

p ^ q : p and q

variables that are used to represent propositions

 

<참고>

neso academy

Propositional Logic, Propositional Variables & Compound Propositions - YouTube