Zapisz za pomocą symboliki logiczne, dowód wprost i nie wprost karoten: Zapisz poniższe rozumowania za pomocą symboliki logicznej i udowodnij stosując reguły wnioskowania (wprost lub nie wprost), ze to rozumowanie jest poprawne. A. Jeżeli będę się uczył lub jestem geniuszem to zdam egzamin. Jeżeli zdam egzmain to będę szczęśliwy. Nie będę szczęśliwy. A wiec nie jestem geniuszem. B. Jeżeli dostanę prace i będę ciężko pracować to dostanę podwyżkę. Jeżeli dostanę podwyżkę to będę zadowolony. Nie będę zadowolony. Zatem nie dostanę pracy lub nie będę ciężko pracować. C. Jeżeli moje obliczenia się zgadzają i zaplace rachunek za telefon, to zabraknie mi pieniędzy. Jeżeli nie zaplace rachunku, to wyłączą mi telefon. Zatem, jeżeli nie zabraknie mi pieniędzy i nie wyłączą mi telefonu, to moje obliczeni się nie zgadzają.