Stack Internal

Knowledge at work

Bring the best of human thought and AI automation together at your work.

Appropriate for questions about truth tables, conjunctive and disjunctive normal forms, negation, and implication of unquantified propositions. Also for general questions about the propositional calculus itself, including its semantics and proof theory. Questions about other kinds of logic should use a different tag, such as (logic), (predicate-logic), or (first-order-logic).

• Featured on Meta
• Chat room owners can now establish room guidelines

Hot Network Questions

• Magic item feedback: Karmic Ring
• Will this this schematic modification work?
• What damages are recoverable for late delivery of a package?
• Did around 50% of sailors die from scurvy on long voyages?
• Murphy's Theorem 3.3.2 on positive linear functionals
• If photons are the carriers of the electromagnetic force, why isn't electricity made of photons?
• Is a proper wire nut connection possible if wires don’t twist?
• Find Extreme UV data source for the Sun
• Teil vs Unter for Mathematical Structures
• Expected number of upsets in a knockout tournament
• Cutoff times for Seoul City Air Terminal check-in
• Is there an asymmetric standard applied to zero probability events?
• Soft drinks in my office’s community fridge keeps disappearing. How to deal with this?
• The Airbus A320 that pitched down due to solar radiation recently. Why did that happen? I thought the computers vote the corrupted one out and ignore?
• Was the spittle and mud in John 9:6-7, symbolic, a catalyst to faith, or a required act of obedience?
• What exactly is Kripkenstein?
• Undecidable Checkmate
• How many Runway Holding Position markings are needed?
• Difference between VOR approach (with DME required) and VOR DME approach?
• Bridge Edge Loops not working between 2 clearly defined Edge Loops
• Why is the verb "to sic" conjugated with a double c rather than the more typical ck?
• What does E.T. mean in E.T. the Extra-Terrestrial?
• When exactly does the game clock start during an American football kickoff?
• Sum of the parts