Diferència entre revisions de la pàgina «Tautologia (lògica)»

m
Substitueix la sintaxi de matemàtiques obsoletes d'acord amb mw:Extension:Math/Roadmap
m (Afegida la plantilla {{Autoritat}} a l'article)
m (Substitueix la sintaxi de matemàtiques obsoletes d'acord amb mw:Extension:Math/Roadmap)
 
:<math>\begin{array}{c|c||c}
p & q & p \andland q \\
\hline
1 & 1 & 1 \\
 
:<math>\begin{array}{c|c||c|c}
p & q & (p \andland q) & (p \andland q) \to p \\
\hline
1 & 1 & 1 & 1 \\
160

modificacions