Задания (стр. 3 )

1.Расставить все скобки в формуле: АÚ~В&~СÉ~ВÚА&~АÉ.~СÉВ. 2. Построить таблицу истинности для формулы: ~АÉ~ВÉ~ВÉ~АÚ~В. 3. Доказать теорему: А&АÉ.СÉВ. 4. Перевести на естественный язык формулу: ("х)($у)($z)[Кш(х, у)&Кш(z, х)], где Кш – предикат «кушает», а индивидные переменные х, у и z принимают значение на области живых существ.

1.Расставить все скобки в формуле: АÚ~В&~СÉ~ВÚА&~АÉ.~СÉВ. 2. Построить таблицу истинности для формулы: ~АÉ~ВÉ~ВÉ~АÚ~В. 3. Доказать теорему: А&АÉ.СÉВ. 4. Перевести на естественный язык формулу: ("х)($у)($z)[Кш(х, у)&Кш(z, х)], где Кш – предикат «кушает», а индивидные переменные х, у и z принимают значение на области живых существ.

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. Перевести на естественный язык формулу: ("х)($у)[Отец(х)ÉСын(у, х)ÚДочь(у, х)], где х, у принимают значение на области людей.