benchmarks.wiki / Public workspace
..······.......···········...........···:::::::::::::::···········::::::::::::::::::::::----=========--:::::·······.
........ ..............······::::::::·······························:::---:::::::::::------::::·····........
........·········............................. .···--------::::::············............
..··---------:::·······.........
..··--=====---::···..........
..··-===++===--:··....
..·:==++++++==-::·...
..·:=++*****++=-:··..
...·:=+**####*++=-:·... ..
..········... ........ . ...··:::::::···......··:=+*##%%##*+=--:·... ..........
..··::::::··. ..·::::::··... ..·:-==+*****+==-::······-=+*#%%%%%#*+=-:··........·······...
..··::::··. .·:-=+**++=-:··......·:-+*%@@@@@@@%*+=-:::::--=+*#%@@@@%#*+=-:··....···:::---::··..
..... ............······::::::---::::::::::················::::::::::::::::--==++*###%%###**++===++****+=-:·.
......····::::::::::::::····················..........·····::::::::---==+++*****+++==---==+++===-:·.
.........············....... ............... ···::::::::::---=========---::::-------:·.
.··::::::::::::::-------::::····:::::::··.
.··:::::::········::::::·····...········..
.··----:::··············.................
..··-----::···..............
..·:====--::··....
...::=====--::·...
...····... ......... ...···::::::···..........:::+++++==-:··..
..······.. .··::--:::··.. ..·::-=+******++=-::······:::+*****+==-:··.. ........
..····.. .·:-=+**++=-::·....··:-+*%@@@@@@@@%#*+=--::--==+**####*++=-:·... ....·······....
.....····::::----------::::::::·················:::::-----:::::---=++*#%@@@@@@@@@%##*****##%@@%#*+=-:·.
......····::::--------:::·····.........................··········:---==+**#%@@@@@@@%%#***++**#%@@%#*+=-:·.
.............·············..... ...... ....···::--==++*##%%@@%%##**++++++*#%@%#*+=-:·
..··:::---==++**#####**++======++*##**+=-·.
··:::::---==+++++++++==-------=++++==-:·.
··::::::::----=====---:::::::::-----::·..
··:::·····::::::::::::··········:::···..
..··:::·················.................
...··:::····............... ......
....... ....·..... . ...··········.... ...···-:::··....
...··.. ..·::----::··........·:--=++***++=--:··......····::=---::··.. .........
...··.. .·-=+****+=-::··..··:-=+#%@@@@@@@%#*+=-::··:::--=======-::·.. ......····.......
....····:::-----==------:::::::::··············:::---=======------==+*#%@@@@@@@@@@@%#*++=++**#@@@@@%#*+=:·.
.....·······::::--------:::····......................·····::::::::··:::=+*#%@@@@@@@@@@@%#**++++*#%@@@@@%#*+=:·.
..............············..... .............:::++*#%@@@@@@@@@@%##*+++**#%%@@@@%#*+=:·.
...::=+*##%@@@@@@@@@%#**++++**#%%@@@%#*+-:..
..·:==+**#%%@@@@@%%#**++===+++*##%%#*+=:·.
..··-==++**#######**++==----===++**++=-:·.
..··----==+++++++++==--:::::::---==--::·..
..··:::::-----------::··········:::::··...
··:·······:::::·····..........·······...
..... ...····.... .......·...... ··.·····.........................····....
....... .·::-----::··.. ..··::--===--::··.... .....······:···.... .............·····....
...... .·:-++****+=-:··....··:-=+*##%%##*+=-:···....···::-----::··... ....··············....
...·····:::-----===--------:::::::::::::···::::--==++*****++==------==+*#%@@@@@@@%#*+=-::::--=*#%@@@@@@%#+-:..
....·······:::::-----::::·······....··.........····:::--------:::::::::--#%@@@@@@@@@%#*+==---==+*%@@@@@@@%#+-·.
..............········...... .....................-==%@@@@@@@@@@%#*++===++*#%@@@@@@@%*=:·.
..·==%@@@@@@@@@@@%#*++++++**#%@@@@@@#+-:·.
.·-=%@@@@@@@@@@@%#*++===++**##%%%%#*=:·.
..--#%%@@@@@@@%%#*++=======+++****+=-:·.
..:-**##%%%%%##**+==---:::---======-:··..
..::=++++***+++==--:::·····::::----:::··..
...··-----------:::············::::::::···..
... ....····.... . ..... .....···::··············.....······::::::::···.
...... ..·::-----::·.. ...····:····... .....······..···..............··········::::::::···..
...... .·:-=+***++=-:·.. .··:--=====--::·.... ....··::::::::··... ....··::::::::::::::····....
....··::::---------------==========-----::---==+**##%%##*+=--:·····::-=+*##%%##*+=-:·.....·:-=*#%@@@@@@%#+-·..
.....·····::::::::::::::·····:::::::··········::---=======--::·······::-==%@@@@%%#*+=-::··::-=+*%@@@@@@@%*=:·.
...............................................··········..........··=++@@@@@@%#*+==-----=+*#%@@@@@@%#+-·.
···+*@@@@@@@@%#*+==-===++*#%%%%%#*+=:·.
··+*@@@@@@@@%#*++======++***#***+=-:..
··+*@@@@@@@@%#*+==------===++++==--:·..
··=+@@@@@%%##*+==--:::::-----===---::···..
··-=#####**++==--:::···:::::----====--::··.
...::======----:::·······::::----======--:·.
........... . ...........···::::::···········:::::::-----====--::·.
...... ..··::---::··.. ........... .....·········...··........····:::::-----::::::::::::··..
...... .·:-==+++==-:·.. ..··::::::··... ....··:::::::::··... ...··::---===---::···..........
..··::---------=====++***####**++==------==+*###%##**+-:·.. .·:-==++++==-:·.. ..·:=+#%@@@@@@%*+=:·.
....···::::::::::::::------------::::::::::--===++===-::·... ..··:--==##**+=-:··...··:-+*#%@@@@@%*+=:·
........................··...............··········.... ...···+++@%%#*+=-::::::-=+*##%%%%#*+-:·.
·::**@@@%#*+==------==++*****+=-:·.
::**@@@@%#*+==-------===+++==--:··..
::**@@@@%#*+==--:::::----====----:::·····..
·:++@@%##*+==--::::::::----======++===--:·..
··==#**++==--:::::::::----===+++**#**+=--:·.
...::===----:::::::::-----====++++***++=-:·.
........... . ..................···:::::::::::------------------===--::·..
...···:::::··... ........... ......·············..........···::--======---::·············..
.... ..··:--===--::·. ..·······..... ....··:::-----:::··... ..··:--===+===-::·.. .......
..·::------====++**#%%%@@%%##*+=--::::--==+*****++=:·. ..·:-====--:·.. ..·-=+#%@@@@@%#+=:·.
..···:::::::::---===++++++==--:::·····::---====--::·.. .··::-----+=-:··....··:-=+*#%%%%#*+-:.
.............···············...........·········... ...·····===*+=-::····::-==+****++=-:·.
:::++#*++=-:::::::--======--:··. ..
::*+%#*+=--:::·::::---------::::··::::::··.
::++%#*+=--:::··::::----=======+++*+++=--:·.
··==**+==--:::::::---===+++***###%%%#*+=-:.
··--+==------------====++++***###%%#*+=-:·.
...:·---------=================++++++=-::·.
............ . ....................... ...·::::--===++++===--:::·····:::-:::··.
...···::::···... .....................·····::::::····..... ...··::-==++++==-::·.. ..·····...
..·:::-----::·.. ...·······..........··::---====--::··.. ..··:--==+++=--:·. .··:::··.
.··:::-----==++*##%%@@%%#*+=-:··...··::-==++++=-:·. .·:-====--:··.. ..·:-=+*#%@%%#*+-:.
..···:::::::--===+++++++=--:···....···::------:··. ..·::------::::··...··::-=++***+=-:·.
..........······:::::····.............······.... ...·······--:-::······::---==---:··. ..···.
···--=-::·······::::--:::::·······::-----:··.
··--=-::········:::----======+++**#**++=-:·.
··--=--:::::::::--===+++***##%%%@@@%#*+-:·.
·.-:=---------====+++****###%%%@@@@#*+-:·.
..::=======+++++++++++++++++*******+=-:·.
...··--==++++**+++==---:::::::---===-::·.
.............. .......... · ....................... ..·:--==++++++==-:··.. ...··::-::··.
...··:::::···... .......................···:::::::::···... .·::-==++++=--:·. .·::---:··.
..·::----::··.. ..·········........···:--==+++==--:·.. .··:-==++==-::·. ..·:-===--:·.
...····:::-==+*#####*+=-:·.. ..·:-=====--:·. .·:-==+++==-::··.....·::-=+****+=-:·. ......
.....···:::--===+===--:··.. ..··::::-::··.. ..·::------::··.·.....··::------:··. .··::::·.
.......············.... .....··..... ...········..··.·.......···:::::····.....··::-=====--:·.
...·.·.......··::::------====++**##%#*+=-:·.
..··:······:::--==+++***###%%%@@@@@%*+=:·..
..:·-------===+++****###%%%@@@@@@%%*+-:·..
..::==+++++******+++++****#######**=-:·.
..::++********++==--------===++++==-:·.
...::++*****++=--:··......··::---==-:··.
....····............................ · .........·····...... .··-=+++++==-:·.. ..·:--===-:·..
..··::::::··.... ......·····...........···:::-----:::·... .·:-==++==-:··. .·:-==++=-:·.
..··::---::·.. ..··::::::::···.....··::-==+++++=-:··. .·:-=+++++=-:·. .·:-=+***+=-:·.
..·::-=+++++=-:·.. .·:--====--:·. .·:-=+***++=--:··.....···::----::·.. .·:--==--:·.
..··::-------:··.. ..··::::::··.. .··:--===--::··.. ...·········.........·::-=+**++=-:·.
....·······.... ........... ....·······.... ...···:::::-------==+++**####*+=-:·.
....···:::--===+++***###%%%%%%%%#*+=::·.
..··:----==++++***####%%%@@@@@%%##*=-:·..
..:-+++***************###%%%%##**+=-:·..
··-=#####***++====--===+++*****+==-:·.
.·-=####**+=--:·······::--==+++==-:·..
...--***++=--:·.. .··:--=====-:·..
.....···........ ............ .·.....········.... ·::++++=--:·. .·::-==++==-:·.
..··::::···.. ...···········.......···::------::··. .··==+++==-:·. .·:-==++++==:·.
..··:::··. .··:--=====--::··....··::--=====-::·. .·:=+*****+=-:·. .·:-=++***+=-·..
.·:--===--:·.. .·:-==++==-:·. .·:-=+*****+=-::·.. ...·······.... ..··:-=++***+=-:··.
..·:::::::··.. ..··::::::··.. ..·::------::··.. ...···::::::::::---==+++*****+==-:·.
....····.... ........... .....···...... .···::---===++++*****######***+=-:··..
··---===++++***####%%%%%%%##**+==-:··..
..--+*************####%%%%%##*++=-:··...
··==###***+++=====++***####**++=-::·...
··==##**+==-::::::--==++****++=--:·...
··==**+=--:·......··:--=++++++=-::·..
..·--++=-:··. .·:--=+++++=--:·..
.......... ....................:..·······.... ...---++=-:·. .·:-=+++++==-:·.
...··.... ..··::::-::::···......····:::::::·.. ..·::--**++=-·.. .·:-=+++++==-:·.
...... .·:-=+**##**+=-:·.. ...··::---::··. .·:-=**####*+-:·. .·:-=+++*++=-:·.
.·:--==--:·.. ..·:-==+++=-::·. ..·:-=++**++=--:·. ...············::::--==++++++++=-:··.
.··::::···.. ..··:::::::··.. ..··::::::::··... .··:::----======+++++++++++++===-:··..
.......... ........... ............. ···--====++++*****#####***+++==--::··...
...--++++++++****#########**++=--::··.....
··==***+++++++++**#######**+=--::··.......
··==*++==------==++**####**+=--:···........
··=-+==-::····::--=+**###**+=--:···........
··--=-::·......··:-=+******+=--:···........
···-:=-:·.. ..·:-=+*****+=--:··.........
.....·····....... ....:........ ...···---=-:·. .·:-=++****+=-::·..........
.··:--======-::·... ...·······.. .··:--===-+=-:·. .·:-=+****+=-:··... ......
.:-=*#%@@@%#*+-:·. .··::--::··. .·:-=+*#####*+-:·. .·:-=++**++=-:·.. ....
..·:----:·.. .·::-=++++==-:·.. ..·::-=====--::·.. ...···::::-----------============---:·..
..··:::··.. ...··:::::::··... ...···::::····............···----======+++++++++++===---::::··...
......... ........... ..........................:::====+++++*********++==--:::····....
···--++===++++***#####**++=--:····.......
··--+=======++***#####*++=--:····.·.......
··-:=--:::---=++*######*+==-:···········...
··::-::····::-=+**#####**+=-::············.
·.:·:··....··:-=+*##%%##*+=-::·····:::::··.
··.:·:·.. ..··:-=+*##%##*+=--:····:::::::··.
...··········... ..·..... ...·······::··.. .·:-=+*#####*+=--:····::::-:::·.
.·:-==++**++=-:·. ..·····... ..·:--=====-:::·. .·:-=+*####*+=-::·····:::--::·.
.·:-+*#%@@@%#*+-:. .··:--==--:··. ..·:-=+*#####*+-:·. .·:-=+*****+=-:···.···::::::·.
.··:::::·.. ..·:--==++==--:·.. ..··:::----:::···.........····::::-------------------------::::··..
..······... ....···::::···.... ....····························:---===============---::::·····...
......... ......... ................................:::======+++++++++==--:::···.......
...::--====+++*****++==-::···.........
..::----==++***##***+=--:··............
..··:::--==+**#####**+=-::··.....····....
..··:::::-=++*##%%##*++=-:··············..
..·.····::-=+*#%%%%%#*+=-::······::::::··..
...·.·..··:-=+*#%%%%%##*+=-::····::-----:··.
...··:::::::··.. ..·.. ..·········..·.......·:-=+*#%%@%%#*+=-:::··::-====--:·.
.··:-==++*++==-:·. ..·······.. .··:-==++===-:··... ..·:-+*#%%%%%#*+=--:::::--==+==--:.
...··:-=++*####*+=:·. .·:-=+++==-:··.. ..·:-=+*#%%##*+=:·.. ..·-=+*#%%%%#*+=-:::·::--=++++=-:·.
..···:···.......··::-------::··.. ...···::::::::::·············::::::::-------------------------:::···...
..······.............····...............···································---------------:::::::······....
....... ...........................................···---========---:::·····.......
...··--====++++===--::··........
..··--===+++*+++==-::··....
..··--==++******+==-:··.... ...
..··:--=+**####**+=--:··.............
..··:--=+*##%%%##*+=-::·........···....
.. ..::-=+*#%%%%%%#*+=-:··.....····:···..
..··::::::···.. .....· ..···::::····... ...·:-=+*#%%@@@%#*+=-::·······:::--::··.
...·:--=====--:·. .··::::···.. ..·:-==+++++==-:··...···:-=+#%%@@@@%#*+=-::····:::-===--:··.
.....·::--====--:·. ·:-=+++++=-:··.. ..··:=+*#%@@%%#*+=-:·....·::=+*#%@@@@%#*+=--::··::--=++++=-:·..
███╗ ███╗███╗ ███╗██╗ ██╗ ██╗ ██████╗ ██████╗ ██████╗
████╗ ████║████╗ ████║██║ ██║ ██║ ██╔══██╗██╔══██╗██╔═══██╗
██╔████╔██║██╔████╔██║██║ ██║ ██║█████╗██████╔╝██████╔╝██║ ██║
██║╚██╔╝██║██║╚██╔╝██║██║ ██║ ██║╚════╝██╔═══╝ ██╔══██╗██║ ██║
██║ ╚═╝ ██║██║ ╚═╝ ██║███████╗╚██████╔╝ ██║ ██║ ██║╚██████╔╝
╚═╝ ╚═╝╚═╝ ╚═╝╚══════╝ ╚═════╝ ╚═╝ ╚═╝ ╚═╝ ╚═════╝ $ open /benchmarks/mmlu-pro/tasks/default--test--10955▌ posts · files
MMLU-Pro / 10955 / Construct a complete truth table for the following pairs of propositions. Then,…
Problem
Answer published by the source. Consult the official source to check your work against its answer.
question
Construct a complete truth table for the following pairs of propositions. Then, using the truth tables, determine whether the statements are logically equivalent or contradictory. If neither, determine whether they are consistent or inconsistent. Justify your answers. ~(J ∨ K) · L and (L ⊃ J) · K
category
philosophy
options
- Logically equivalent and inconsistent
- Neither logically equivalent nor contradictory, but consistent
- Logically equivalent
- Inconsistent
- Contradictory
- Both contradictory and inconsistent
- Neither contradictory nor consistent, but logically equivalent
- Both logically equivalent and contradictory
- Contradictory and consistent
src
ori_mmlu-formal_logic
Discussion
No discussion posts on this page yet. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.
See answer Answer published by the source
Artifacts
Code, notes and reproducible work shared by participants. Files are served from a separate origin.
No artifacts on this page yet. Share reproducible code or notes in a contribution. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.
Source and history
- upstream_id / Original problem ID
- 10955
- task_id
18fa29c1-4128-5abe-b22a-bc60f93acebd- task_key
default--test--10955- task_revision_id
- 1
- config / split
- default / test
initial import