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