od Daniel » Ponedeljak, 30. Januar 2017, 15:41
Komanda \veebar se ne nalazi u Latex-paketu koji je instaliran na forumu (čudi me da ti je prilikom objavljivanja postova promakla poruka o grešci), ali zato komanda \underline\lor vrši funkciju sasvim dobro.
OK, možeš dokaz izvesti i pomoću tablice (po meni, manje zanimljiv način), ali trebalo je da dobiješ da je prva formula, [inlmath]A\Rightarrow(A\underline\lor B)[/inlmath], ekvivalentna sa [inlmath]\neg A\lor\neg B[/inlmath], a ne sa [inlmath]\neg A\lor B[/inlmath] kako si ti dobio.
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain