Letterale
Multi tool use
Nella logica proposizionale, un letterale è una formula atomica o la sua negazione.
Un letterale può essere di due tipi: positivo o negativo.
Dato un letterale l{displaystyle l}
, il suo complemento è un letterale rappresentato con la negazione di l{displaystyle l}, e viene scritto con l¯{displaystyle {bar {l}}}
. Più precisamente, se l≡x{displaystyle lequiv x}
allora l¯{displaystyle {bar {l}}} è ¬x{displaystyle lnot x}
e se l≡¬x{displaystyle lequiv lnot x}
allora l¯{displaystyle {bar {l}}} è x{displaystyle x}
.
Nel contesto di una formula in forma normale congiuntiva, un letterale è detto puro se il suo complemento non appare nella formula.
Bibliografia |
- Giorgio Ausiello, Fabrizio D'Amore, Giorgio Gambosi, Linguaggi modelli complessità, Milano, Franco Angeli Editore, 2003, ISBN 88-464-4470-1.
- (EN) Samuel R. Buss, An introduction to proof theory, in Samuel R. Buss (a cura di), Handbook of proof theory, Elsevier, 1998, pp. 1–78, ISBN 0-444-89840-9.
 Portale Informatica
|
 Portale Matematica
|
oEHs JU45,br2NC8vNS 4rANFP 09aN4oJ1CC qXef PSNz JGKw NHRrMjPuN,ty yJ8OpszxNWI27wqZAl4TXB8W9EfJ3eVWyWJ,OPV
Popular posts from this blog
8-я гвардейская общевойсковая ордена Ленина армия Награды: Войска: РККА → Советская армия → СВ России Род войск: Формирование: 1943 Расформирование (преобразование): 1992 Предшественник: 62-я армия (1942—43) → 8-я гвардейская общевойсковая армия (1943—92) → 8-й гвардейский армейский корпус (1992—98) Боевой путь Изюм-Барвенковская операция Донбасская операция Запорожская операция Битва за Днепр Днепропетровская операция Березнеговато-Снигирёвская операция Одесская операция Люблин-Брестская операция Варшавско-Познанская операция Восточно-Померанская операция Берлинская наступательная операция У этого термина существуют и другие значения, см. 8-я армия. Фотография Гвардейского Красного Знамени (лицевая сторона) 8-й гвардейской армии , образца 1943 года. Фотография Гвардейского Красного Знамени (оборотная сторона) 8-й гвардейской армии , образца 1943 года. 8-я гвардейская общевойсковая ордена Ленина армия — гвардейское фор...
Сан-Квентин Местоположение Сан-Квентин, Калифорния Координаты 37°56′13″ с. ш. 122°29′20″ з. д. H G Я O L Текущий статус Действует Режим безопасности минимальный и максимальный Количество мест 3 302 Открытие Июнь 1852 Находится в ведомстве California Department of Corrections and Rehabilitation Начальник Mike Martel, начальник Сан-Квентин на Викискладе Сан-Квентин (англ. San Quentin ) — тюрьма, располагающаяся на 432 акрах (около 1,7 км²), на мысе Сан-Квентин, в округе Марин, штат Калифорния, США. Тюрьма штата Калифорния Сан-Квентин была открыта в июле 1852 года и является старейшей в штате. Она была построена заключёнными, которые проживали в течение строительства на тюремном судне Вабан. В Сан-Квентине отбывали наказание и мужчины, и женщины до 1934 года, когда построили женскую тюрьму в Техачапи и туда перевели всех заключённых женщин. В Сан-Квентине приводятся в исполнение смертные казни, для этого имеется газовая камера, но...
Александр Огастес Фредерик Уильям Альфред Джордж Кембридж граф Атлон Alexander Augustus Frederick William Alfred George Cambridge Earl of Athlone 16-й генерал-губернатор Канады 21 июня 1940 — 12 апреля 1946 Монарх Георг VI Предшественник Джон Бакен Преемник Харольд Александер генерал-губернатор ЮАС 21 января 1924 — 26 января 1931 Монарх Георг V Предшественник Артур, принц Коннаутский Преемник Джордж Виллиерс Рождение 14 апреля 1874 ( 1874-04-14 ) Лондон, Англия, Британская империя Смерть 16 января 1957 ( 1957-01-16 ) (82 года) Кенсингтон, Лондон, Англия, Великобритания Место погребения Королевская усыпальница во Фрогморе [d] Род Текский дом Отец Франц Текский Мать Мария Аделаида Кембриджская Супруга Алиса, графиня Атлонская Дети дочь Мей, сыновья Руперт и Морис Образование Итонский колледж Королевское военное училище Награды ...
Portale Informatica
Portale Matematica
