Logichard
0:00.0
Let be a domain of discourse, and let and be two binary relations on . A model is chosen uniformly at random from all possible models over (meaning for each pair , the truth values of and are chosen independently with a probability of for True). What is the probability that the first-order sentence is true in ?
Let be a domain of discourse, and let and be two binary relations on . A model is chosen uniformly at random from all possible models over (meaning for each pair , the truth values of and are chosen independently with a probability of for True). What is the probability that the first-order sentence is true in ?