Таблицы Истинности

[Незнайка(((]

Помогите пожалуйста с решением этого задания... я в этом полный НОЛЬ!!!!  
сколько ни старалась понять все равно не доходит((((  

[Nikgamer]

Точно истинны 2 и 4. 1-ое точно ложно. А 3-е я запись не понял. Что это?

[Незнайка(((]

А ответом для этого просто будет
1-истинно....
и тд?

[Незнайка(((]

Точно истинны 2 и 4. 1-ое точно ложно. А 3-е я запись не понял. Что это?

а можите объяснить как Вы это вы выяснили?

[Nikgamer]

Ну, есть теорема Гёделя, которая говорит, что все то истинно, что доказуемо. В силу того, что ГИВ эквивалентно СИВ, дотаточно показать доказуемость/недоказуемость в СИВ. 2 и 4 формулы очевидно доказуемые, а 1-ая нет, если стрелочка это импликация.

[Незнайка(((]

Ну, есть теорема Гёделя, которая говорит, что все то истинно, что доказуемо. В силу того, что ГИВ эквивалентно СИВ, дотаточно показать доказуемость/недоказуемость в СИВ. 2 и 4 формулы очевидно доказуемые, а 1-ая нет, если стрелочка это импликация.

огромное спасибо за помощь.... вот только что мне теперь с 3ей делать??((((((

[Nikgamer]

Ну, есть теорема Гёделя, которая говорит, что все то истинно, что доказуемо. В силу того, что ГИВ эквивалентно СИВ, дотаточно показать доказуемость/недоказуемость в СИВ. 2 и 4 формулы очевидно доказуемые, а 1-ая нет, если стрелочка это импликация.

огромное спасибо за помощь.... вот только что мне теперь с 3ей делать??((((((

Я запись не понимаю. Расшифруйте в привычной семантике. Может там между \( p \) должен стоять амперсанд?

[testtest]

если написано "не пользуясь таблицей", значит задание решается через очевидные нестрогие размышления.