Условие:
Используя секвенциальное исчисление высказываний проверить, имеет ли место логическое следствие "Если существуют животные с голубой кровью, то кальмары живут на дне океана в том и в только том случае, когда имеют одно сердце. Если кальмары не живут на дне океана, то осьминоги имеют три сердца. Если кальмары имеют одно сердце, то осьминоги имеют три сердца, а кальмары живут на дне океана. Животные с голубой кровью существуют. Следовательно, осьминоги имеют три сердца."

