.pf{position:relative;background-color:#fff;overflow:hidden;margin:0;border:0}.pc{position:absolute;border:0;padding:0;margin:0;top:0;left:0;width:100%;height:100%;overflow:hidden;display:block;transform-origin:0 0;-ms-transform-origin:0 0;-webkit-transform-origin:0 0}.bi{position:absolute;border:0;margin:0}.c{position:absolute;border:0;padding:0;margin:0;overflow:hidden;display:block}.t{position:absolute;white-space:pre;font-size:1px;transform-origin:0 100%;-ms-transform-origin:0 100%;-webkit-transform-origin:0 100%;unicode-bidi:bidi-override;-moz-font-feature-settings:"liga" 0}.t:after{content:''}.t:before{content:'';display:inline-block}.t span{position:relative;unicode-bidi:bidi-override}._{display:inline-block;color:transparent;z-index:-1}.pi{display:none}@media screen{.pf{margin:13px auto;box-shadow:1px 1px 3px 1px #333;border-collapse:separate}}.ff1{font-family:ff1;line-height:1.205000;font-style:normal;font-weight:400;visibility:visible}.ff2{font-family:ff2;line-height:1.303000;font-style:normal;font-weight:400;visibility:visible}@font-face{font-family:ff3;src:url(data:application/font-woff;base64,d09GRgABAAAAABC4AA8AAAAAGzgAAQAHAAAAAAAAAAAAAAAAAAAAAAAAAABGRlRNAAAQnAAAABsAAAAcoJMiyEdERUYAABCAAAAAHAAAAB4AJwAMT1MvMgAAAcwAAABCAAAAVmC6aFFjbWFwAAACKAAAAEwAAAFKANcGkGN2dCAAAApkAAABRAAAAjxNFl61ZnBnbQAAAnQAAAQ3AAAHBXPTI7BnbHlmAAALuAAAASIAAAF4r1nNFWhlYWQAAAFYAAAAMgAAADYv5UqAaGhlYQAAAYwAAAAeAAAAJAmgBL9obXR4AAACEAAAABYAAAAWCqkAxmxvY2EAAAuoAAAADgAAAA4BFADobWF4cAAAAawAAAAgAAAAIAOgAK5uYW1lAAAM3AAAA3sAAAhVeePn+nBvc3QAABBYAAAAKAAAADfFJJ5DcHJlcAAABqwAAAO1AAAEatmY95R4nGNgZGBgYBR8bdq55l88v81XBnkOBhA4o/IunAEGXP6/YfFkDQWyOBiYQAIASKsKQgAAeJxjYGRgYA39/4aBgeUsAxCweDIwMqACVgBeDgNrAAAAAQAAAAYAJAACAAAAAAACABAALwBaAAADLQBZAAAAAHicY2BkSmecwMDKwMBqzDqTgYFRDkIzX2dIYxJiYGBiYGVmgAFGBiQQkOaaAqQUGPJZQ/+/AeoPZRCBqQEAeIMIzQAAAuwARAAAAAACqgAAAAIAAATNAIIARAAAeJxjYGBgZoBgGQZGBhBwAfIYwXwWBg0gzQakGRmYGBQY8v//B/LB9P/H/6dC1QMBIxsDnMPIBCSYGFABI8QKKgIW6hpHOQAAP/IJZ3icdVRNUxtHEJ1dCaHwlRUhlKr24NmMpUBJipyykwBRYKPdWUtRnCAkV82SHHZBokROnHygkipuoQbnv/Q6F5GT/0D+gw85hiO+Oj2jFQaqolpJ06+7X8+87lmXh+J5v7fX3f3xh2ffd75rt54G3Pea37o72980vt7a3Pjqyy8+f1T/rFZd+7Rcesg+cR4UVwrWh0uL83Mf5GdzM9mMaZAqZ0FEoRxBtsxarZqyWYxAfAuIgCIU3I0BGukwejfSxcije5HuJNK9iTQs2iCNWpVyRuFvn9Gxsd8VuP7DZyGFK71+ptfZsjYW0XAczKC8OPIpGBHlELwYSR75yJfMz3nMG87VqiSZm8flPK5gjZ0kxtq2oRfmGt9KTJJfVGUhU+LxAHa7gvu244S1ahuWmK9dxNOUkPNgVlPSY7V1ckGT6mv5cmyRg6iyMGCD+GcBmRhzZYZL+TsUKrDOfFg//aeIJx9ClfkcKoq1s3dTp/O+pAEzJYtReU3wOOzq37tInCK5knVN1DJAeaUMGA1kJOPxu7MDRi0mk4UFecJRYbIrMGv87q8LG4KXIVjRyNhKDxvsdeCj7k8CzFJARzEi+OwwZ8N2CuE0Zvf/3ASFQDlQU8dRB78Yu+QADTjriolNyYH9irj1SghmpDyvp56PnyvP2dRzkx4x7GanJyRkS+0B46jxRQxnBzhPv6hWMAuW3toOk8sFulkPdSzFXbUHxxRmyigLZt1OwElRKdLSxtLbyd+VjQXKhWW6yZBG8XDGo/R5MSoiAa1VoVWZtL4vwPVx4cZpj3jyqI4ZcYQtOvZ1+6DOTmCFNW/6qbbFj3tCp6RpsOIBiQ7TLKhzX1WmXEb+ZAuKi3XFJXn87k3yhNp/PiZPSOir4FUP56rMpRgcwYPIHuBNO6LCdsANscEhE8NQDRoqtP4Gyzm6IpheX3R6rNPdFxvpRiYORZct8Xs0TNgTGhw5yJfyVJh2JsRACwEa4II1G/gLs6U8fi0UXKNqVJsNKgybTKNxG7BO+dBP45R9h3RGjZPXmrLllIk8Xst2QmfyqVVNdNO0MGbklaitqStTwjcBYibSaEhpWVQzTwUbspCNKLi7Qp1NyaNVTsXQmqe96t+xbomFMhEH3VNDiQlBxb4tLjzV9o3ZuuduT91U5lmnJxU5SwkJ7rwNRI2wu1Gw9e1X95kFMV5ivNH6PsvEddVdHqlrK1l7IFlPNHQ0vkF+s09VrWXSMTr9Zq2KL7NmwozzbuIa5719cWkRQs/74pVpmF7UDJOH6BOXlBBXo6ZCFagMqgzFtIdGXsfbly4hZ9qb1YC2D8cG0Vh+ihnkcGxOMGuKmYhlJ5irMfXBLhVHqDG+vzkdqP78Go5kFKoZJ6uoCD4GGGwb1WHbiWHmFmCODZswz5oK31H4zgTPKXwWJ8NYNWrVU2lxdl2s/Qd28PO3AHicNVJBTBtHFJ2/Y6AEN7PEwXFq6OwFi2YPdoyoesD1JKqmFCKxhKwUoMJI5RaptrSbsy1KGiowuIWSVkVKDj2RIBYQYgmWccsFqYdyr127lLaHRmxbqcdqO+umI73/3/9/3/9fO8OmW7HvH/hb66F/8R76J79G/+B9dP78q/On5/ieM+9IBw587UDYmXDuOdj34p0X0oXfuUt/O4vQX88S9Jez1+nPp5y2nQI75UH6U53Tg/p39R/qmNV73+R1HqJFuIzehktIhwDzJ7BeS1T1HxMV/eBGKwQRoDvCTgtIbhmCO/4gV2wIboOEiiIpewXo2K4kqA3t7APsUrmqVFlVq+aqVrVZqWiVXMWq+EgFTjp6aeo4fZw9xqmj9FH2CB9+C99oEZopgVKKlcolnCnlShIp0qIULSaL6eJmsVZs2t+IUMWO2ZqdsXN2k+2WWacdeIPLe6DsaXu5PWvPl9u1diWyk9xxdrANrzJ1fYDmrIIlWVbZOrFwdDO5KT3ZsDak8sbJhhR9lnwmPX4K5fWTdekGAYLicBHpCAkrCygCGQEfIiCzDtDWptYya/jL1Qj9gkdo7BF7JIk9dlaDndzb59rqxXb+edilZGVz5XAFs5Wu65ytBMPC+Akny9Hl5HJ22VluIs/Bj9LgZ4r0WT5CPx11aa0AsQLQQrQgpQvZgoSW5CVlCXt9laVQJ1cWY4vScD6VT+dxbAHIAl2ILmC2IAe4fAhtYtk2FBPA4oLatq8ofN8jTJMv8/mZCP1ksJ/OPUzQh7P99ONBlz5+APKsMhubxbGPIDsDbKbVzw1xDWnxtj4UeA1C+tXekN7Si/VmcaFTopYS2Hfr0LJNI7xBGA108snxAfo+v04nhB8XPhC/pDcB1n1xrNvwym64nxIM+3AVQtt9lNnCXenhNlxg3aLhbS1MnRF3RGIjfW9xNtLdw7/XoHYLbvEuOsQHqGZDmI3DoPjl74nFBgTeFdjkUOMOl3IcgvEOvR2ILseJLoF4wwgoJUmSIlniIyRKhkmaLJEacUlLUuQcgtMIhhE8CUIT2FDYujOqqkN2i3t7yGrVJiyYs7pHPctGxq3mOQvp4xN3twAWxx7k8+hm15AVH71rTXWNDVnTgjCP5ASRu7aC6OaYYRrmfdU78JIYSFVNU/hG0KgIIPX/A14AqmGaxsuMUIjIVO83rGoYDSE01EgMEK0NE3kCUzXAQJ4TCm+gUIKJROyJjJTRmNyYIfyk0RgLgiDxgWn8t4gRSk3+Cw3AbP4AAAB4nK2PzyvDcRjHX5/Pd19NXBQ5urk4ujk4+Tpok1wcVrO0w5YaisiQkfxcWFo0xWGroZRFyETtQu0PUeQgufnOs5nYgZPPU+/P+/M8z+f9vB8zb+aZNi0a8JWw4jjaqGccCk/F1zfaffzrcX5ep1xzyD53whbKpSVmSHFb0X7DPUeskSVB9A/ZS9GZKrEt+n9vU2mGmCApc+dF7wqvWlEGPkaJcCGzexwnjpzt4lFlyKlqwqpFx8VD/BfBGGkGBc8FE8WEfiGm2wnplGGxLBv6tEvSOZndTVJ58DJLUFwgLFCh1Wx0sUhY2NjPijmnW6kpvIrjZdbFSZARPPSWyxltCEaNJtnmmLNSbvXrb9WBMayz2vm+w6aEW8KPX0XYI20H7F0SylIWG/YbjUyalnZTW3g2t/UqIVwM0MkDHWbdBw8HWiMAAAAsACwALAAsAJAAvAAAeJxjYGJwYWBgSmENZWBmYGfQ28jIoG+ziZ1F5q3RRjbWOzabmJmATIaNzCBhVpDwJnY22T82mxhB4saCioKqioKKLkwK/1QYZ/zLYA39tdqF5SwD0EiGpv9vWDxZ/Bj4GZQZIh1sU5QY3ZTClJhSZBjdZMJkmLIlGD0lIiWYsoUYPYUihZgY3NcLMDIICAgkCDALCKhKuTNwMXKJBvAKyAewijHYv7V/y6gf+1bIUj+28K2hAUMsFDCK8DEpK+kxmQoIGRsJMZvoAXl8TKIickzGRnZMLJ7OdVuLcjfWuvx98eXdXm3fLAfHPH9dff9MS8f8AF0mub7LPa4uPZf7GcUZJf+9+vesbkmSumbykuq6pUka6knLQP6gSfgAAKaUYqQAAHicpZRNaxtHGMefldZvxFYvhYbghjkGkqyVEHAx9KCYQAxRnPrt1BbGs6PddaSdZWZk4faQD5JPEHrvqfQT9Bbaj9BDz7kFQv/zaOzIRHWbVIs0/935Py8z81sR0XpyRAlNP9/Tr1En9FnyddQtWkq+i7pNN5KXUafw/BH1Aq22KOpF6rRuR71EP7S7US/T5+3fo16hTroc9TVaT7+JepWy9Leo1+jFwtuoO3R78TWqJ+kK7n7hToJO6GbyZdQt6iT9qNv0INFRp/D8HPUCXU/+jHqR1ltrUS/Rm9ZW1Mt0q/1T1Cu03v4r6mv0VfpF1Kv0bVpHvUbv0rdRd+ho8UfaJkMNnZGligoqyZOgV/jepy6uTag90pRjfEwSs3egdqgmRRlUj4a4xEy04zuNUWM85djgfIKoh/QI2Xp0AL1LT/G0Yr/E18Mt4dU0wmjpOZ4ZGlxZn7ZNc2arovTilbjf7W6KPZ2Lx9LfETu1ykRvOBQ87YTVTttTnWfiyc7DR3u9g53dp6JyQgpvZa5H0j4XZnA5ntB0Rce8kFC6QkM1yvd5NJiujrWVvjK16JsaD0KrBY2xJWEJtKeL8VBC9LBMhbmaF2iR4y5vyZXZe07pOtdW3BUfFPrYxo7Y6y6c97B74XTpSFsXbPey7ub8tHOSXtXD/zvRKTsFZ/Gce+qsOPchHPvsesaRYUM9V6vZdTCn4i4qDhAftv+9U3Fuj/tpZgNdxqM5wQFa7iDnuPO1uUDczM7+Cz1Arqic1xYPq1ocZvuZeCa9rr2QdS4OLgJ3B4NKaX6otPUSZuNLnPvJ2FYur1So5rJ5FIWX1+L1NZcO4T0528Y2ZtouYefCjp3yPvTZ7vk95ZB9r0+16EvvtQvmkqcb2qINXBO+MgRd7kDF+hmrEZxUet9sbWxMJpNMxjYUusiUGW18elqPf6iGWdBMcQHvlOiMc47wyl1Z2p81OteuKmoAn5V+BP8h/0mdQxkAmMI7H+wBjwE3xxEerUsG9Bx6B3COgY9maEJGE/MGzzBCWMeqEosI0QHWc5DHM2c74X4UfgUWbzAXYhTnaPjo8pnsH9szcDp0OkDrS4A8g/XAgFBnBn4irQ6Qu/HxiVZeeAOvFkPAWiNUFlbrUcB5zKxNykqV4syMhVRKNx7YB/s/Zc4+HYbhnLX+RwyGF91MGfgbluK++gB4nGNgYgCDv9UMIQzYABsQMzIwMTAzBDEycfgl5qb6puoZAABlTATJeJxjYGRgYOABYjEgZmJgBEJWIGYB8xgAA9UANHicY2BgYGQAgit5JgUg+ozKu3AGKAAAO34EHQA=) format("woff")}.ff3{font-family:ff3;line-height:.67627;font-style:normal;font-weight:400;visibility:visible}@font-face{font-family:ff4;src:url(data:application/font-woff;base64,d09GRgABAAAAAAdQAA8AAAAACogAZgACAAAAAAAAAAAAAAAAAAAAAAAAAABGRlRNAAAHNAAAABwAAAAcdw2HzkdERUYAAAcYAAAAHAAAAB4AJwAMT1MvMgAAAcwAAABCAAAAVmCm6A9jbWFwAAACKAAAAEYAAAFK4UIWWGN2dCAAAARUAAAAUAAAAFANjhdcZnBnbQAAAnAAAAGxAAACZQ+0L6dnbHlmAAAEtAAAAJYAAADsAKaUAGhlYWQAAAFYAAAANgAAADYFetDiaGhlYQAAAZAAAAAbAAAAJAhWA7dobXR4AAACEAAAABgAAAAYDDQBMmxvY2EAAASkAAAADgAAAA4AzgCibWF4cAAAAawAAAAgAAAAIAEgADpuYW1lAAAFTAAAAZwAAAL09Qi8snBvc3QAAAboAAAAMAAAAD92iexYcHJlcAAABCQAAAAuAAAALrDyKxQAAQAAAGYzM76zZ0VfDzz1AB8IAAAAAADLLcmVAAAAANdxicgARAAAAwAFVQAAAAgAAgAAAAAAAHicY2BkYGANZQAC5g1gkoGBkQEVsAEAHQMBGQAAAQAAAAYACAACAAAAAAACAAEAAgAWAAABAAAuAAAAAHicY2BkvMk4gYGVgYHVmHUmAwOjHIRmvs6QxiTEwMDEwMrMAAOMAgwIEJDmmgKkFD4sZw0F8UFkA1ANiA0AnBUI9wAAAuwARAAAAAACqgAAAAIAAAOwAKoC7ABEeJxjYGBgZoBgGQZGBhBwAfIYwXwWBg0gzQakGRmYGBQ+LP//H8gH0/8f88dC1QMBIxsDnMPIBCSYGFABI8SK4QwAjyUKiwAAeJxdUbtOW0EQ3Q0PA4HE2CA52hSzmZAC74U2SCCuLsLIdmM5QtqNXORiXMAHUCBRg/ZrBmgoU6RNg5ALJD6BT4iUmTWJojQ7O7NzzpkzS8qRqndpveepcxZI4W6DZpt+J6TaRYAH0vWNRkbawSMtNjN65bp9v4/BZjTlThpAec9bykNG006gFu25fzI/g+E+/8s8B4OWZpqeWmchPYTAfDNuafA1o1l3/UFfsTpcDQaGFNNU3PXHVMr/luZcbRm2NjOad3AhIj+YBmhqrY1A0586pHo+jmIJcvlsrA0mpqw/yURwYTJd1VQtM752cJ/sLDrYpEpz4AEOsFWegofjowmF9C2JMktDhIPYKjFCxCSHQk45d7I/KVA+koQxb5LSzrhhrYFx5DUwqM3THL7MZlPbW4cwfhFH8N0vxpIOPrKhNkaE2I5YCmACkZBRVb6hxnMviwG51P4zECVgefrtXycCrTs2ES9lbZ1jjBWCnt823/llxd2qXOdFobt3VTVU6ZTmQy9n3+MRT4+F4aCx4M3nfX+jQO0NixsNmgPBkN6N3v/RWnXEVd4LH9lvNbOxFgAAALgB/4WwAY0AS7AIUFixAQGOWbFGBitYIbAQWUuwFFJYIbCAWR2wBitcWFmwFCsAAAAAAJQAkQCJAK0ASQCiAFkALwA0ACwAMgBgAFEAIwBEAEIAIQDBAMUA0QDDAKQAhgCWAIEAmwCgALAApwBAAH8AhAGcABkD1gU/BakAWwURAAAALAAsACwALABKAHYAAHicY2BicGFgYEphDWVgZmBn0NvIyKBvs4mdhf+t0UY21js2m5iZgEyGjcwgYVaQ8CZ2NvU/NpsYQeLGgoqCqoqCii5MCv9UGGf8y2AN/bXaheUsAwMDI8Mqxh3MDCwCQHPlGDYw629gOAtEjBtY9DcwX9vAdBaINrIyajMYGAoDTVjFFPZ3FYvA3xVArQw0chMAaOU+EQAAeJyNkcFq20AURe8oTkIEzSpQyGo2BXthY2kXGrKxBuxALKNRSrayGIJAloJkB7xqviL7/ECgy35F9/2K7gOl1+MBZxFwNQzvjN597w5vAJziFQLb7zthywK+eHbs4Vj8cHzA/78cd8h/HB/ik/fZ8RF87yuVonPC019btWGBM/Hk2MOpeHF8wP8/HXfIvx0f4ly8OT7CmfcFXeToQSLEkOuCpLFCxXiDgrkGNVqsuZcwWDBKTJjPMYCPFGMoJNwSEWJGTZqSUkaFO2q15fc+AZfENX1KehjrNkWGOXnJrjPbccQduY6X6OPqQw+NWyo32o36I5/Yujxap4bnMZ1Krppe6OY9GQ6HF1KvKnlT5E3drtulWbRyUuUDPx2rRMkoVlpO41Squ4lO5bYmCOT1qixMJafZ3Cz9WaJGKqLwsn+1q9C3o5FS0a4mLovHwjRynJVlzQvEeLAT0JzxghOoeTPED6bS68W8JidM39tRZbw+EnO/KrPmPwr3Cr7ZgbQcTG2fIODIQj5ryJRp2qKuZDAMB+H+Vv8AUFeBAnicY2BiAIP/9gwiDNgAGxAzMjAxMDMyMTKzl+Zluhk4mnP4Jeam+qbqGQAAdi8GQnicY2BkYGDgAWIxIGZiYARCViBmAfMYAAPVADQAAAABAAAAANRuNHAAAAAAyy3JlQAAAADXcYnI) format("woff")}.ff4{font-family:ff4;line-height:.666504;font-style:normal;font-weight:400;visibility:visible}.m0{transform:matrix(.320260,0,0,.320260,0,0);-ms-transform:matrix(.320260,0,0,.320260,0,0);-webkit-transform:matrix(.320260,0,0,.320260,0,0)}.ls3{letter-spacing:0}.ls1{letter-spacing:43.240618px}.ls2{letter-spacing:49.918891px}.ls0{letter-spacing:49.966936px}.sc0{text-shadow:-.015em 0 transparent,0 .015em transparent,.015em 0 transparent,0 -.015em transparent}@media screen and (-webkit-min-device-pixel-ratio:0){.sc0{-webkit-text-stroke:.015em transparent;text-shadow:none}}.ws0{word-spacing:-12.011283px}.ws1{word-spacing:0}._1{margin-left:-3.74752px}._3{margin-left:-2.642482px}._0{margin-left:-1.008948px}._2{width:1.153083px}.fc0{color:#000}.fs0{font-size:48.045131px}.y2b{bottom:-386.843313px}.y2a{bottom:-366.455601px}.y29{bottom:-347.606585px}.y28{bottom:-328.629343px}.y27{bottom:-310.934348px}.y26{bottom:-290.674861px}.y25{bottom:-271.69762px}.y24{bottom:-252.848603px}.y23{bottom:-232.845565px}.y22{bottom:-213.868324px}.y21{bottom:-193.480612px}.y20{bottom:-175.785617px}.y1f{bottom:-156.808376px}.y1e{bottom:-139.113381px}.y1d{bottom:-119.87969px}.y1c{bottom:-100.774224px}.y1b{bottom:-80.258288px}.y1a{bottom:-61.409271px}.y19{bottom:-42.560255px}.y18{bottom:-23.326564px}.y17{bottom:-2.938852px}.y0{bottom:0}.y16{bottom:16.038389px}.y15{bottom:34.887405px}.y14{bottom:55.146893px}.y13{bottom:73.995909px}.y12{bottom:92.844926px}.y11{bottom:112.078616px}.y10{bottom:131.184082px}.yf{bottom:151.700018px}.ye{bottom:170.67726px}.yd{bottom:189.654501px}.yc{bottom:208.631742px}.yb{bottom:226.326737px}.ya{bottom:246.714449px}.y9{bottom:264.409444px}.y8{bottom:283.643135px}.y7{bottom:304.030846px}.y6{bottom:323.008088px}.y5{bottom:341.857104px}.y4{bottom:361.988367px}.y3{bottom:381.991405px}.y2{bottom:400.968646px}.y1{bottom:507.293741px}.h3{height:44.393701px}.h4{height:48.525582px}.h2{height:507.295022px}.h1{height:1014.58492px}.h0{height:1014.588763px}.w1{width:783.997438px}.w0{width:784px}.x0{left:0}.x2{left:115.162622px}.x3{left:161.323479px}.x5{left:184.403908px}.x4{left:207.484336px}.x8{left:230.564764px}.x6{left:253.645193px}.x7{left:276.725621px}.x1{left:348.787848px}

COG SCI 190 Lecture : Lecture - more notes on logic

United States

Special Topics in Cognitive Science

Cognitive Science

Terry Regier

University of California - Berkeley

The Beauty and Joy of Computing

COG SCI 190 Study Guide - Midterm Guide: Modus Tollens, Modus Ponens, First-Order Logic

COG SCI 190 Study Guide - Final Guide: Entscheidungsproblem, Behaviorism, Noam Chomsky

COG SCI 190 Study Guide - Final Guide: Universal Turing Machine, Colorless Green Ideas Sleep Furiously, Physical Symbol System

COG SCI 190 Lecture : Lecture - more notes on logic

Get access

Related Documents

COG SCI 190 Study Guide - Midterm Guide: Modus Tollens, Modus Ponens, First-Order Logic

COG SCI 190 Study Guide - Final Guide: Entscheidungsproblem, Behaviorism, Noam Chomsky

COG SCI 190 Study Guide - Final Guide: Universal Turing Machine, Colorless Green Ideas Sleep Furiously, Physical Symbol System