Inici
Artícul aleatori
Canvis recents
Pàgines especials
Portal comunitari
Configuració
Al voltant de L'Enciclopèdia, la wikipedia en valencià
Exoneracions
Buscar
Menú d'usuari
Crear un conte
Accedir
Categoria
:
Teoremes de la llògica proposicional
Llegir en un atre idioma
Vigilar
Vore còdic font
Artículs en la categoria «Teoremes de la llògica proposicional»
Esta categoria té les següents 22 pàgines:
D
Dilema constructiu
Dilema destructiu
Doble negació (llògica)
E
Eliminació de la disjunció
Eliminació del bicondicional
F
Teorema de Frege
I
Implicació material
Introducció de la conjunció
Introducció de la disjunció
Introducció del bicondicional
M
Monotonicidad de l'implicació
P
Principi d'explosió
Principi d'identitat
Principi de no contradicció
Principi del tercer exclós
R
Reductio ad absurdum
Resolució (llògica)
S
Silogisme hipotètic
Simplificació
T
Tautologia (regla d'inferència)
Teorema de consens
Transposició (llògica)