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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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