Они только в математике и есть, потому что там это можно формализовать в отличие от реальной жизни. А в учебниках по логике тебе как раз это объяснят