не удовлетворяет важному свойству
Нельзя любые высказывания подогнать под любое свойство. В таком случае
Утундрий прав, "если-то" - это не высказывание, а нечто другое, содержащее набор слов, а именно: пустое высказывание (по моей терминологии). А значит отрицание в смысле двоичной логики не следует делать над предложениями из топик-старта.
Двоичную логику надо подогнать под троичную следующим образом: вводим четыре булевых переменных A = "биолог 1 прав", B = "биолог 1 не прав", C = "биолог 2 прав", D = "биолог 2 не прав". И в случае синего крокодила у
mihaild оба биолога остаются при своих аргументах (A = 0 , B = 0, C = 0, D = 0).