Plantilla:RecursoEnlace
Plantilla:Multimèdia
| [math]\displaystyle{ \forall{x} (Rx) }[/math]
|
| Per a qualsevol x, x és vermell
|
| [math]\displaystyle{ \forall{x} (Rx→Ex) }[/math]
|
| Per a qualsevol x, si x és vermell, x és extens
|
| [math]\displaystyle{ \forall{x} (Rx\leftrightarrow{Ex}) }[/math]
|
| Per a qualsevol x, x és vermell si i només si x és extens
|
| Tot és vermell i extens o ni vermell ni extens
|
| [math]\displaystyle{ ¬\forall{x} (Rx) }[/math]
|
| No és el cas que, per a tot x, x sigui vermell
|
| [math]\displaystyle{ \forall{x} (¬Rx) }[/math]
|
| Per a tot x, x no és vermell
|
| [math]\displaystyle{ ( ¬\forall{x} (Rx→Ex)) }[/math]
|
| No és el cas que, per a tot x, si x és vermell llavors x és extens
|
| No tot el que és vermell és extens
|
| [math]\displaystyle{ (\forall{x} (Rx→¬Ex)) }[/math]
|
| Per a tot x, si x és vermell, llavors x no és extens
|
| [math]\displaystyle{ \exists{x}(Rx) }[/math]
|
| Existeix algun x tal que x és vermell
|
| [math]\displaystyle{ \exists{x}(Rx \wedge Ex) }[/math]
|
| Hi ha algun x tal que x és vermell i extens
|
| Alguna cosa és vermell i extens alhora
|
| [math]\displaystyle{ ¬(\exists{x}(Rx)) }[/math]
|
| No és el cas que existeixi un x tal que x sigui vermell
|
Plantilla:Propietat