Условие задачи
Средствами таблично построенной логики высказываний установите, в каких отношениях находятся следующие высказывания?
«Если философ является дуалистом, то он не идеалист. Если философ не идеалист, то он диалектик или метафизик. Этот философ не метафизик.
Ответ
Простые суждения:
Философ дуалист р.
Философ идеалист q.
Философ диалектик r.
Философ метафизик s.
№1. Символическая запись высказывания Если философ является дуалистом, то он не идеалист: р q.
№2. Символическая запись высказывания Если философ не идеалист, то он диалектик или метафизик: q (r s).
№3. Символическая запись высказывания Этот философ не метафизик: s.