tamdurum ne demek?
- Biçimsel bir dilin bütün önermelerinin doğruluk değerini belirleyen olanaklı ya da tasarlanabilen dildışı karşılık. || Bir yorumdaki olanaklıtamdurumlardan ikisi bir arada gerçek olamaz, ama içlerinden birinin gerçek olması zorunludur.
- World, possible world, complete state of affairs.
- Monde, monde possible
tamdurumda varolan birey
- ( ) gibi gerçek yada gerçek olmayan birtamdurumda varolan birey (...)nun evreni olan (...) kümesinin herhangi bir öğesi demektir.
tamdevirme
- ( ) || Örn. 'Bütün insanlar ölümlüdür' önermesindentamdevirme ile 'Bütün ölümlü olmayanlar insan olmayandır' önermesi elde edilir.
- Contraposition, full-contraposition.
- Contraposition