Средствами таблично построенной логики высказываний установите, в каких отношениях находятся следующие высказывания? «Если философ является дуалистом, то он не идеалист. Если философ не идеалист, то он диалектик или метафизик. Этот философ не метафизик.

12 августа 2024
Логика

Условие:

Средствами таблично построенной логики высказываний установите, в каких отношениях находятся следующие высказывания?
«Если философ является дуалистом, то он не идеалист. Если философ не идеалист, то он диалектик или метафизик. Этот философ не метафизик.

Решение:

Простые суждения:

Философ дуалист р.

Философ идеалист q.

Философ диалектик r.

Философ метафизик s.

№1. Символическая запись высказывания Если философ является дуалистом, то он не идеалист: р q.

№2. Символическая запись высказывания Если философ не идеалист, то он диалектик или метафизик: q (r s).

№3. Символическая запись высказывания Этот философ не метафизик: s.

p q r s и и и и л и л и и и л л и и и и л и л и л и и л л л и и и л и и и и л и л и л и и и и л л и и и л и л л л и л и л и и л и и л л и и и и и и л и л л и и л л и л и и и и л л и и и и л л л и л и и...