Прочитайте следующие формулы и установите их истинность (ложность) на соответствующих множествах

Прочитайте следующие формулы и установите их истинность (ложность) на соответствующих множествах: Qx,y∧Px,z→Qx,z, где x, y, z∈R, Qx,y=u⇔»x<y»,Px,y=u⇔»x=y» Решение. Словами. Из того что x<y и x=z, следует x<z, где x, y, z принадлежат множеству действительных чисел. Заменим импликацию дизъюнкцией. Qx,y∧Px,z∨Qx,z Используем законы де Моргана. Qx,y∨Px,z∨Qx,z Это высказывание истинно, если Qx,z истинен, или Qx,y ложен, или Px,z ложен. Qx,z истинен, когда x<z. В противном случае x≥z или Qx,z — ложно, тогда должно быть или x≥y, Qx,y ложен или x≠z, Px,z ложен. Если принять случай когда x<y, или Qx,y – истинен, остается обязательным условием x≠z, Px,z ложен. В сочетании со всеми условиями истинности, мы можем увидеть, что при x=z и x<y, у нас λQx,y∨Px,z∨Qx,z=0 То есть существуют определенное множество чисел x, y, z∈R, которые удовлетворяют условиям x=z и x<y, при котором наша формула ложна. И, следовательно, множество истинности не является всей областью определения. Резюмируя вышесказанное – формула истинна при x≠z или x≥y, и ложна при x=z и x<y, где x, y, z∈R

Тип работы:

Контрольная работа

Предмет:

Логика

Статус:

выполнено

Стоимость. Рублей:

90

Дата выполнения:

2014-04-16

Understand your user experience

I am text block. Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec ullamcorper mattis, pulvinar dapibus leo.

Read More

remain responsive across devices

I am text block. Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec ullamcorper mattis, pulvinar dapibus leo.

Read More

fall in love with our features

Real time stats

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar dapibus leo.

Multilingual & translatable

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar.

Less plugins needed

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar dapibus leo.

Amazingly responsive

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar dapibus leo.

Community builder

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar dapibus leo.

Easy to use interface

Click edit button to change this text. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec mattis, pulvinar dapibus leo.

Выполним любую работу на заказ

У нас вы можете заказать уникальное решений этой задачи или любой другой

Adblock detector