Logic proof list, page 2

a   TRUE

~ p q ; r ~ q ; p ; s r s   TRUE

pq; ~ r ~ q; ~ r ~ p   TRUE

check2   TRUE

p ; p q ; q r p (q r)   TRUE

Сэм уплатит налог за машину или Сэм утратит свою машину и будет ходить на работу пешком   TRUE

Борода Джима больше Айвара   TRUE

Бажина - Не работает подстановка @id - use another inference ID as a variable   FALSE

Требуется чтоб 3Д модели делал опытный специалист   TRUE

Наличие "дворцов" никак не взаимосвязано с отсутствием "гулагов"   FALSE

A B; C D (A C) (B D)   TRUE

B; ~ (( ~ AB) v C) AB   TRUE

Если земля плоская, то все крокодилы красные   TRUE

Президентом будет Байден или Трамп, но не оба одновременно   TRUE

Сверхпарадоксальная импликация: Если наконечник копья каменный   TRUE

"Если пойдет дождь, то я не пойду гулять" тоже самое, что "Не пойдет дождь ИЛИ НЕ пойду гулять" :))   TRUE

Замена импликации на отрицание и дизъюнкцию   TRUE

( ~ p q) (p q)   TRUE

How to prove (A ~ B), ( ~ A C), ( ~ C B) therefore ~ D C)   TRUE

Natural deduction   TRUE