Diferencia entre revisiones de «Tautología»

180 bytes añadidos ,  hace 2 años
m (Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap)
{{Fusionar|t=20160922203625|Tautología (regla de inferencia)}}
{{Ficha de conectiva lógica
{{Tautología}}
|diagrama-de-venn = Diagrama de Venn 01.svg
|lenguaje-formal = <math>\top</math>
|tabla-de-verdad = <math>
\begin{array}{c}
\top \\
\hline
V \\
\end{array}
</math>
}}
{{Conectivas lógicas}}
{{Otros usos}}
21 809

ediciones