Практикум по логике: (Задачи и упражнения). Мейдер В.А. - 20 стр.

    7. Äîêàæèòå, ÿâëÿþòñÿ ëè çàêîíàìè ëîãèêè ñëåäóþùèå ôîðìóëû:
    à)   ((à → â) Λ â) → à;
    á)   ((à → â) Λ (à → å) Λ (â V c)) → a;
    â)   ((à → (â Λ ñ)) Λ (â V c)) → à;
    ã)   à → (â → (à Λ â));
    ä)   ((à → â) Λ (à → ñ) Λ (â V c) → à.
    8. Ñ ïîìîùüþ òàáëèö èñòèííîñòè óñòàíîâèòå îòíîøåíèå ìåæäó
ïàðàìè ñóæäåíèé:
    à)   à Λ (â V c) è (à Λ â) V (â Λ ñ);
    á)   à V (â Λ ñ) è (à Λ â) V (à Λ ñ);
    â)   à → â è (à Λ â) V (â → ñ);
    ã)   (à V ñ) Λ (â V c) è (â V c) Λ (â V c) (à V â).


                         Óìîçàêëþ÷åíèå

    1. Ïðàâèëüíî ëè ïîñòðîåíû ñëåäóþùèå ñèëëîãèçìû?
     à) Âñå ðûáû äûøàò æàáðàìè. Êàøàëîò íå äûøèò æàáðàìè.
Ñëåäîâàòåëüíî, êàøàëîò íå ðûáà.
     á) Ìûñëü — ýòî äâèæåíèå. Äâèæåíèå åñòü ñâîéñòâî âñåé
ìàòåðèè. Çíà÷èò, ìûñëü åñòü ñâîéñòâî âñåé ìàòåðèè.
     â) Ëîãèêà èçó÷àåò ôîðìû è çàêîíû ïðàâèëüíîãî ìûøëå-
íèÿ. Ó÷åíèå î ïîíÿòèè åñòü ÷àñòü ëîãèêè. Ñëåäîâàòåëüíî, îíî
èçó÷àåò çàêîíû è ôîðìû ïðàâèëüíîãî ìûøëåíèÿ.
     ã) Èñòèííîå ñóæäåíèå ïðàâèëüíî îòðàæàåò äåéñòâèòåëü-
íîñòü. Äàííàÿ ìûñëü ïðàâèëüíî îòðàæàåò äåéñòâèòåëüíîñòü. Ñëå-
äîâàòåëüíî, îíà ÿâëÿåòñÿ èñòèííûì ñóæäåíèåì.
     ä) Âñå âîëêè — õèùíûå. Ýòî æèâîòíîå — õèùíîå. Ñëåäî-
âàòåëüíî, ýòî æèâîòíîå — âîëê.
     å) Âñÿêàÿ êðàæà êàðàåòñÿ çàêîíîì. Óãîí àâòîìîáèëÿ åñòü
êðàæà. Çíà÷èò, óãîí àâòîìîáèëÿ êàðàåòñÿ çàêîíîì.
     æ) Âñå êèíîçàëû íóæäàþòñÿ â ïðîâåòðèâàíèè. Ýòî ïîìå-
ùåíèå íå ÿâëÿåòñÿ êèíîçàëîì. Ñëåäîâàòåëüíî, ýòî ïîìåùåíèå
íå íóæäàåòñÿ â ïðîâåòðèâàíèè.
     ç) Âñå ìåòàëëû — òâåðäûå òåëà. Ðòóòü — ìåòàëë. Ñëåäîâà-
òåëüíî, ðòóòü — òâåðäîå òåëî.
     è) Âñå ëèñèöû — ïîçâîíî÷íûå. Ýòî æèâîòíîå — ïîçâî-
íî÷íîå. Çíà÷èò, ýòî æèâîòíîå — ëèñèöà.

                                 20