Lex Kravetski (lex_kravetski) wrote,
Lex Kravetski
lex_kravetski

Хорошо быть умным!

 

 x F(x) ->  x F(x)

 

!( ( x F(x) -> B) -> ( x F(x) -> B) )

Tags: логика, философия
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 55 comments