Attributes | Values |
---|
rdf:type
| |
Description
| - Tautologie musíme odlišit od formulí, jinak bychom říkali, že máme různé tautologie, i v případě, že bychom měli jen různé zápisy téže tautologie. Tautologie také nejsou funkce, jejichž hodnota je PRAVDA pro každé ohodnocení: pak bychom (pro každé n) měli jen jednu tautologii. Nezbývá než odlišit funkce od způsobu, jakým jsou konstruovány. To ukázal přesvědčivě Tichý ve svém referátu o Wittgensteinově Traktátu. Je tedy tolik tautologií, kolik je konstrukcí, tj. spočetně nekonečně mnoho.
- Tautologies have to be distinguished from the formulas: otherwise distinct notations would mean that there are more tautologies where we know that there are only more ways how to write down one and the same tautology. Neither are tautologies functions whose value is TRUE on any valuation: then we would have (for any n) only one tautology. What remains is to distinguish functions from the ways they are constructed. This has been convincingly shown in Tichý's paper on Wittgenstein's Tractatus. So there are so many tautologies how many constructions there are, i.e., countably infinitely many. (en)
|
Title
| - Cardinality of the set of tautologies. (en)
- Kardinalita množiny tautologií.
- Kardinalita množiny tautologií. (cs)
|
skos:prefLabel
| - Cardinality of the set of tautologies. (en)
- Kardinalita množiny tautologií.
- Kardinalita množiny tautologií. (cs)
|
skos:notation
| - RIV/67985955:_____/02:36020099!RIV/2003/AV0/A36003/N
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...iv/cisloPeriodika
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/67985955:_____/02:36020099
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| |
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...ocetUcastnikuAkce
| |
http://linked.open...nichUcastnikuAkce
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |