/sci/ - Science & Math

File: 37 KB, 670x496, 1300203272789.jpg [View same] [iqdb] [saucenao] [google]

Anonymous Tue Apr 12 05:48:11 2011 No.2874233 [Reply] [Original]

Need help with my logic homework, tits and 1000 internet for the solver.

% Form a structure in which the given sentence is false and thus
% not valid.

FALSE ALL x. ALL y. (R(x,y) -> R(y,x)) -> ALL x. ALL y. (R(x,y) | R(y,x)).

UNIVERSE = {1,2}.

PREDICATE R = ....

>>	Anonymous Tue Apr 12 05:53:11 2011 No.2874242 File: 32 KB, 387x505, 1270228580074.jpg [View same] [iqdb] [saucenao] [google] bump

>>	Anonymous Tue Apr 12 09:29:11 2011 No.2874890 only {1} or only {2}

>>	Anonymous Tue Apr 12 13:57:11 2011 No.2875998 Let R be any anti-symmetric relation, e.g. <, >, etc. Assign X and Y accordingly, i.e. either 1 or 2 as needed.

>>	Anonymous Tue Apr 12 14:04:11 2011 No.2876037 >>2874233 What fucked up notation is that? What's that FALSE doing there? Or do you mean "not"? Also, how are the parentheses supposed to be?

Advanced search
Text to find
Subject [?]Search by post subject. Leave empty for any.
Username [?]Search for user name. Leave empty for any user name.
Tripcode [?]Search for tripcode. Leave empty for any.
Email [?]Search by email. Leave empty for any.
Filename [?]Search by image filename. Leave empty for any.
From Date [?]Enter what date to start searching from. Format is YYYY-MM-DD
To Date [?]Enter what date to start searching until. Format is YYYY-MM-DD
Image hash
Search in	All Posts OPs Only
Deleted posts	Show all posts Show only deleted posts Only show non-deleted posts
Internal posts	Show all posts Show only internal posts Show only archived posts
Order	New posts first Old posts first
Capcode	All Posts Only by Users Only by Mods Only by Admins Only by Developers
Results	Posts Threads
Action	[ Simple ]