Random triples
| Subject | Object |
|---|---|
| gptkb:raven_paradox | All non-black things are non-ravens |
| gptkb:converse_Barcan_formula | ◇∀xP(x) → ∀x◇P(x) |
| gptkb:Barcan_formula | ◇∃xφ(x) → ∃x◇φ(x) |
| gptkb:Soundness_theorem | if a formula is not valid, then it is not provable |
| Subject | Object |
|---|---|
| gptkb:raven_paradox | All non-black things are non-ravens |
| gptkb:converse_Barcan_formula | ◇∀xP(x) → ∀x◇P(x) |
| gptkb:Barcan_formula | ◇∃xφ(x) → ∃x◇φ(x) |
| gptkb:Soundness_theorem | if a formula is not valid, then it is not provable |