Sheffer

Meghatározás

A 'sheffer' kifejezés a logikában a Sheffer-vonal kifejezése, amely egy logikai művelet, és jellemzően a conjunxió negációját jelenti. Ezt a műveletet az alapvető logikai műveletek, mint az ÉS (∧) és a NEM (¬) kombinációjaként használják.

Szinonimák

• logikai művelet
• negáció
• kibővített logika

Rokon értelmű szavak

• operátor
• konjunkció
• diszjunkció

Ellentétes értelmű szavak

• igaz
• hamis
• megerősítés

Példamondatok

• A Sheffer operátor egy érdekes logikai eszköz a formális logikában.
• A sheffer-vonal segítségével a bonyolult logikai kifejezések egyszerűsítésére is lehetőséget ad.
• Mivel a sheffer művelet sajátos reprezentációt kínál, különösen népszerű a matematikai logikában.
• A logikai rendszerünkben a sheffer-vonal révén pontosan le tudjuk írni a negációt és a konjunkciót együttesen.