Какой является представленная формула: тождественно-истинной, тождественно-ложной или выполнимой? Является ли правильным следующее определение? Если определение неправильное, то какая ошибка допущена?

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

Условие:

1. Какой является формула (p˅q)≡¬ s)? тождественно-истинной, тождественно-ложной или выполнимой.

2. Является ли правильным следующее определение? Если определение неправильное, то какая ошибка допущена?

«Человек – это живое существо, двуногое, но без перьев».

Решение:

1. Для определения, какой является формула, построим ее таблицу истинности. Определим количество строк в таблице: (х = 2ⁿ, где х количество строк в таблице, n количество переменных формуле. В формуле 3 переменные, значит количество строк в таблице будет 8.