-1+1887 
Logic 101

These lectures cover introductory sentential logic, a method used to draw inferences based off of an argument's premises. Logic is ubiquitous--individuals thinking of pursuing a career in law, computer science, mathematics, or social science must have a firm understanding of basic logic to succeed. Even someone who occasionally programs in Microsoft Excel would benefit greatly.

Lectures
  1. Welcome

    What are we doing here?

  2. Simple Sentences and Logical Operations

    Learn the language of logic.

  3. Truth Tables

    The algorithmic way of knowing when the truth value of simple sentences implies truth in more complex expressions.

  4. Replacement Rules

    Some complex statements are identical to simpler statements. Replacement rules teach you how to make these substitutions.

  5. Rules of Inference

    Knowing that two statements are true often allows us to draw new conclusions. Rules of inference ensure that those conclusions are valid.

Prerequisites

Logic 101 is the ground floor--there are no prerequisites other than being willing to think through problems.

Syllabus

This class will cover eight topics:

  • Simple Sentences and Operations
  • Truth Tables
  • Replacement Rules
  • Rules of Inference
  • Proofs
  • Conditional Proofs
  • Proof by Contradiction
  • Formal Fallacies
Additional information

The class has a few mirrors:

Subscribing to my YouTube channel is the fastest way to view new lectures.

Teacher qualifications

I am a PhD Candidate at the University of Rochester. I specialize in game theory, bargaining, and international relations.

Latest Update

none

Roster
1. thissideofdead
2. chinsi
3. Asnanon
4. ksajksale
5. syberdragon
6. aw232
7. StrawberryBlues
8. FloydIV
9. gnosticmike
10. IAmBronado
11. bistander
12. weezul
13. Zerticus
14. Raz9999
15. TheOneThatSaid
16. ath3rion
17. firu86
18. sixxs_girl
19. iShoot
20. olleolle
21. raz101
22. lgonzalez09
23. pandabear3400
24. asolis559
25. you22211
26. THaloHarbinger
27. TheExiled
28. muaaimoi
29. bevy10
30. r.vasu0
31. krybo
32. aidank
33. LRStein
34. takegiantsteps
35. MrKnowStuff
36. TheCocoducks
37. DampedWharf
38. R0se
39. chrisempire
40. wakeupgetdown
41. lukestarrrR
42. DeDodgingEse
43. highhopes223
44. HansTheMoleMann
45. callieb421
46. ajholmez
47. mantalones
48. IAMA_TV_AMA
49. dracoexplosion
50. Soutine
51. MXVII
52. keyboard_9
53. keyboard_9
54. Nischal
55. DinoRawrrous
56. screamingstar
57. ZhanchiMan
58. fb720
59. harshael
60. t0c
61. Wotgirl80
62. pattzalrex
63. Ethnochoreologist
64. Ratking
65. vinay1997
66. coyotequark
67. forvino
68. CapiToLL
69. Olive
70. cldukes06
71. photonarray
72. darkAstronomy
73. juanmnl
74. awkwardcornbread
75. bluesiamese
76. rmgrave10der
77. mobyxe
78. Scottyd7
79. jairuncaloth
80. ashsaysrawr
81. luna079
82. SatanV2
83. kindablunted
84. NaefAlduhaim
85. spinozas_bum
86. Tirran
87. DigitalKlepto
88. DeepThought88
89. EndlesslyCurious
90. Rapturehawk
91. amingley
92. ozgurbudak
93. anamarija_martinic
94. pooponastick
95. morgodhan23
96. Mastermind
97. Maromi
98. eolithic_frustum
99. pavi
100. DirtyElectrode
101. deletecookies
102. selfrighteouspsycho
103. jaesus
104. iwuchukwuj
105. Aegyptoc
106. msinny
107. ericqespiritu
108. gabilromariz
109. liebstraum
110. raageo
111. muscle_tech
112. mtcorrey
113. ayodeleohh
114. Batchmuffin
115. manishsingh
116. ankitwww
117. pntrivedy
118. sidhrth
119. deapolis
120. SockWitch
121. Ain
122. VeeShip
123. JLoCo419
124. corvash
125. enviro
126. Synaptic_Shok
127. lbaile21
128. dafyddcymraeg
129. dougal6
130. vchollati
131. audunthecyborg
132. valhallap
133. RexCarsalot
134. thanksfuture
135. hectorthecollector
136. 50grams
137. enoct
138. Chaco_boom
139. cobbless
140. vexar89
141. opinionsandsuch
142. Liwke
143. deathhammer666
144. abhi111
145. cynicalceleste
146. cocoa_turtle
147. akw706
148. Halfasiagrl
149. Nach
150. Yojimbo
151. thomasvarney723
152. tobeswoleofbody
153. efederi
154. lx003n
155. chrisvvolf
156. mhipley
157. Naiyon
158. bemusedfuse
159. followthewhiterabbit
160. renkluaf
161. feebarscevicius
162. admiralgeneral
163. Chris_12
164. ameyraje
165. tparks93
166. goldenpaprika
167. ecNate
168. nemgreene
169. olds0ul
170. ilr1
171. phromdapharcyde
172. magischthis
173. LordDaedalus
174. jdsegal86
175. mpls_slim
176. jillian
177. jbswsh
178. a1b2p1s2
179. Julian
180. TommyTit
181. Surya_Prakash
182. mattellio
183. TheManicMan
184. makwom
185. roflmacopter
186. thekiwifish
187. rtnrhl
188. blackcats31
189. pandaren88
190. Fdjaynes
191. Outlandish_Minn
192. mcdemax
193. linh.ly87
194. freedumb123
195. krispydoughnut
196. mwarren212
197. Bimbishkin
198. thawigga
199. murasa
200. ficar
201. RickisDMAN
202. Zenradiance88
203. Dragonduck
204. sambattey
205. east89west
206. Marleybejammin
207. Owan101
208. Brocks_Onix
209. suds171
210. geoffdmn
211. Spillzy
212. Lapidarist
213. jgp93
214. jjackkirk
215. kunalprakash
216. tillyt
217. pngreg
218. eponymic23
219. uurtaimongol
220. finickydesert
221. riotart
222. ydennek07
223. ender210
224. nikhil95
225. teyooo
226. Alienz225
227. nshrestha47
228. oscar13
229. Ravenn
230. bxh
231. ihascarots
232. eitutytis
233. onebaby
234. Tara
235. longgoodknight
236. daddycook
237. polrbayr
238. deansremorse
239. blinktigerfire
240. hazel_fae
241. raquelshungergames
242. desgrey
243. cgjamie
244. zmhu
245. MX991U
246. TotallyGeekage
247. stolling_rones
248. ValiantEntity
249. WaywardWanderer14
250. brianfiggy
251. mad5675
252. Tra5ey
253. hannnah
254. rs332602
255. pieceofmind88
256. gambit.7
257. maneki_neko89
258. amalgiata
259. midnyght219
260. BobbyStewart314
261. HolyBlobfish
262. Rachael_S
263. inconcisedecision
264. Dalanr
265. mtschill
266. lino123
267. stephen_b_brown
268. Yenniesaurus
269. doradorkable
270. Jupiters
271. lazyshmuk
272. i_am_squish
273. smolio
274. no_one_is
275. theCoolGuyy
276. bobbibee
277. Saygonygonygo
278. jmesnard
279. darpa-
280. victoremnm
281. leonbasin
282. ILikeBirds
283. jone7up
284. BatLockWKML
285. MxUnicorn
286. SandBoxKing
287. ygrichman
288. ohmyerica
289. raineou
290. pontiacks
291. firefokos
292. jlarez
293. Mav986
294. happygore
295. Penquin
296. dani.buda
297. thecuriousguy21
298. MisterE
299. weiknarf
300. commontreefrog
301. amarie91
302. fagroot
303. zedsded969
304. Chursh
305. omegapoint0
306. somratan
307. snakeds
308. PanKarol
309. shawnrouth
310. machiavelliwat
311. oikos
312. MercilessMeat
313. Iamwillingtolearn
314. benzindia
315. WanderingFinches
316. MXD789
317. heja32
318. jwhitlark
319. nostripewhite
320. joechurch
321. NeeBo
322. utkarsh.bhatt12
323. Tobiwankenobi
324. howleg
325. evocativeparadox
326. epark89
327. sohrab.soltani
328. SomosDios
329. Aysha202014
330. aevrah
331. crackled_spackled
332. crackled_spackled
333. jubu
334. Driftw00d
335. khichi
336. pwan
337. cowcommander
338. gfrenchie
339. iamfritch
340. bush43
341. ModernWolf
342. Adiroth
343. mattv111
344. aljohn
345. tpkalman
346. asdwdf
347. halliwm
348. deadbolt_cathedral
349. nico.v
350. JHilyes
351. hongsonntt
352. Rubidium
353. Rubidium
354. adrasteiadarkness
355. hnasir13
356. dougshamoo
357. flaspd
358. JCACaddell
359. mimin
360. phenkdo
361. raisinpon
362. happenstance
363. rifche
364. otac0n
365. cheef_resident
366. apidome
367. jasonshepp
368. L2BSmart
369. soitcause
370. apahty
371. Zlth
372. greencypher
373. CodeGamma
374. JWValinor
375. mostdopenick
376. teh_tetra
377. ilyka
378. mcdito13
379. rathen45
380. Felement26
381. JCASHDAKID
382. leissram
383. evil_edamame
384. papagio
385. TheBaptizedAtheist
386. LibLib
387. kms482
388. pepe454
389. HorseMasksOnly
390. ineededucation
391. andrei14
392. manish8892
393. chucklesngiggles222
394. nitins
395. underture
396. Peroviendo
397. yi239
398. Bravo786
399. drphone1
400. a_heine
401. ttift1991
402. brilliancy
403. smackey1015
404. m477i3win2
405. hexdream
406. jtmbags
407. Troglodite
408. Richo1337
409. PopPunkAndPizza
410. CaptFantastic
411. conspiracyofqueens
412. Miliferloni
413. jiggy11
414. shord143
415. ravensreign
416. theranchhobbit
417. annatema
418. Nowa
419. Janette
420. btchorns
421. PERCE-NEIGE
422. iyachaa
423. corycruse
424. colleenegg
425. Ellaylone
426. caseyinman
427. tsusu
428. utkarshs
429. camenzind
430. Edhirdel
431. wwalid2050
432. tago
433. intro_VERT13
434. Gromona
435. nawalster
436. louisckwiseau
437. sh33dyiv
438. stef2death
439. danyalamriben
440. Lizzie
441. l0serdude
442. DeeDee
443. jameswalrath
444. iamsurbhi
445. lalalydia
446. bakerstreetresident
447. andy2ndlife
448. Afonso
449. redbrigadier
450. apeman31
451. suicidemypants
452. NerdyPhun
453. crichm03
454. shamwow19
455. RicoSpartan
456. Djohnnok
457. beachmouse
458. sotacan
459. kristalose
460. tammyramey
461. Anayansi-Iris
462. turko420
463. yesitisme
464. zhangn1029
465. Einzakin
466. dnivie
467. pirehappy
468. ningandma
469. ti_an
470. ThatAwesomeRedditor
471. korvil
472. buguoruci
473. kip9
474. ArsSesame
475. zpat93
476. tmascia
477. KatieKira88
478. narry008
479. mpmpie
480. guneyd
481. adsontickets
482. XDGAMER1
483. MissyLin
484. Bnealis
485. siemprelearner
486. atomic_reddit
487. burton87420
488. boolover
489. Devioddj
490. Shakirayshakira
491. LMPtG1
492. deonvw
493. kaneda
494. fredeww
495. fredeww
496. tais9
497. geniiissss
498. rewman4
499. da0klesk
500. EtienneLumiere
501. The3rdIcon
502. 7elk
503. jperk46
504. firesalts
505. miloscz1
506. prafuture
507. Lucifer98
508. A351R
509. KDowning19
510. Loquutus
511. mawuli
512. impractical_skillz
513. Lennonn909
514. secondstory
515. secondstory
516. natalietyer
517. mlab
518. nanapau
519. DowningK19
520. wildwildwolves
521. ColeHudson
522. Kanik07
523. higgsfield
524. turambarr
525. coffeeblack198
526. sintrastes
527. csbrandon
528. brodsterxd
529. grovah
530. relevant_thing
531. gbackstrom
532. shitzfez
533. the_power_t
534. Amber_BC
535. kingosraigi
536. idhooom
537. S7u15h
538. paperclip9
539. Theguybehindthescreen
540. BionicBreak
541. haraf_ijhal
542. Sephiroth11th
543. Hugh472
544. dooleynotedd
545. judeur1957
546. labyrinth5
547. person645h
548. jcbnhcn
549. Gr3c03
550. malcolmesque
551. HeisenbergKnocking80
552. Shilvershelver
553. WarGy_Luremus
554. addGinger4flavor
555. vinsanity16985
556. nikolai
557. killpineapple
558. micahwood50
559. JackElKraken
560. kkmcg21
561. camaro_gt
562. pangurbon
563. Lt_Meowkovich
564. xibipiio
565. S023
566. Praxibetel_Ix
567. NAH-Nick
568. dopaminekata
569. P3t3rU5
570. nesquick123
571. vaGnomeMagician
572. stefanodelima
573. _Rozenwyn_
574. gothsurferdude
575. NapoleonBonerpartee
576. elaearhart
577. IAN121
578. StevenXL
579. Crexyn
580. Ishwari
581. coco_the_pirate
582. dreadman86
583. turqbob
584. asingh21
585. kohilak
586. shalashtein
587. rbufton90
588. foreverinloans
589. pimmehsc
590. Jpmulongo
591. asifjaved
592. alyss228
593. JulFlo
594. bondi
595. Yana
596. snowdog84
597. beerd_me
598. adamque89
599. katemarie
600. Alisher
601. Frivelly
602. NorwegianRage
603. mongst
604. ageleia
605. pchun008
606. kevinnguyen
607. sutton_nightmare
608. CatalinWeb
609. manivineet
610. mustafakisa
611. Mochitas
612. hdun
613. xcathix
614. mahkande
615. AmerieHartree
616. kdlynch12
617. mehmetaltunbas
618. wandaiH
619. wiiforvendetta
620. surfercooler
621. cassiusmoriarty
622. akamu2
623. inbfor
624. babushan
625. acesythe
626. harrig01
627. _hondaaccord1996
628. Higs
629. jap149
630. khellick
631. majoules
632. liz11364
633. avinvarghese
634. Asylum
635. Vexed
636. JokerFrown
637. aberdeneafsta
638. 20sat92
639. bmw1292
640. Mwurster89
641. jedispyder
642. snow_drop32
643. ibs484
644. elitacilan
645. clevver.miru
646. givingitatry
647. fml-6626
648. patrikas2
649. themleaks
650. aboutdabusiness
651. Abdiwali
652. wutufu
653. aromatic_everything
654. pixelatedsuits
655. cassia119
656. just_real
657. desipoop
658. hooray4alex
659. fuckpatricksmom
660. justanr
661. emancipat3
662. ivanureddit00
663. rkoziello
664. Gigantopithecus
665. mrrsmith418
666. fillphree
667. moscribes
668. finare
669. kvarjoy
670. vpot
671. kjbalaji
672. jimmmyboy
673. Vin
674. garymutherfuckingoak
675. xoberon
676. nieri
677. dungeonmasterbater
678. czarkohl
679. ni11256
680. Supplebuffalo
681. uberstalker
682. ravix
683. JHulsinger
684. missyllow
685. SajithR
686. anubhav
687. idxxoutoftheblue
688. Lamarana
689. Solonar
690. okamisan
691. arc12345
692. sheikhshadi
693. sfiltz
694. ClassicalBrat
695. JasperLusterio
696. mocity87
697. BurtsWasp
698. nowellahhh
699. 4428765443328
700. Canoener
701. pablito001
702. rakeshkatti
703. NadrArt
704. cmoney927
705. dumpfixxer
706. tchaudhari
707. silentnuke
708. APWilliams
709. viscousstone
710. derdnik
711. crabsandhowtoloveone
712. ekobar
713. BishopDonEdwin
714. ryanledson
715. Rhoadef
716. beltboxington
717. YungSizzurp
718. BPearson07
719. Nanodive
720. EpicDragon11
721. the_red_hope
722. petersrule
723. HansHandsome
724. smasherlee
725. UrbanS
726. xrysakalu
727. mktagle
728. bastianse
729. anonjihen
730. akbotik_92
731. eertmlap
732. FortyDeuce
733. reganj
734. hiimmichael
735. monicaleba
736. Marunertos
737. bruno30
738. Diabetis17
739. Nosyaj1941
740. westsidestory89
741. ghandi9
742. s.v.b.
743. keblur80
744. AlexMotorcycles
745. AlexMotorcycles
746. calamarichris
747. mouellette
748. Robo_Dx42
749. nafm999
750. tdchu
751. whoviangirl92
752. Joecorgi
753. cosmic_athlete
754. noddy
755. nancyland
756. ArjnRao
757. maviles11
758. Lothgoradin
759. singlebrokefemale
760. nilesh_paladiya
761. rubiciel
762. OctothorpeVi
763. htindon
764. dosp5
765. Adzam_Esi_Mawuena_Ruth
766. yoze15
767. rusty_vin
768. user11166045
769. kamronb
770. anya5
771. thewutangclan
772. mrpawide
773. gpereira
774. helenofficial
775. seidskald
776. bobbi.bee
777. sibonilestuurman
778. caseycalvin
779. blairblakely4
780. winnercakesall
781. naviteryus
782. NobleBunny
783. Driplone
784. theGalatian
785. SaraJamous
786. danipernevan
787. SunnyTiti
788. just_
789. darkespin
790. Buck_Cletus_the_third
791. mairala
792. Victorialao
793. WilsonCPinto
794. lookouts
795. Letoysoldier
796. xhyperamp
797. mand-y-ee
798. lebluhm
799. Arpx
800. zombiereunion
801. Bibi12
802. rajat_nsit
803. daedraug
804. Rsonick
805. jordangold123
806. romania74
807. dharm88
808. hastala
809. augustfifteenth
810. hareeshreddy.konda
811. pertec
812. shery1994
813. gaans
814. avinash664591
815. zezima77
816. QuantumQuark5
817. silverman33
818. lex_ceja
819. seanknight
820. nobodycaresbears
821. sumwun21
822. Daysdisappear
823. MS.JACK415
824. Mastermind_Simpleton
825. com2012
826. ianrocks21
827. tbk276
828. waggertron
829. I_check_passwords
830. Bunnino
831. shlomer
832. pickup10
833. ElizabethStanley
834. passthegouda
835. starskip
836. afrodeezee
837. shreds9
838. YuanMiku
839. ryuka
840. rgrcalumpong
841. shrawed
842. ablest1980
843. kris1015
844. Yahiko
845. cerebrick
846. __hsams__
847. dupeofadupe
848. Uhstrology
849. alexantherethegreat
850. Darkness
851. SchizoPsychoMan
852. mollyhorn
853. Lora_Gjoka
854. kayedominique
855. kozmostar
856. ivan216
857. lexyjankowski
858. nikosdano
859. nezrock
860. blahblahblahblah
861. angelsambition
862. apocrypha13142
863. sofia--mcd
864. phunkfenom
865. ohgoditsdoddy
866. Raddok
867. Emily6234
868. panerapotato
869. ImNotCool
870. koliamaklaudas
871. Mete0r1t3
872. Krishan14
873. buckabucka
874. Edotensei
875. vinicius97
876. asunza
877. jehohen
878. vegaschick
879. bobbiburrows2
880. darioxfz
881. rumtigger
882. tensr
883. AtulK
884. WeaponsMaster9
885. alooploop
886. erubiano8
887. mnmcintosh
888. jobrobber
889. almusbahi23
890. antnh1
891. apis88
892. steffismirh
893. Gesteiger
894. rb640
895. DoYouEvenBrown
896. mulaykah
897. CrazyLineman777
898. JordanNerdLee
899. spencair
900. crazywhiteguy
901. jchamp0227
902. buddhamom66
903. anaconda101
904. gmontague0205
905. kayeels
906. endeavour
907. exit7248
908. melonmusk768
909. DarkGeomancer
910. anjan_21
911. sarah_ren
912. chebon
913. iheardulkwafflez
914. theEMPTYlife
915. TangoCheetahs
916. RadioactiveXSmile
917. maryam.sharif.73
918. SkySkySkylar
919. kuroz
920. intergalacticacid
921. gabbystolton
922. Derxo
923. tarabug44
924. VMolnar89
925. angieginny55
926. AnaMaalisha
927. ramenom
928. tamn
929. thatgirlfromgalifrey
930. Filmgeek1a
931. kanemano
932. Tertuis
933. a13ph
934. Ximilez
935. AkoSiAlexander
936. uselesschien
937. onuraltan
938. causa77
939. caliooppub
940. Halkilt
941. taartun
942. ImpishVenus57
943. Leila077
944. Dsandoval94
945. wishmasterdj
946. SilverMelon
947. zeroknowledge
948. R3vis1on
949. sookoor
950. Christine888
951. AEkrid
952. iNeedMoney
953. GiveMeAnarchy
954. duskblack