Законы формальной логики могут быть представлены в ТВ с той оговоркой, что виртуальная реальность не является сущностью, сопряженной с вещным содержанием, но в качестве своего фрагмента в актуализации может допускать оперирование актуально через законы. Мы опишем законы формальной логики через «АВ»-моделирование.
Закон тождества приобретает виртуальный характер.
Тождественность предполагает релевантность в качестве главного условия своего проявления. Тождество — отношение VR лишь к релевантной ей AR. Второе условие тождества — реферируемость. В нереферирующих VR — закон тождества не соблюдается, иначе говоря, нереферирующая VR представляет отношение к неустановленной среде анализа или установленной, но неопределенной или нераспределенной среде анализа.
Отношение тождества претерпевает в ТВ превращение в соотношение референтного соответствия и расслоение на четыре уровня — тождество позиций континуума (континуум-апперцепция), дирекциональное тождество (тождество обратных референций) и объектно-атрибутивное тождество (соответствие трансцендентальных единств апперцепции для двух разных объектов), тождество дистанционной референтности и трансструктурное тождество. Поэтому референтная теория истинности больше не работает в значении — тождество предмета мышления и реального предмета, она должна быть уточнена до понимания истины как отношения виртуального тождества, конструктивного равенства 
.
1. Континуум-тождество — простая континуум-апперцепция, простой акт сознания (одна реальность и другая как единый континуум) тождественен самому себе в любых континуумах.
[R]nO(a1) [R]iO(a1)
2. Объектно-атрибутивное тождество в отношении актуальная реальность — виртуальная реальность. Предмет реальности, выражаемый в виртуальной реальности, есть то же, виртуально тождественное актуальное событие, если VR релевантна этой реальности и реферирует к ней.
[R]i=1O(a1,a2,a3...) [R]i=1O(b1,b2,b3...)
3. Дирекциональное тождество как обратное и взаимное отношение VR к релевантной реальности, то есть равнозначность (при разнонаправленности) типов референции — интерпретирующей и реализующей. [R]iO(a1...) [R]rO(a1...)
4. Тождество дистанционной референтности — тождество виртуального предмета реальному событию относительно его всякой аспектно-атрибутивной пары. Тождество дистанционной референтности очевидно является основанием для нечетких логик.
[R]diO(a1) [R]diO(a2) [R]diO(a1,a2,a3...)
5. Тождество трансструктурное оказывается пока, насколько нам известно, за пределами современной довиртуальной логики:
[O1(a1),O2(b1)]di(O1'(a'1),O2'(b'1)) [O1(a1),O2(b1)]di(O1'(a'1),O2'(b'1),((a'1,b'1)))
Закон достаточного основания раскладывается на несколько положений — достаточные основания для отношений между реальностями, внутри виртуальной реальности и между дирекциональностями. В зависимости от задач количество положений можно расширить.
Основание как дирекция. Наличная интерпретативная и реализующая референции являются основанием для сущностной. Относительно референции и ее типов верно:
[R]iO(a1...)Ù[R]rO(a1...) [R]eO(a1...)
Основание как референтность. Оперирование реальным предметом допустимо лишь для реферирующих реальностей. (Именно эта часть уже отсекает парадокс о лжеце, как это будет показано дальше). Если виртуальная реальность имеет отрицательное реферирование к актуальной, то она превращается в нереферирующую виртуальную реальность.
[R]i=0O(a1...) [R]nO(a1...); [R]r=0O(a1...) [R]nO(a1...)
Основание как актуальная реальность. Виртуальная реальность и всякие выводы в ней и из нее допустимы лишь для релевантной актуальной реальности. Толкующая виртуальная реальность S(b1...) и толкуемая N(a1...) должны иметь общую актуальную реальность. Отсюда верно преобразование ревиртуализации:
[R]i(N(a1...))rev(S(b1...)) [R]i(N(a1...))r[R]i(S(b1...))
То есть толкующая виртуальная реальность и толкуемая имеют одну реферирующую актуальную реальность.
Конструктивное основание или основание как виртуальная реальность было рассмотрено нами в главе «Ревиртуализация: континуум-переход и создание нового концептуального объекта».
Закон непротиворечия.
Противоречие допустимо лишь в нереферирующей VR.
Референтное противоречие:
[R]i=1O(a1...)Ù[R]i=0O(a1...) [R]nO(a1...)
Объектное противоречие:
[R]i=1O1(a1...)Ù[R]i=0O2(b1...) [R]n(O1(a1...); O2(b1...))
Атрибутивное противоречие:
[R]iO(a1)Ù[R]iO(Øa1) [R]nO(a1,Øa1)
