|
T, see axiom system, T
Tn, see axiom system, Tn
tautology, 243, 249, 250, 253, 258, 271, 293, 312
Teller, P., 116
temporal logic, 285
term (in first-order logic), 366
Thalos, M., 116
Thomason, R. H., 329
three-prisoners puzzle, 10, 82-83, 91-92, 95, 117, 217, 218, 234
time-m event, see event, time-m
Tirole, J., 236
Tiuryn, J., 284
tolerance vector, 400, 424
topological sort, 134
total preorder, see preorder, total
Trakhtenbrot, B. A., 392
transition probability, 206
transitive relation, 190
true, see satisfaction (|=)
Truszczyński, M., 328
truth assignment, 241-242, 249, 294, 307, 320, 358, 359, 372, 374
truth value, 241, 256
Tuttle, M., xiv
Tuttle, M. R., 10, 236
Tversky, A., 187, 433
two-coin problem, 2, 10, 66
two-envelope puzzle, 178-180, 188
two-valued logic, see classical logic
|