Philosophy of Logic: GPL tree rules

Descripción

A test of the rules for a truth tree in general predicate logic
Adrian Mennie
Test por Adrian Mennie, actualizado hace más de 1 año
Adrian Mennie
Creado por Adrian Mennie hace casi 9 años
145
0

Resumen del Recurso

Pregunta 1

Pregunta
A or B

Pregunta 2

Pregunta
A if and only if B A same as B

Pregunta 3

Pregunta
A if B, A then B

Pregunta 4

Pregunta
A and B

Pregunta 5

Pregunta
not A or B

Pregunta 6

Pregunta
Not A if and only if B

Pregunta 7

Pregunta
not A if B

Pregunta 8

Pregunta
Not A and B

Pregunta 9

Pregunta
Universal quantifier

Pregunta 10

Pregunta
Existential quantifier

Pregunta 11

Pregunta
Negated universal quantifier

Pregunta 12

Pregunta
Negated existential quantifier
Mostrar resumen completo Ocultar resumen completo