Логика предикатов

1)  переменными

2)  константами

3)  литералами

4)  буквами

1)  предикат

2)  высказывание

3)  предложение

4)  функция

1)  тавтология

2)  высказывание

3)  литерал

4)  противоречие

1)  Хотя бы для одного х Р(х)

2)  Для некоторого х Р(х)

3)  Существует х, что Р(х)

4)  Для всех х Р(х)

1)  существования

2)  двойственности

3)  эквивалентности

4)  всеобщности

1)  существования

2)  двойственности

3)  эквивалентности

4)  всеобщности

1)  Для всех х Р(х)

2)  Для всех х выполняется Р(х)

3)  Существует х, что Р(х)

4)  Для каждого х Р(х)

1)  дизъюнкции

2)  отрицания

3)  импликации

4)  конъюнкции

1)  дизъюнкции

2)  отрицания

3)  импликации

4)  конъюнкции

1)  Предметными постоянными

2)  Предметными переменными

3)  Предикатными буквами

4)  Функциональными буквами

1)  Предметными постоянными

2)  Предметными переменными

3)  Предикатными буквами

4)  Функциональными буквами

1)  Предметными постоянными

2)  Предметными переменными

3)  Предикатными буквами

4)  Функциональными буквами

1)  Предметными постоянными

2)  Предметными переменными

3)  Предикатными буквами

4)  Функциональными буквами

1)  Элементарная формула

2)  терм

3)  предикат

4)  функция

1)  Функциональная буква

2)  терм

3)  предикат

4)  Элементарная формула

1)  Функциональная буква

2)  предикат

3)  терм

4)  элементарная формула

1)  Областью определения

2)  Областью значения

3)  Областью сокращения

4)  Областью действия

1) 

2) 

3) 

4) 

1)  выполнима

2)  истинна в любой интерпретации

3)  невыполнима

Наташа

Автор

Наташа — контент-маркетолог и блогер, но все это не мешает ей оставаться адекватным человеком. Верит во все цвета радуги и не верит в теорию всемирного заговора. Увлекается «нефрохиромантией» и тайно мечтает воссоздать дома Александрийскую библиотеку.