Создайте символическое неравенство $${}^{\mathrm{x2}}\mathrm{>}$$4.

syms x
eq = x^2 > 4

eq = 

Предположим, что $$-2<\mathrm{x}$$< 2.

assume(-2<x & x<2)

Упростить условие, представленное символическим неравенством eq. simplify функция возвращает символьную логическую константу symfalse поскольку условие никогда не имеет значения для предположения $$-2<\mathrm{x}$$< 2.

F = simplify(eq)

F = $$\mathrm{symfalse}$$

Отображение типа данных F, что является sym.

class(F)

ans = 
'sym'

Также можно использовать isAlways проверить, не удерживается ли неравенство при сделанном предположении. В этом примере: isAlways возвращает логический 0 (false).

TF = isAlways(eq)

TF = logical
   0

Использовать symfalse для генерации квадратной матрицы из символьных логических элементов 3 на 3 symfalses.

F = symfalse(3)

F = 
$$\left(\begin{array}{ccc}\mathrm{symfalse}& \mathrm{symfalse}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}& \mathrm{symfalse}\end{array}\right)$$

Отображение типа данных T, что является sym.

class(F)

ans = 
'sym'

Далее используйте symfalse произвести множество логичных символических 3 на 2 на 2 symfalses.

F = symfalse(3,2,2)

F(:,:,1) = 
$$\left(\begin{array}{cc}\mathrm{symfalse}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}\end{array}\right)$$

F(:,:,2) = 
$$\left(\begin{array}{cc}\mathrm{symfalse}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}\end{array}\right)$$

Можно также использовать вектор размера для задания размера массива.

F = symfalse([3,2,2])

F(:,:,1) = 
$$\left(\begin{array}{cc}\mathrm{symfalse}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}\end{array}\right)$$

F(:,:,2) = 
$$\left(\begin{array}{cc}\mathrm{symfalse}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}\end{array}\right)$$

Создание таблицы истинности для and операция, применяемая к двум символьным логическим константам, symtrue и symfalse.

A = [symtrue symfalse]

A = $$\left(\begin{array}{cc}\mathrm{symtrue}& \mathrm{symfalse}\end{array}\right)$$

B = [symtrue; symfalse]

B = 
$$\left(\begin{array}{c}\mathrm{symtrue}\\ \mathrm{symfalse}\end{array}\right)$$

TF = and(A,B)

TF = 
$$\left(\begin{array}{cc}\mathrm{symtrue}& \mathrm{symfalse}\\ \mathrm{symfalse}& \mathrm{symfalse}\end{array}\right)$$

Объединение символьных логических констант с логическими операторами and, not, or, и xor (или их ярлыки).

TF = xor(symtrue,or(symfalse,symfalse))

TF = $$\mathrm{symtrue}$$

TF = symtrue & ~(symfalse)

TF = $$\mathrm{symtrue}$$

Преобразование символьной логической константы symfalse логическому значению.

T1 = logical(symfalse)

T1 = logical
   0

Преобразование символьной логической константы symfalse к числовым значениям с двойной точностью и переменной точностью.

T2 = double(symfalse)

T2 = 0

T3 = vpa(symfalse)

T3 = $$0.0$$

Показать типы данных T1, T2, и T3.

whos

  Name      Size            Bytes  Class      Attributes

  T1        1x1                 1  logical              
  T2        1x1                 8  double               
  T3        1x1                 8  sym