conditional - 2025 ACF Winter

Question

Note to moderator: Read the second answerline carefully. C. I. Lewis pioneered the use of a “strict” form of this operation denoted by a box. For 10 points each:

[10e] Name this logical operation denoted by a rightward-pointing arrow and often expressed as “P implies Q.” When applied in computer science, “else” clauses may be added to statements of this logical operation.

ANSWER: conditional [or if statements; or if-then-else statements; accept material conditionals or strict conditionals; or word forms like conditionally]

[10m] For the material conditional “P implies Q” to be false, the propositions must take on these truth values. Please identify which proposition is ascribed which truth value in your answer.

ANSWER: P is true AND Q is false [accept P AND not Q; accept answers indicating the first proposition is true AND the second proposition is false]

[10h] “P implies P” is an example of a tautology that can be proven by using this rule of inference twice. This rule states that if P implies Q and P is true, then Q is also true.

ANSWER: modus ponens [or MP; or modus ponendo ponens; or implication elimination; or affirming the antecedent; reject “modus tollens”]

Back to bonuses

Summary


California	Main	Y	5	18.00	80%	40%	60%
Canada	Main	Y	6	18.33	100%	50%	33%
Florida	Main	Y	12	19.17	83%	58%	50%
Great Lakes	Main	Y	6	13.33	67%	33%	33%
Lower Mid-Atlantic	Main	Y	7	14.29	86%	57%	0%
Midwest	Main	Y	10	13.00	80%	40%	10%
North	Main	Y	10	20.00	100%	60%	40%
Northeast	Main	Y	5	22.00	100%	60%	60%
Overflow	Main	Y	4	10.00	50%	50%	0%
Overflow	Main	Y	1	10.00	0%	0%	100%
Pacific Northwest	Main	Y	12	17.50	83%	42%	50%
South Central	Main	Y	2	15.00	100%	0%	50%
Southeast	Main	Y	12	19.17	100%	58%	33%
UK	Main	Y	4	20.00	75%	50%	75%
Upper Mid-Atlantic	Main	Y	8	21.25	88%	75%	50%
Upstate NY	Main	Y	8	16.25	88%	38%	38%
2025 ACF Nationals	2025-08-09	Y	1	10.00	100%	0%	0%
2024 ARCADIA at UC Berkeley	04/19/2025	Y	4	22.50	100%	75%	50%

Data


Berkeley B	Berkeley E	10	0	10	20
Berkeley F	Stanford A	10	10	0	20
Berkeley C	Stanford B	10	0	10	20
Stanford C	Berkeley D	10	10	10	30
UCSC	Berkeley A	0	0	0	0
UCLA C	Claremont Scripps	10	0	0	10
USC	UCI	10	0	0	10
UCLA B	UCSB	10	10	10	30
UCLA D	UCSD Two Running Violet V Forms	10	10	0	20
UCSD Vices and Virtues	Claremont Pitzer	10	0	0	10
UCLA A	UCSD What Hath God Wrought	10	10	10	30
Queen's A	Guelph A	10	0	10	20
McGill A	McMaster C	10	10	10	30
Toronto D	McGill C	10	10	10	30
Toronto F	McMaster A	10	10	10	30
Queen's B	Toronto C	10	0	10	20
Toronto A	Toronto E	10	10	10	30
Toronto G	Toronto H	10	10	0	20
Ottawa	Toronto I	0	0	0	0
McGill B	Toronto J	10	10	0	20
Carleton	Toronto K	10	10	0	20
McMaster B	Toronto Metropolitan	10	0	0	10
Guelph B	Western Ontario	0	0	0	0
Melbourne A	ERAU A	10	10	0	20
UF D	Melbourne B	10	10	10	30
UCF A	UF E	0	0	0	0
FIU	USF	0	0	10	10
CWRU B	MSU B	10	0	0	10
OSU A	CWRU C	10	0	0	10
Pitt A	OSU B	10	10	0	20
OSU C	Kenyon A	10	10	0	20
OSU D	CWRU D	10	10	0	20
Pitt B	MSU A	0	0	0	0
CWRU A	Pitt C	10	10	0	20
Clemson A	Tennessee B	10	10	0	20
Clemson B	Liberty B	10	0	0	10
James Madison	Liberty C	10	0	0	10
Liberty A	Roanoke	10	10	0	20
NC State	Tennessee A	10	10	10	30
North Carolina A	South Carolina A	0	0	0	0
Tusculum	Virginia A	0	0	0	0
North Carolina C	Virginia B	10	0	0	10
Virginia Tech A	North Carolina B	10	10	0	20
Virginia Tech B	South Carolina B	10	0	0	10
FSU	ERAU B	10	0	0	10
George Mason A	George Washington B	10	0	0	10
Maryland D	George Washington A	10	10	0	20
Georgetown B	George Mason C	10	0	0	10
NYU A	Georgetown A	10	0	0	10
NYU B	Maryland A	10	0	10	20
Maryland B	Notre Dame E	10	10	10	30
Penn A	Johns Hopkins A	10	10	10	30
Penn B	Johns Hopkins C	10	10	0	20
UMBC A	Catholic University	10	10	0	20
Johns Hopkins B	VCU A	10	10	10	30
Columbia B	Columbia A	10	10	10	30
WashU C	Missouri B	0	0	10	10
Missouri B	WashU D	0	0	0	0
Truman State	WashU C	10	10	0	20
WashU A	WashU B	10	10	0	20
SIUE	William Woods	0	0	0	0
Illinois A	Chicago B	10	0	0	10
Indiana A	Chicago C	10	10	10	30
Chicago D	Notre Dame D	10	0	10	20
Chicago A	Illinois C	10	0	0	10
Indiana B	Notre Dame B	10	0	0	10
Michigan C	Louisville B	10	10	0	20
Michigan A	Kentucky	10	10	10	30
Louisville A	Michigan D	0	0	0	0
Purdue A	Notre Dame A	10	10	10	30
Illinois B	Purdue B	10	0	10	20
Notre Dame C	Purdue C	0	0	0	0
Michigan B	UIC	10	10	10	30
Iowa State	Carleton	10	0	10	20
Minnesota A	Macalester B	10	0	0	10
Swarthmore A	Lehigh A	10	0	0	10
Lehigh B	Princeton A	10	0	10	20
Rutgers B	Vassar A	10	10	0	20
Rutgers C	Rowan A	10	10	10	30
UF A	UCF B	10	0	0	10
Tufts A	BC A	10	10	10	30
MIT A	Bowdoin B	10	10	10	30
Brandeis Wilson	Yale B	10	0	0	10
Brandeis Clemenceau	Brown A	10	10	0	20
Harvard	MIT B	10	10	0	20
Dartmouth	Tufts B	10	0	0	10
British Columbia C	British Columbia A	0	0	10	10
British Columbia B	British Columbia D	10	10	0	20
Washington A	Alberta	10	10	10	30
Washington B	Simon Fraser	10	0	10	20
Alberta B	Texas B	10	10	10	30
Arizona State A	Ohio	10	10	0	20
Northwestern A	Iowa	10	10	0	20
UTD A	Northwestern C	10	10	10	30
Arizona State B	Rose State	0	0	10	10
Texas A	UCO	10	10	10	30
Northwestern B	Tulsa	10	0	0	10
McGill D	UTD B	10	10	0	20
Georgia Tech D	Alabama A	10	10	10	30
Auburn B	Georgia Tech A	10	0	0	10
Auburn A	Georgia Tech C	10	10	10	30
Huntsville A	Alabama B	10	0	0	10
Georgia Tech B	Mississippi State A	10	0	10	20
Bruin A	UAB A	0	0	0	0
Vanderbilt A	Sewanee A	10	0	0	10
Huntsville B	Vanderbilt B	10	10	0	20
Imperial A	Cambridge A	10	0	0	10
Yale A	Amherst B	10	10	10	30
Brandeis Lloyd George	Bowdoin A	10	0	0	10
Cornell-UG	Brandeis Orlando	10	10	0	20
BU	Brown B	10	0	10	20
Brown C	BC B	10	0	0	10
Amherst A	Williams	10	10	0	20
Binghamton B	ESF	10	10	0	20
Binghamton A	RIT A	10	10	10	30
Cornell-DII	RIT B	10	0	0	10
Rochester	Syracuse	10	10	10	30