Alphabetical Index

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

A

First 'A' entry

Return To Index

B

First 'B' entry

Return To Index

C

Consistency, Semantic: A set of sentences, S, is semantically consistent if and only if there is at least one truth value assignment that assigns the truth-value T to each member of S.

Consistency, Syntactic: A set of sentences, S, is syntactically consistent if and only if no sentence of the form of P&~P is derivable from the members of S.

Return To Index

D

First 'D' entry

Return To Index

E

First 'E' entry

Return To Index

F

First 'F' entry

Return To Index

G

First 'G' entry

Return To Index

H

First 'H' entry

Return To Index

I

First 'I' entry

Return To Index

J

First 'J' entry

Return To Index

K

First 'K' entry

Return To Index

L

First 'L' entry

Return To Index

M

First 'M' entry

Return To Index

N

Negation: The negation, or denial, of a given sentence is the sentence that results when a tilde is inserted before that sentence. Hence,  ¬ß is the negation of ß, and ¬¬ß is the negation of ¬ß.

Return To Index

O

First 'O' entry

Return To Index

P

predicate logic or PL (preh-dih-kit la-jik):  An extension of SL in which the basic units of SL are given internal structure.  The basic statements of PL are k-place predicates, as for example “Duff is taller than Ryckman” is a two-place predicate because there are two names (Duff and Tom) and the relation of “is taller than”.

Return To Index

Q

First 'Q' entry

Return To Index

R

First 'R' entry

Return To Index

S

sentential logic or SL (sen-ten-shul la-jik):  A formal language specifically designed to represent statements, which are further classified as either simple or compound.  Simple statements or atomics in SL are represented by the sentence letters.

These simple statements differ from basic statements in PL in some important ways. 

Return To Index

T

tilde (till-duh):  this funny looking character: ¬.  Used in symbolic logic as the symbol for negation.

Return To Index

U

First 'U' entry

Return To Index

V

First 'V' entry

Return To Index

W

First 'W' entry

Return To Index

X

First 'X' entry

Return To Index

Y

First 'Y' entry

Return To Index

Z

First 'Z' entry

Return To Index

06/06/02
Copyright © 1999 Tom Ryckman. All rights reserved.