Mathematical Logics with Truth

Mathematical Logic 앱에는 다음 주제가 포함됩니다.

> 부정 - 사실, 거짓 또는 공개로 진술을 식별합니다. 명령문의 부정을 기호 및 문장 형식으로 나열합니다. 주어진 문과 그 부정에 대한 진리 값을 나열합니다.

> Conjunction - 논리적 커넥터, 복합 명령문 및 연결을 정의합니다. 연쇄 기호를 기호 및 문장 형식으로 나열합니다. 결합에 대한 진리표를 작성하는 것.

> 분리 (Disjunction) - 분리를 정의합니다. 기호와 문장 형식으로 분리를 나열합니다. 분리에 대한 진리표를 작성하는 것.

> 조건문 - 조건의 가설과 결론을 확인합니다. 조건부를 기호 및 문장 형식으로 나열합니다. 조건부의 진리 값을 나열하려면 각 부분의 값을 고려하십시오.

> Biconditional Statements- 기호 및 문장 형식의 biconditional을 나열합니다. 가설과 결론을 확인한다. biconditional인지 여부를 판별하기 위해 문장을 평가하는 것.

동역학 복합어의 개별 부분을 식별합니다. 복합 동사 문에 대한 진리표를 만들어 동질화 여부를 결정합니다.

> 모순

> 비상 사태

> 3 가지 변수가있는 진리표

> 벤 다이어그램