Истинность логической формулы