Формал логика — нұсқалар арасындағы айырмашылық