| 일 | 월 | 화 | 수 | 목 | 금 | 토 |
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | |||
| 5 | 6 | 7 | 8 | 9 | 10 | 11 |
| 12 | 13 | 14 | 15 | 16 | 17 | 18 |
| 19 | 20 | 21 | 22 | 23 | 24 | 25 |
| 26 | 27 | 28 | 29 | 30 | 31 |
- Binary notation
- dnf
- relationaldatabaseschema
- half adder
- Gate
- Digital Logic Circuits
- 명제
- Sentiment Analysis
- 진리표
- 십진법
- 모두의네트워크
- 써킷
- truth table
- GPT-1
- 모두의네트워크정리
- Contradiction
- Tautology
- full adder
- 모두의네트워크요약
- statement equivalence
- Logical statement
- 이진법 십진법 변환
- 명제 동치
- cnn
- ermodel
- 항진명제
- CNF
- Circuit
- 모순명제
- Decimal notation
- Today
- Total
목록모순명제 (2)
NLP Learner in Switzerland
Propositional Logic Lab Exercise(logical statement, truth table)
Chapter : Propositional Logic Topic : Logical statement, Truth table, Tautology, Contradiction, statement equivalence Solution : Equivalence가 성립한다. 1. 주어진 logical equivalence가 성립하는지 판단하는 문제이다. 2. p→(~q→r) ≡ ~p∨(~q→r) ≡ ~p∨(q∨r) 좌변과 일치한다. Solution : tautology 1. 주어진 statement가 tautology(t)인지 contradiction(c)인지 판단하는 문제이다. 2. (p∨q)∨~(p∨q) ≡p∨q∨~p∨~q ≡ tautology(t) Solution : tautology(t)과 contradic..
Propositional Logic Exercise(logical statement, truth table)
Chapter : Propositional Logic Topic : Logical statement, Truth table, Tautology, Contradiction, statement equivalence Solution : iii, vi 1. All dogs are loyal의 negation을 찾는 문제이다. 2. 단편적으로 생각해보면 All dogs are not loyal일 것 같지만 세상이 그렇게 만만하지 않다. 3. All dogs are loyal = (dog1 is loyal) and (dog2 is loyal) and (dog3 is loyal) and ... (dog(n) is loyal)으로 decompostion된다. 그리고 여기에 negation을 취하면 4. ~(All do..