gameous - Богословие от немного стесненных и уставших чайников [entries|archive|friends|userinfo]
gameous

[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Богословие от немного стесненных и уставших чайников [Nov. 3rd, 2014|03:49 am]
Previous Entry Add to Memories Tell A Friend Next Entry
LinkLeave a comment

Comments:
From:[info]volgota.livejournal.com
Date:November 2nd, 2014 - 12:56 pm
(Link)
Это тавтологии, они не аксиомы.
From:[info]gameous
Date:November 2nd, 2014 - 01:10 pm
(Link)
"Это" все еще набор аксиом эквивалентный прежнему.

From:[info]volgota.livejournal.com
Date:November 2nd, 2014 - 01:14 pm
(Link)
"В исчислении высказываний тавтологиями являются аксиомы (точнее — схемы аксиом), а также все формулы, которые можно получать из известных тавтологий с помощью заданных правил вывода".
Путаете аксиомы и тавтологии.
From:[info]gameous
Date:November 2nd, 2014 - 02:07 pm
(Link)
Тавтология - тождественное высказывание, высказывание, тождественное аксиоме, аксиомой является.
From:[info]volgota.livejournal.com
Date:November 2nd, 2014 - 02:11 pm
(Link)
"нейтральные изменения, не меняющие сути, но увеличивающие количество символов" - это формулы, аксиомы не являются формулами. Аксиомы и формулы - два вида тавтологий.