jzkay Knowledge Base

Proposition

Initializing search

jzkay Knowledge Base

Home
Public
Public
- Finance
  Finance
- Fitness
  Fitness
  - Resistance Training
    Resistance Training
    
    Body power
    
    Body stability
    
    Bodyweight exercise
    
    Cardiovascular endurance
    
    Concentric movement
    
    Eccentric movement
    
    Endurance
    
    Exercise
    
    Fitness
    
    Hypertrophy
    
    Isometric movement
    
    Lift
    
    Muscular endurance
    
    Power
    
    Resistance training
    
    Strength
    
    Tension
    
    Training repetition
    
    Training set
    
    Training tempo
    
    Training variables
    
    Weightlifting
- Index
  Index
- MOC
  MOC
- Math
  Math
  - LaTeX cheat sheet
  - MAT 108 Review
  - Base
  - Bijection
  - Binary
  - Boolean
  - Decimal
  - Discrete
  - Equal
  - Function
  - Hexadecimal
  - Integer
  - Linear algebra
  - Maxterm
  - Minterm
  - Natural
  - Numeral system
  - Octal
  - One to one
  - Onto
  - Operand
  - Operation
  - Operator
  - Product
  - Proof
  - Sequence
  - Sum
  - Unary
  - Analysis
    Analysis
    
    Analysis
    
    Numerical analysis
    
    Numerical method
    
    Real analysis
  - Axioms
    Axioms
    
    Additive inverse
    
    Associativity of addition
    
    Associativity of multiplication
    
    Cancellation
    
    Commutativity of addition
    
    Commutativity of multiplication
    
    Distributivity
    
    Identity element for addition
    
    Identity element for multiplication
    
    Reflexivity
    
    Replacement
    
    Symmetry
    
    Transivity
  - Calculus
    Calculus
    
    Calculus
    
    Continuous
    
    Derivative
    
    Differentiation
    
    Integral
    
    Series
  - Graphs
    Graphs
    
    Cycle
    
    Edge
    
    Eulerian cycle
    
    Graph
    
    Trail
    
    Vertex
    
    Walk
  - Logic
    Logic
    
    And
    
    Conjunction
    
    Contrapositive
    
    Converse
    
    Definition
    
    Disjunction
    
    Equivalence
    
    Existential quantification
    
    Implication
    
    Negation
    
    Not
    
    Or
    
    Proposition 1
    
    Proposition
    
    Propositional logic
    
    Universal quantification
  - Proofs
    Proofs
    
    Principle of mathematical induction
    
    Proof by induction
  - Sets
    Sets
    
    Set theory
    
    Cardinality
    
    Cartesian product
    
    Composite relation
    
    Empty set
    
    Equivalence class
    
    Equivalence relation
    
    Function equality
    
    Function
    
    Intersection
    
    Irrational numbers
    
    K subset
    
    Natural numbers
    
    Partition
    
    Power set
    
    Quantifier
    
    Rational numbers
    
    Rational
    
    Real numbers
    
    Relation
    
    Set complement
    
    Set difference
    
    Set equality
    
    Set
    
    Subset
    
    Tuple
    
    Union
  - Statistics
    Statistics
    
    Poisson distribution
    
    Correlation
    
    Covariance
    
    Expected value
    
    Exponential distribution
    
    Geometric distribution
    
    Linear regression
    
    Random variable
    
    Variance
  - Theory
    Theory
    
    De Morgan's law
    
    Axiom
    
    Limit lemma
    
    Theorem
- Misc
  Misc
  - Quotes
- Tech
  Tech
  - Hardware
    Hardware
    
    Computer
    Computer
    
    FPGA
    
    GPU
    
    PSU
    
    SoC
    
    Buffer
    
    Computer
    
    Core
    
    Firmware
    
    Flash memory
    
    Integrated circuit
    
    Microcontroller
    
    Motherboard
    
    Single board computer
    
    Software
    
    Storage
    
    Computer Architecture
    Computer Architecture
    
    CISC
    
    CPU
    
    D latch
    
    IO device
    
    MIPS CPU
    
    Mealy state machine
    
    Moore state machine
    
    RISC
    
    SR latch
    
    Adder
    
    Analog
    
    Cache
    
    Circuit cheat sheet
    
    Clock edge
    
    Clock skew
    
    Clock
    
    Comparator
    
    Demultiplexer
    
    Device
    
    Digital
    
    Finite state machine
    
    Flip flop
    
    Gate
    
    Hardware
    
    Instruction
    
    Interconnect
    
    K maps
    
    Latch
    
    Literal
    
    Memory
    
    Multiplexer
    
    One hot decoder
    
    One hot encoder
    
    Register
    
    Semiconductor
    
    Short circuit
    
    Subtractor
    
    Transistor
    
    Xor
    
    Devices
    Devices
    
    DSLR
    
    Camera
  - Networks
    Networks
    
    FTP
    
    HTTP
    
    IP address
    
    MAC address
    
    OSI model
    
    SSH cheat sheet
    
    SSH
    
    TCP
    
    Access link
    
    Address
    
    Client
    
    Cloud
    
    Data center
    
    Host
    
    Internet
    
    Message
    
    Network
    
    Pipe
    
    Port
    
    Protocol
    
    Proxy
    
    Request
    
    Router
    
    Server
    
    Socket
  - Software
    Software
    
    AI
    AI
    
    Artificial intelligence
    
    Bias
    
    Coefficient of determination
    
    Computer vision
    
    Confusion matrix
    
    Cost function
    
    Cross validation
    
    Curve fitting
    
    Data preprocessing
    
    Dataset
    
    Deep learning
    
    Dependent variable
    
    Dimensional data
    
    Error
    
    Feature engineering
    
    Image classification
    
    Image
    
    Independent variable
    
    K fold cross validation
    
    Machine learning
    
    Mean squared error
    
    Model training
    
    Object detection
    
    Object localization
    
    Object segmentation
    
    Time series
    
    Variable
    
    Engineering
    Engineering
    
    API
    
    CRUD
    
    LTS
    
    MVP
    
    Backend
    
    Bug
    
    Component
    
    Container
    
    Containerizer
    
    Controller
    
    Coverage
    
    Database
    
    Debugging
    
    Dependency
    
    Fidelity
    
    Frontend
    
    Full stack
    
    Kanban board
    
    Linter
    
    Prototype
    
    Route
    
    Runtime environment
    
    Schema
    
    Scope
    
    Software testing
    
    Stylesheet language
    
    Unit test
    
    Wireframe
    
    Tech Stack
    Tech Stack
    
    CSS
    
    CockroachDB
    
    Django
    
    Docker
    
    Express.js
    
    HTML
    
    Insomnia
    
    Java
    
    JavaScript
    
    MongoDB
    
    Node.js
    
    Python
    
    Tailwind CSS cheat sheet
    
    Tailwind CSS
    
    TypeScript
    
    Operating Systems
    Operating Systems
    
    Bash cheat sheet
    
    Bash
    
    CLI
    
    Fast File System
    
    GDB
    
    GNU
    
    GUI
    
    IPC
    
    Linux
    
    MacOS
    
    Powershell
    
    Unix
    
    Windows
    
    Access control
    
    Blah
    
    Bootstrapping
    
    Command
    
    Compile
    
    Concurrency
    
    Console
    
    Cronjob
    
    Deadlock
    
    Directory
    
    Disk
    
    Distros
    
    Dual mode operation
    
    Environment
    
    Exit
    
    File path
    
    File system
    
    File
    
    Flag
    
    Hard link
    
    Inode
    
    Instruction set
    
    Interrupt
    
    Job
    
    Kernel
    
    Library
    
    Lock
    
    Machine code
    
    Memory allocation
    
    Memory protection
    
    Mount
    
    Operating system
    
    Path
    
    Pipe (command)
    
    Privilege
    
    Process
    
    Processor
    
    Redirection
    
    Root
    
    Script
    
    Segmentation fault
    
    Sequential execution
    
    Shebang
    
    Shell
    
    Signal
    
    Source code
    
    Starvation
    
    Stream cheat sheet
    
    Stream
    
    Symlink
    
    Synchronization variable
    
    System call
    
    Terminal
    
    Text editor
    
    Thread
    
    Timer interrupt
    
    Tokenize
    
    Virtualization
    
    Volume
    
    Wrapper
    
    Theory
    Theory
    
    Big O notation
    
    DFA
    
    Myhill Nerode theorem
    
    NFA
    
    NP complete
    
    NP hard
    
    NP
    
    P
    
    RRG
    
    Turing machine
    
    Abstraction
    
    Algorithm analysis
    
    Algorithm
    
    Alphabet
    
    Automata
    
    Concurrent programming
    
    Data structure
    
    Data
    
    Decision
    
    Deterministic finite automata
    
    Dynamic memory
    
    Dynamic programming
    
    Functional programming
    
    Graph
    
    Heap
    
    Immutable
    
    Imperative programming
    
    Iterator
    
    Language
    
    Logic programming
    
    Memoization
    
    Node
    
    Object oriented programming
    
    Omega notation
    
    Optimization
    
    Programming language
    
    Pure function
    
    Regular expression
    
    Regular language
    
    Root
    
    Runtime
    
    Search
    
    Semantics
    
    Small omega notation
    
    Small o notation
    
    String
    
    Substring
    
    Symbol
    
    Syntax
    
    Theta notation
    
    Tree
    
    Witness existence
    
    Tools
    Tools
    
    GitHub
    
    VSCode cheat sheet
    
    Windows cheat sheet
    
    Changelog
    
    Commit
    
    Flowchart
    
    Git cheat sheet
    
    Git repository
    
    Git
    
    Package manager
    
    Password manager
    
    Vim cheat sheet
    
    Vim
    
    Yabai cheat sheet
    
    Yabai
    
    Appearance
    Appearance
    
    Colors
    
    Design resources
    
    Themes
    
    Productivity
    Productivity
    
    Arc cheat sheet
    
    Arc
    
    MacOS cheat sheet
    
    Obsidian cheat sheet
    
    Obsidian
    
    Productivity stack
    
    Obsidian
    Obsidian
    
    Markdown cheat sheet

Proposition

A proposition is a statement or assertion, that is either true or false. ¹

https://brilliant.org/wiki/propositional-logic/ ↩

Made with Material for MkDocs