Неформально это можно перевести как «один (или оба) из A или B, как известно, истинны, но оба они подразумевают C, поэтому независимо от значений истинности A и B мы можем заключить C. ''
Неформально это можно перевести как «один (или оба) из A или B, как известно, истинны, но оба они подразумевают C, поэтому независимо от значений истинности A и B мы можем заключить C. ''